| de.uka.ilkd.key.java.SourceElement
All known Subclasses: de.uka.ilkd.key.logic.op.ProgramMethod, de.uka.ilkd.key.logic.op.ProgramVariable, de.uka.ilkd.key.java.JavaSourceElement,
SourceElement | public interface SourceElement extends SVSubstitute(Code) | | A source element is a piece of syntax. It does not necessarily have
a semantics, at least none that is machinable, for instance a
recoder.java.Comment .
taken from RECODER and changed to achieve an immutable structure
|
equalsModRenaming | boolean equalsModRenaming(SourceElement se, NameAbstractionTable nat)(Code) | | This method returns true if two program parts are equal modulo
renaming. The equality is mainly a syntactical equality with
some exceptions: if a variable is declared we abstract from the
name of the variable, so the first declared variable gets
e.g. the name decl_1, the second declared decl_2 and so on.
Look at the following programs:
{int i; i=0;} and { int j; j=0;} these would be seen like
{int decl_1; decl_1=0;} and {int decl_1; decl_1=0;} which are
syntactical equal and therefore true is returned (same thing for
labels). But {int i; i=0;} and {int j; i=0;} (in the second
block the variable i is declared somewhere outside)
would be seen as {int decl_1; decl_1=0;} for the first one but
{int decl_1; i=0;} for the second one. These are not
syntactical equal, therefore false is returned.
|
getEndPosition | Position getEndPosition()(Code) | | Returns the end position of the primary token of this element.
To get the end position of the syntactical first token,
call the corresponding method of getLastElement() .
the end position of the primary token. |
getFirstElement | SourceElement getFirstElement()(Code) | | Finds the source element that occurs first in the source.
the first source element in the syntactical representation ofthis element, may be equals to this element. See Also: SourceElement.getStartPosition() |
getLastElement | SourceElement getLastElement()(Code) | | Finds the source element that occurs last in the source.
the last source element in the syntactical representation ofthis element, may be equals to this element. See Also: SourceElement.getEndPosition() |
getRelativePosition | Position getRelativePosition()(Code) | | Returns the relative position (number of blank heading lines and
columns) of the primary token of this element.
To get the relative position of the syntactical first token,
call the corresponding method of getFirstElement() .
the relative position of the primary token. |
getStartPosition | Position getStartPosition()(Code) | | Returns the start position of the primary token of this element.
To get the start position of the syntactical first token,
call the corresponding method of getFirstElement() .
the start position of the primary token. |
visit | void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters: v - the Visitor |
|
|