de.uka.ilkd.key.speclang

Class PositionedLabeledString

java.lang.Object

de.uka.ilkd.key.speclang.PositionedString

de.uka.ilkd.key.speclang.PositionedLabeledString

public class PositionedLabeledString
extends PositionedString

A positionedString with labels, which can then be passed over to the translated term. For the moment, this is used to distinguish implicit specifications from explicit ones and '&' from '&&' (logical and shortcut 'and') as well as '|' from '||' (logical and shortcut 'or'). Cf. TermImpl and LabeledTermImpl.

Author:

Michael Kirsten

Field Summary

Fields

Modifier and Type	Field and Description
ImmutableArray<TermLabel>	labels

Fields inherited from class de.uka.ilkd.key.speclang.PositionedString

fileName, pos, text

Constructor Summary

Constructors

Constructor and Description
PositionedLabeledString(java.lang.String text, ImmutableArray<TermLabel> labels)
PositionedLabeledString(java.lang.String text, java.lang.String fileName, ImmutableArray<TermLabel> labels)
PositionedLabeledString(java.lang.String text, java.lang.String fileName, Position pos, ImmutableArray<TermLabel> labels)
PositionedLabeledString(java.lang.String text, java.lang.String fileName, Position pos, TermLabel label)
PositionedLabeledString(java.lang.String text, java.lang.String fileName, TermLabel label)
PositionedLabeledString(java.lang.String text, TermLabel label)

Method Summary

Modifier and Type	Method and Description
boolean	containsLabel(TermLabel label) returns true if the given label is attached
boolean	equals(java.lang.Object o)
ImmutableArray<TermLabel>	getLabels() returns the labels attached to this positioned string
int	hashCode()
boolean	hasLabels() returns true if the positioned string is labeled
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.speclang.PositionedString

label, label, prepend, prependAndUpdatePosition

Methods inherited from class java.lang.Object

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

Field Detail

labels

public final ImmutableArray<TermLabel> labels

Constructor Detail

PositionedLabeledString

public PositionedLabeledString(java.lang.String text,
                               java.lang.String fileName,
                               Position pos,
                               ImmutableArray<TermLabel> labels)

PositionedLabeledString

public PositionedLabeledString(java.lang.String text,
                               java.lang.String fileName,
                               Position pos,
                               TermLabel label)

PositionedLabeledString

public PositionedLabeledString(java.lang.String text,
                               java.lang.String fileName,
                               ImmutableArray<TermLabel> labels)

PositionedLabeledString

public PositionedLabeledString(java.lang.String text,
                               java.lang.String fileName,
                               TermLabel label)

PositionedLabeledString

public PositionedLabeledString(java.lang.String text,
                               ImmutableArray<TermLabel> labels)

PositionedLabeledString

public PositionedLabeledString(java.lang.String text,
                               TermLabel label)

Method Detail

hasLabels

public boolean hasLabels()

returns true if the positioned string is labeled

Overrides:

hasLabels in class PositionedString

getLabels

public ImmutableArray<TermLabel> getLabels()

returns the labels attached to this positioned string

Overrides:

getLabels in class PositionedString

Returns:

list of labels (maybe be empty but never null

containsLabel

public boolean containsLabel(TermLabel label)

returns true if the given label is attached

Overrides:

containsLabel in class PositionedString

Parameters:

label - the ITermLabel for which to look (must not be null)

Returns:

true iff. the label is attached to this positioned string

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class PositionedString

hashCode

public int hashCode()

Overrides:

hashCode in class PositionedString

toString

public java.lang.String toString()

Overrides:

toString in class PositionedString