public interface MergeContract extends SpecificationElement
MergePointStatement
.Modifier and Type | Method and Description |
---|---|
MergeProcedure |
getInstantiatedMergeProcedure(Services services) |
MergePointStatement |
getMergePointStatement() |
java.lang.Class<? extends MergeProcedure> |
getMergeProcedure() |
default VisibilityModifier |
getVisibility()
Returns the visibility of the invariant (null for default visibility)
|
getDisplayName, getKJT, getName
MergePointStatement getMergePointStatement()
MergePointStatement
specified by this MergeContract
.java.lang.Class<? extends MergeProcedure> getMergeProcedure()
MergeProcedure
Class
for the MergePointStatement
.MergeProcedure getInstantiatedMergeProcedure(Services services)
services
- TODOMergeProcedure
.default VisibilityModifier getVisibility()
SpecificationElement
getVisibility
in interface SpecificationElement