| java.lang.Object de.uka.ilkd.key.logic.sort.oclsort.OclGenericSort
OclGenericSort | public class OclGenericSort implements OclSort(Code) | | |
OclGenericSort | public OclGenericSort(Name name)(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 s)(Code) | | returns true iff the given sort is a transitive supersort of this sort
or it is the same.
|
getEqualitySymbol | public Equality getEqualitySymbol()(Code) | | equality symbol of this sort |
|
|