Package com.ibm.wala.sourcepos
Class CRTData
- java.lang.Object
-
- com.ibm.wala.sourcepos.CRTData
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description CRTFlags
getFlags()
Range
getSourceInfo()
Returns the source positions.boolean
isInRange(int pc)
Tests whether the given index lies within the range of this data.boolean
isMorePrecise(CRTData d)
Tests whether this data is equal to or more precise than the given data.boolean
matches(CRTData d)
Tests whether the given data is consistently with this data.String
toString()
-
-
-
Method Detail
-
getFlags
public final CRTFlags getFlags()
-
isInRange
public final boolean isInRange(int pc)
Tests whether the given index lies within the range of this data.- Parameters:
pc
- the index to test- Returns:
- whether the given index lies within the range of this data or not.
-
matches
public final boolean matches(CRTData d)
Tests whether the given data is consistently with this data. To be consistently with another data this data has to be equal or more precise. Otherwise the datas are contradictory.- Parameters:
d
- the data to test with- Returns:
- whether the given data is consistently.
-
isMorePrecise
public final boolean isMorePrecise(CRTData d)
Tests whether this data is equal to or more precise than the given data. This data is equal or more precise if the program counter range and the source range lie within the range of the given data. If this data or the parameter have no source positions, only program counter range decides.- Parameters:
d
- the data to test with- Returns:
- whether this data is equal to or more precise than the given one.
-
getSourceInfo
public final Range getSourceInfo()
Returns the source positions.- Returns:
- The returned array consists of four positions: the start line number, the start column number, the end line number, the end column number
-
-