| java.lang.Object
 de.uka.ilkd.key.java.JavaSourceElement
All known Subclasses: de.uka.ilkd.key.java.JavaProgramElement, de.uka.ilkd.key.java.Comment,
| JavaSourceElement | | abstract public class JavaSourceElement implements SourceElement(Code) | | Top level implementation of a Java
SourceElement .
taken from COMPOST and changed to achieve an immutable structure
|
| JavaSourceElement | | public JavaSourceElement()(Code) | | Java source element.
|
| JavaSourceElement | | public JavaSourceElement(PositionInfo pi)(Code) | | Java source element.
Parameters:
pi - PositionInfo the PositionInfo of the element |
| JavaSourceElement | | public JavaSourceElement(ExtList children)(Code) | | Java source element.
Parameters:
children - a list of the children of this element. May contain:PositionInfo |
| 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) | | Finds the source element that occurs first in the source. The default
implementation returns this element, which is correct for all terminal
program elements, and many non terminals such as statements and prefixed
operators.
the first source element in the syntactical representation ofthis element, may be equals to this element.
See Also: JavaSourceElement.toSource()
See Also: JavaSourceElement.getStartPosition() |
| getLastElement | | public SourceElement getLastElement()(Code) | | Finds the source element that occurs last in the source. The
default implementation returns this element, which is correct
for all terminal program elements, and many non terminals such
as statements and prefixed operators.
the last source element in the syntactical representation ofthis element, may be equals to this element.
See Also: JavaSourceElement.toSource()
See Also: JavaSourceElement.getEndPosition()
See Also: |
| getParentClass | | public String getParentClass()(Code) | | get the class the statement originates from
|
| 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. |
| setParentClass | | protected void setParentClass(String s)(Code) | | this violates immutability, but the method is only called
right after the object is created...
|
|
|