public class UnparameterizedMergeContract extends java.lang.Object implements MergeContract
Constructor and Description |
---|
UnparameterizedMergeContract(MergeProcedure mergeProcedure,
MergePointStatement mps,
KeYJavaType kjt) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDisplayName()
Returns the displayed name.
|
MergeProcedure |
getInstantiatedMergeProcedure(Services services) |
KeYJavaType |
getKJT()
Returns the KeYJavaType representing the class/interface to which the
specification element belongs.
|
MergePointStatement |
getMergePointStatement() |
java.lang.Class<? extends MergeProcedure> |
getMergeProcedure() |
java.lang.String |
getName()
Returns the unique internal name of the specification element.
|
UnparameterizedMergeContract |
map(java.util.function.UnaryOperator<Term> op,
Services services)
Applies a unary operator to every term in this specification element.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getVisibility
public UnparameterizedMergeContract(MergeProcedure mergeProcedure, MergePointStatement mps, KeYJavaType kjt)
public UnparameterizedMergeContract map(java.util.function.UnaryOperator<Term> op, Services services)
SpecificationElement
map
in interface MergeContract
map
in interface SpecificationElement
op
- the operator to apply.services
- services.public java.lang.Class<? extends MergeProcedure> getMergeProcedure()
getMergeProcedure
in interface MergeContract
MergeProcedure
Class
for the MergePointStatement
.public MergeProcedure getInstantiatedMergeProcedure(Services services)
getInstantiatedMergeProcedure
in interface MergeContract
services
- TODOMergeProcedure
.public MergePointStatement getMergePointStatement()
getMergePointStatement
in interface MergeContract
MergePointStatement
specified by this MergeContract
.public java.lang.String getName()
SpecificationElement
getName
in interface SpecificationElement
public java.lang.String getDisplayName()
SpecificationElement
getDisplayName
in interface SpecificationElement
public KeYJavaType getKJT()
SpecificationElement
getKJT
in interface SpecificationElement
Copyright © 2003-2019 The KeY-Project.