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

Class TextualJMLRepresents

java.lang.Object

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

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

public final class TextualJMLRepresents
extends TextualJMLConstruct

A JML represents clause in textual form.

Field Summary

Fields

Modifier and Type	Field and Description
private PositionedString	represents

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

mods, name

Constructor Summary

Constructors

Constructor and Description
TextualJMLRepresents(ImmutableList<java.lang.String> mods, PositionedString represents)
TextualJMLRepresents(ImmutableList<java.lang.String> mods, PositionedString represents, java.lang.String name)

Method Summary

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

represents

private final PositionedString represents

Constructor Detail

TextualJMLRepresents

public TextualJMLRepresents(ImmutableList<java.lang.String> mods,
                            PositionedString represents)

TextualJMLRepresents

public TextualJMLRepresents(ImmutableList<java.lang.String> mods,
                            PositionedString represents,
                            java.lang.String name)

Method Detail

getRepresents

public PositionedString getRepresents()

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

getName

public java.lang.String getName()