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