public final class TextualJMLMethodDecl extends TextualJMLConstruct
mods, name
Constructor and Description |
---|
TextualJMLMethodDecl(ImmutableList<java.lang.String> mods,
JmlParser.Method_declarationContext methodDefinition) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
JmlParser.Method_declarationContext |
getDecl() |
org.antlr.v4.runtime.ParserRuleContext |
getMethodDefinition() |
java.lang.String |
getMethodName() |
java.lang.String |
getParsableDeclaration() |
int |
getStateCount() |
int |
hashCode() |
java.lang.String |
toString() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition, setPosition, setPosition
public TextualJMLMethodDecl(ImmutableList<java.lang.String> mods, JmlParser.Method_declarationContext methodDefinition)
public java.lang.String getParsableDeclaration()
public JmlParser.Method_declarationContext getDecl()
public java.lang.String getMethodName()
public org.antlr.v4.runtime.ParserRuleContext 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()
Copyright © 2003-2019 The KeY-Project.