public final class TextualJMLMethodDecl extends TextualJMLConstruct
Modifier and Type | Field and Description |
---|---|
private PositionedString |
decl |
private PositionedString |
methodDefinition |
private java.lang.String |
methodName |
mods, name
Constructor and Description |
---|
TextualJMLMethodDecl(ImmutableList<java.lang.String> mods,
PositionedString decl,
java.lang.String methodName,
PositionedString methodDefinition) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
PositionedString |
getDecl() |
PositionedString |
getMethodDefinition() |
java.lang.String |
getMethodName() |
int |
getStateCount() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition
private final PositionedString decl
private final java.lang.String methodName
private final PositionedString methodDefinition
public TextualJMLMethodDecl(ImmutableList<java.lang.String> mods, PositionedString decl, java.lang.String methodName, PositionedString methodDefinition)
public PositionedString getDecl()
public java.lang.String getMethodName()
public PositionedString getMethodDefinition()
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
public int getStateCount()