| java.lang.Object de.uka.ilkd.key.parser.ocl.OCLPredicativeCollection
OCLPredicativeCollection | class OCLPredicativeCollection (Code) | | |
OCLPredicativeCollection | protected OCLPredicativeCollection(LogicVariable var, Term restriction)(Code) | | Creates a collection which contains all values of a sort which satisfy
some restriction. (predicative)
|
OCLPredicativeCollection | protected OCLPredicativeCollection()(Code) | | Creates an empty collection.
|
OCLPredicativeCollection | protected OCLPredicativeCollection(Sort sort, Services services)(Code) | | Creates a collection which contains all values of a sort which are not null.
|
OCLPredicativeCollection | protected OCLPredicativeCollection(Term element)(Code) | | Creates a collection which contains a single element.
|
OCLPredicativeCollection | protected OCLPredicativeCollection(Term lowerBound, Term upperBound, Function leq)(Code) | | Creates a collection which contains all integers between a lower and
an upper bound (described by terms of sort int).
|
OCLPredicativeCollection | protected OCLPredicativeCollection(Term recTerm, Function assocFunc)(Code) | | Creates a collection which contains all values reachable from a receiver
term by applying an association with multiplicity > 1 (described by a
predicate).
|
navigate | protected OCLPredicativeCollection navigate(Services services, Term navigateTerm)(Code) | | Creates a collection containing all elements reachable from this one
by applying an attribute, a method, an association etc. This "navigation"
is described by a "navigate term", which could e.g. be "var.a" or
"var.m()".
|
navigate | protected OCLPredicativeCollection navigate(Services services, Function predicate)(Code) | | Creates a collection containing all elements reachable from this one
by applying an association with multiplicity > 1 (described by a
predicate).
|
|
|