| de.uka.ilkd.key.casetool.ModelClass
All known Subclasses: de.uka.ilkd.key.proof.mgt.JavaModelClass,
ModelClass | public interface ModelClass (Code) | | |
getAllClasses | abstract public Set getAllClasses()(Code) | | |
getClassesInPackage | abstract public String[] getClassesInPackage()(Code) | | |
getContainingPackage | abstract public String getContainingPackage()(Code) | | |
getFullClassName | abstract public String getFullClassName()(Code) | | |
getMyClassInvariants | abstract public ListOfClassInvariant getMyClassInvariants()(Code) | | Returns the invariants of the class.
|
getMyParents | ListOfModelClass getMyParents()(Code) | | Returns all supertypes of the class, including implemented interfaces.
|
getMyThroughout | abstract public String getMyThroughout()(Code) | | |
getMyThroughoutClassInvariants | abstract public ListOfClassInvariant getMyThroughoutClassInvariants()(Code) | | Returns the throughout invariants of the class.
|
getRootDirectory | abstract public String getRootDirectory()(Code) | | |
|
|