Package com.ibm.wala.shrike.sourcepos

Class Position

  • public final class Position
extends java.lang.Object
    Represents a source file position. Source file positions are integers in the format: line-number << LINESHIFT + column-number

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getColumn()
      Returns the column number.
      int getLine()
      Returns the line number.
      boolean isUndefined()
      Tests whether this position is undefined.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Method Detail

      • getLine

        public int getLine()
        Returns the line number.
        Returns:
        the line number

      • getColumn

        public int getColumn()
        Returns the column number.
        Returns:
        the column number

      • isUndefined

        public boolean isUndefined()
        Tests whether this position is undefined.
        Returns:
        true if this position is undefined

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object