public final class TextualJMLMergePointDecl extends TextualJMLConstruct
Modifier and Type | Field and Description |
---|---|
private PositionedString |
mergeParams |
private PositionedString |
mergeProc |
mods, name
Constructor and Description |
---|
TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods) |
TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods,
PositionedString mergeProc) |
TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods,
PositionedString mergeProc,
PositionedString mergeParams) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
PositionedString |
getMergeParams() |
PositionedString |
getMergeProc() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition
private final PositionedString mergeProc
private final PositionedString mergeParams
public TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods)
public TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods, PositionedString mergeProc)
public TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods, PositionedString mergeProc, PositionedString mergeParams)
public PositionedString getMergeParams()
public PositionedString getMergeProc()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object