public class PositionedString
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
fileName |
Position |
pos |
java.lang.String |
text |
static java.lang.String |
UNDEFINED_FILE |
Constructor and Description |
---|
PositionedString(java.lang.String text) |
PositionedString(java.lang.String text,
java.lang.String fileName) |
PositionedString(java.lang.String text,
java.lang.String fileName,
Position pos) |
PositionedString(java.lang.String text,
org.antlr.runtime.Token t) |
Modifier and Type | Method and Description |
---|---|
boolean |
containsLabel(TermLabel label)
checks if the given label is attached to the positioned string
|
boolean |
equals(java.lang.Object o) |
ImmutableArray<TermLabel> |
getLabels()
returns list of labels attached to this positioned string
|
boolean |
hasFilename()
Returns true, if the position information contains a file name.
|
int |
hashCode() |
boolean |
hasLabels()
returns true if the positioned string is labeled
|
PositionedLabeledString |
label(ImmutableArray<TermLabel> labels) |
PositionedLabeledString |
label(TermLabel label) |
PositionedString |
prepend(java.lang.String text) |
PositionedString |
prependAndUpdatePosition(java.lang.String text) |
java.lang.String |
toString() |
public static final java.lang.String UNDEFINED_FILE
@Nonnull public final java.lang.String text
@Nonnull public final java.lang.String fileName
@Nonnull public final Position pos
public PositionedString(@Nonnull java.lang.String text, @Nullable java.lang.String fileName, @Nullable Position pos)
public PositionedString(@Nonnull java.lang.String text, org.antlr.runtime.Token t)
public PositionedString(@Nonnull java.lang.String text, java.lang.String fileName)
public PositionedString(java.lang.String text)
public boolean hasFilename()
public PositionedString prependAndUpdatePosition(java.lang.String text)
public PositionedString prepend(java.lang.String text)
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean hasLabels()
public boolean containsLabel(TermLabel label)
label
- the ITermLabel for which to look (must not be null)public ImmutableArray<TermLabel> getLabels()
null
public PositionedLabeledString label(ImmutableArray<TermLabel> labels)
public PositionedLabeledString label(TermLabel label)
Copyright © 2003-2019 The KeY-Project.