| java.lang.Object
 de.uka.ilkd.key.logic.Name
de.uka.ilkd.key.logic.ProgramElementName
All known Subclasses: de.uka.ilkd.key.logic.AttributeElementName,
| Field Summary | |
| static Logger | logger
|
| logger | | static Logger logger(Code) | | |
| ProgramElementName | | public ProgramElementName(String name)(Code) | | create a new name
Parameters:
name - the String with the name of the program element |
| ProgramElementName | | public ProgramElementName(String name, Comment[] c)(Code) | | create a new name
Parameters:
name - the String with the name of the program element |
| equalsModRenaming | | public boolean equalsModRenaming(SourceElement se, NameAbstractionTable nat)(Code) | | equals modulo renaming is described in the corresponding
comment in class SourceElement. The ProgramElementName has to
check if an abstract name has been assigned and if, if both
elements are assigned to the same name, otherwise the names
have to be equal
|
| getAnnotationCount | | public int getAnnotationCount()(Code) | | |
| getEndPosition | | public 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 | | public SourceElement getFirstElement()(Code) | | to be compatible to a ProgramElement
|
| getRelativePosition | | public 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 | | public 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 | | public 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 |
|
|