| java.lang.Object
 de.uka.ilkd.key.parser.ocl.OCLCollection
| OCLCollection | | class OCLCollection (Code) | | This class represents the CollectionType of OCL.
|
| Constructor Summary | |
| public | OCLCollection(int collectionType)
Creates an empty collection of type collectionType. | | public | OCLCollection()
Creates an empty set. | | public | OCLCollection(Sort sort, Services services)
Creates a set which contains all values of a sort which are not null. | | public | OCLCollection(Sort sort, int collectionType, Services services)
| | public | OCLCollection(Term element, int collectionType)
Creates a collection which contains a single element. | | public | OCLCollection(Term element)
Creates a set which contains a single element. | | public | OCLCollection(Term lowerBound, Term upperBound, Function leq, int collectionType)
Creates a collection which contains all integers between a lower and
an upper bound (described by terms of sort int). | | public | OCLCollection(Term lowerBound, Term upperBound, Function leq)
Creates a set which contains all integers between a lower and
an upper bound (described by terms of sort int). | | public | OCLCollection(Term recTerm, Association assoc, String name)
Creates a collection which contains all values reachable from a receiver
term by applying an association with multiplicity > 1 (described by a
predicate). |
| OCL_BAG | | final public static int OCL_BAG(Code) | | |
| OCL_SEQUENCE | | final public static int OCL_SEQUENCE(Code) | | |
| OCL_SET | | final public static int OCL_SET(Code) | | |
| OCLCollection | | public OCLCollection(int collectionType)(Code) | | Creates an empty collection of type collectionType.
|
| OCLCollection | | public OCLCollection()(Code) | | Creates an empty set.
|
| OCLCollection | | public OCLCollection(Sort sort, Services services)(Code) | | Creates a set which contains all values of a sort which are not null.
|
| OCLCollection | | public OCLCollection(Sort sort, int collectionType, Services services)(Code) | | Creates a collection which contains all values of a sort which are not null
|
| OCLCollection | | public OCLCollection(Term recTerm, Association assoc, String name)(Code) | | Creates a collection which contains all values reachable from a receiver
term by applying an association with multiplicity > 1 (described by a
predicate).
|
| collect | | public OCLCollection collect(Services services, OCLCollection collection)(Code) | | Creates the flattened collection which results from applying an association
to this collection (described by a OCLCollection)
Parameters:
services - global services
Parameters:
collection - the applied association the appropriate collection (hopefully) :) |
| getCollectionType | | public int getCollectionType()(Code) | | |
| getFunctionalRestriction | | public Term getFunctionalRestriction()(Code) | | |
| getPredVarAsTerm | | public Term getPredVarAsTerm()(Code) | | |
| getPredicativeRestriction | | public Term getPredicativeRestriction()(Code) | | |
| isBag | | public boolean isBag()(Code) | | |
| isSequence | | public boolean isSequence()(Code) | | |
| isSet | | public boolean isSet()(Code) | | |
|
|