public interface Label extends TerminalProgramElement
Modifier and Type | Method and Description |
---|---|
Comment[] |
getComments()
Get comments.
|
Position |
getEndPosition()
Returns the end position of the primary token of this element.
|
SourceElement |
getFirstElement()
Finds the source element that occurs first in the source.
|
SourceElement |
getLastElement()
Finds the source element that occurs last in the source.
|
Position |
getRelativePosition()
Returns the relative position (number of blank heading lines and
columns) of the primary token of this element.
|
Position |
getStartPosition()
Returns the start position of the primary token of this element.
|
void |
prettyPrint(PrettyPrinter w)
Pretty print.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
match
equalsModRenaming, getFirstElementIncludingBlocks, getPositionInfo
Comment[] getComments()
ProgramElement
getComments
in interface ProgramElement
SourceElement getFirstElement()
SourceElement
getFirstElement
in interface SourceElement
SourceElement.getStartPosition()
SourceElement getLastElement()
SourceElement
getLastElement
in interface SourceElement
SourceElement.getEndPosition()
void prettyPrint(PrettyPrinter w) throws java.io.IOException
SourceElement
prettyPrint
in interface SourceElement
w
- a pretty printer.java.io.IOException
- occasionally thrown.void visit(Visitor v)
SourceElement
visit
in interface SourceElement
v
- the VisitorPosition getStartPosition()
SourceElement
getFirstElement()
.getStartPosition
in interface SourceElement
Position getEndPosition()
SourceElement
getLastElement()
.getEndPosition
in interface SourceElement
Position getRelativePosition()
SourceElement
getFirstElement()
.getRelativePosition
in interface SourceElement