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

Class TextualJMLFieldDecl

java.lang.Object

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

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

public final class TextualJMLFieldDecl
extends TextualJMLConstruct

A JML field declaration (ghost or model) in textual form.

Field Summary

Fields

Modifier and Type	Field and Description
private PositionedString	decl

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

mods, name

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
PositionedString	getDecl()
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

Constructor Detail

TextualJMLFieldDecl

public TextualJMLFieldDecl(ImmutableList<java.lang.String> mods,
                           PositionedString decl)

Method Detail

getDecl

public PositionedString getDecl()

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