public interface SourceElement extends SVSubstitute
Comment
.
taken from RECODER and changed to achieve an immutable structureModifier and Type | Method and Description |
---|---|
boolean |
equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
This method returns true if two program parts are equal modulo
renaming.
|
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 |
getFirstElementIncludingBlocks()
Finds the source element that occurs first in the source.
|
SourceElement |
getLastElement()
Finds the source element that occurs last in the source.
|
PositionInfo |
getPositionInfo()
complete position information
|
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
|
SourceElement getFirstElement()
getStartPosition()
SourceElement getFirstElementIncludingBlocks()
getStartPosition()
SourceElement getLastElement()
getEndPosition()
Position getStartPosition()
getFirstElement()
.Position getEndPosition()
getLastElement()
.Position getRelativePosition()
getFirstElement()
.PositionInfo getPositionInfo()
void visit(Visitor v)
v
- the Visitorvoid prettyPrint(PrettyPrinter w) throws java.io.IOException
w
- a pretty printer.java.io.IOException
- occasionally thrown.boolean equalsModRenaming(SourceElement se, NameAbstractionTable nat)