public class PositionInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Position |
endPos |
(package private) java.lang.String |
fileName |
protected java.lang.String |
parentClass |
(package private) Position |
relPos |
(package private) Position |
startPos |
static PositionInfo |
UNDEFINED |
Modifier | Constructor and Description |
---|---|
private |
PositionInfo() |
|
PositionInfo(Position relPos,
Position startPos,
Position endPos) |
|
PositionInfo(Position relPos,
Position startPos,
Position endPos,
java.lang.String fileName) |
Modifier and Type | Method and Description |
---|---|
Position |
getEndPosition() |
java.lang.String |
getFileName() |
java.lang.String |
getParentClass()
get the class the statement originates from
|
Position |
getRelativePosition() |
Position |
getStartPosition() |
static PositionInfo |
join(PositionInfo p1,
PositionInfo p2)
Creates a new PositionInfo from joining the intervals of the given PositionInfos.
|
protected void |
setParentClass(java.lang.String s)
this violates immutability, but the method is only called
right after the object is created...
|
private static java.lang.String |
simplifyPath(java.lang.String path)
If the path contains the substring "/../", then this method tries to
simplify the path by removing this substring and the preceeding directory name
to that substring.
|
boolean |
startEndValid()
Checks if start and end position are both defined and in valid range.
|
java.lang.String |
toString() |
final Position relPos
final Position startPos
final Position endPos
java.lang.String fileName
protected java.lang.String parentClass
public static final PositionInfo UNDEFINED
private static java.lang.String simplifyPath(java.lang.String path)
public Position getRelativePosition()
public Position getStartPosition()
public Position getEndPosition()
public java.lang.String getFileName()
public static PositionInfo join(PositionInfo p1, PositionInfo p2)
p1
- the first PositionInfop2
- the second PositionInfopublic boolean startEndValid()
protected void setParentClass(java.lang.String s)
public java.lang.String getParentClass()
public java.lang.String toString()
toString
in class java.lang.Object