Package com.ibm.wala.shrike.sourcepos

Class CRTData

  • public final class CRTData
extends java.lang.Object
    This class represents an entry in the CharacterRangeTable.
    See Also:
    CRTFlags, CRTable

    • 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.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Method Detail

      • isInRange

        public 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 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 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 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