public interface SpecificationElement
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDisplayName()
Returns the displayed name.
|
KeYJavaType |
getKJT()
Returns the KeYJavaType representing the class/interface to which the
specification element belongs.
|
java.lang.String |
getName()
Returns the unique internal name of the specification element.
|
VisibilityModifier |
getVisibility()
Returns the visibility of the invariant (null for default visibility)
|
java.lang.String getName()
java.lang.String getDisplayName()
VisibilityModifier getVisibility()
KeYJavaType getKJT()