| java.lang.Object de.uka.ilkd.key.logic.sort.oclsort.CollectionSort
CollectionSort | public class CollectionSort implements OclSort(Code) | | |
Field Summary | |
final public static int | BAG | final public static int | COLLECTION | final public static int | SEQUENCE | final public static int | SET |
BAG | final public static int BAG(Code) | | |
COLLECTION | final public static int COLLECTION(Code) | | |
SEQUENCE | final public static int SEQUENCE(Code) | | |
SET | final public static int SET(Code) | | |
CollectionSort | public CollectionSort(int collectionKind, OclSort elemSort)(Code) | | |
calculateHash | protected int calculateHash()(Code) | | |
extendsSorts | public SetOfSort extendsSorts()(Code) | | For finding out whether a certain sort is super- or subsort of another
sort or not, please use extendsTrans .
Using extendsSorts() for this purpose may lead to
undesired results when dealing with arraysorts!
the sorts of the predecessors of this sort |
extendsTrans | public boolean extendsTrans(Sort sort)(Code) | | returns true iff the given sort is a transitive supersort of this sort
or it is the same.
|
getCollectionKind | public int getCollectionKind()(Code) | | |
getEqualitySymbol | public Equality getEqualitySymbol()(Code) | | equality symbol of this sort |
hashCode | public int hashCode()(Code) | | |
|
|