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

Class TextualJMLClassAxiom

java.lang.Object

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

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

public final class TextualJMLClassAxiom
extends TextualJMLConstruct

A JML axiom declaration in textual form. According to Sect. 8 of the JML reference manual, axioms may not have any modifiers.

Field Summary

Fields

Modifier and Type	Field and Description
private PositionedString	inv

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

mods, name

Constructor Summary

Constructors

Constructor and Description
TextualJMLClassAxiom(ImmutableList<java.lang.String> mods, PositionedString inv) new textual representation.
TextualJMLClassAxiom(ImmutableList<java.lang.String> mods, PositionedString inv, java.lang.String name)

Method Summary

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

inv

private final PositionedString inv

Constructor Detail

TextualJMLClassAxiom

public TextualJMLClassAxiom(ImmutableList<java.lang.String> mods,
                            PositionedString inv)

new textual representation.

Parameters:

mods - modifiers (are currently ignored)

inv - the expression in this clause

TextualJMLClassAxiom

public TextualJMLClassAxiom(ImmutableList<java.lang.String> mods,
                            PositionedString inv,
                            java.lang.String name)

Method Detail

getAxiom

public PositionedString getAxiom()

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