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

Class TextualJMLMergePointDecl

java.lang.Object

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

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

public final class TextualJMLMergePointDecl
extends TextualJMLConstruct

A JML merge point declaration in textual form. TODO: Adapt this to the specific needs of merge point declarations.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private PositionedString	mergeParams
private PositionedString	mergeProc

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

mods, name

Constructor Summary

Constructors

Constructor and Description
TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods)
TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods, PositionedString mergeProc)
TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods, PositionedString mergeProc, PositionedString mergeParams)

Method Summary

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

mergeProc

private final PositionedString mergeProc

mergeParams

private final PositionedString mergeParams

Constructor Detail

TextualJMLMergePointDecl

public TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods)

TextualJMLMergePointDecl

public TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods,
                                PositionedString mergeProc)

TextualJMLMergePointDecl

public TextualJMLMergePointDecl(ImmutableList<java.lang.String> mods,
                                PositionedString mergeProc,
                                PositionedString mergeParams)

Method Detail

getMergeParams

public PositionedString getMergeParams()

getMergeProc

public PositionedString getMergeProc()

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