| java.lang.Object de.uka.ilkd.key.parser.ocl.OCLEntity
OCLEntity | class OCLEntity (Code) | | A Term, a KeYJavaType, or an OCLCollection.
|
getSort | public Sort getSort()(Code) | | For types and terms, this method returns the corresponding sort.
For collections it returns the sort of the elements, the collection
contains.
non-collection-sort of this entity |
isCollection | public boolean isCollection()(Code) | | |
isTerm | public boolean isTerm()(Code) | | |
isType | public boolean isType()(Code) | | |
|
|