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)
|
SpecificationElement |
map(java.util.function.UnaryOperator<Term> op,
Services services)
Applies a unary operator to every term in this specification element.
|
java.lang.String getName()
java.lang.String getDisplayName()
@Nullable VisibilityModifier getVisibility()
KeYJavaType getKJT()
SpecificationElement map(java.util.function.UnaryOperator<Term> op, Services services)
op
- the operator to apply.services
- services.Copyright © 2003-2019 The KeY-Project.