com.ibm.wala.sourcepos

Class CRTData

java.lang.Object

com.ibm.wala.sourcepos.CRTData

public final class CRTData
extends java.lang.Object

This class represents an entry in the CharacterRangeTable.

See Also:

CRTFlags, CRTable

Method Summary

Modifier and Type	Method and 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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object