| java.lang.Object de.uka.ilkd.key.parser.ocl.OCLFunctionalCollection
OCLFunctionalCollection | class OCLFunctionalCollection (Code) | | |
OCLFunctionalCollection | protected OCLFunctionalCollection(Term restriction, int collectionType)(Code) | | Creates a collection of Type collectionType which contains
all values of a sort which satisfy some restriction. (functional)
|
OCLFunctionalCollection | protected OCLFunctionalCollection()(Code) | | Creates an empty collection.
|
OCLFunctionalCollection | protected OCLFunctionalCollection(int collectionType)(Code) | | Creates an empty collection.
|
OCLFunctionalCollection | protected OCLFunctionalCollection(Sort sort, int collectionType)(Code) | | Creates a collection which contains all values of a sort.
|
OCLFunctionalCollection | protected OCLFunctionalCollection(Sort sort)(Code) | | Creates a collection which contains all values of a sort.
|
OCLFunctionalCollection | protected OCLFunctionalCollection(Term lowerBound, Term upperBound, Function leq, int collectionType) throws OCLTranslationError(Code) | | Creates a collection which contains all integers between a lower and
an upper bound (described by terms of sort int).
throws: OCLTranslationError - |
OCLFunctionalCollection | protected OCLFunctionalCollection(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 an
association-function).
|
getCollectionType | protected int getCollectionType()(Code) | | |
isBag | public boolean isBag()(Code) | | |
isSequence | public boolean isSequence()(Code) | | |
isSet | public boolean isSet()(Code) | | |
|
|