de.uka.ilkd.key.speclang.jml.pretranslation

Class TextualJMLMethodDecl

java.lang.Object

de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLConstruct

de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLMethodDecl

public final class TextualJMLMethodDecl
extends TextualJMLConstruct

A JML model method declaration in textual form.

Field Summary

Fields

Modifier and Type	Field and Description
private PositionedString	decl
private PositionedString	methodDefinition
private java.lang.String	methodName

Fields inherited from class de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLConstruct

mods, name

Constructor Summary

Constructors

Constructor and Description
TextualJMLMethodDecl(ImmutableList<java.lang.String> mods, PositionedString decl, java.lang.String methodName, PositionedString methodDefinition)

Method Summary

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()

Methods inherited from class de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLConstruct

addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

decl

private final PositionedString decl

methodName

private final java.lang.String methodName

methodDefinition

private final PositionedString methodDefinition

Constructor Detail

TextualJMLMethodDecl

public TextualJMLMethodDecl(ImmutableList<java.lang.String> mods,
                            PositionedString decl,
                            java.lang.String methodName,
                            PositionedString methodDefinition)

Method Detail

getDecl

public PositionedString getDecl()

getMethodName

public java.lang.String getMethodName()

getMethodDefinition

public PositionedString getMethodDefinition()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getStateCount

public int getStateCount()