Package com.ibm.wala.shrike.shrikeCT

Class SourcePositionTableReader.Position

java.lang.Object

com.ibm.wala.shrike.shrikeCT.SourcePositionTableReader.Position

All Implemented Interfaces:

java.lang.Comparable<SourcePositionTableReader.Position>

Enclosing class:

SourcePositionTableReader

public static final class SourcePositionTableReader.Position
extends java.lang.Object
implements java.lang.Comparable<SourcePositionTableReader.Position>

Field Summary

Fields

Modifier and Type	Field	Description
int	firstCol
int	firstLine
int	lastCol
int	lastLine

Method Summary

Modifier and Type	Method	Description
int	compareTo(SourcePositionTableReader.Position p)

Methods inherited from class java.lang.Object

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

Field Detail

firstLine

public final int firstLine

lastLine

public final int lastLine

firstCol

public final int firstCol

lastCol

public final int lastCol

Method Detail

compareTo

public int compareTo(SourcePositionTableReader.Position p)

Specified by:

compareTo in interface java.lang.Comparable<SourcePositionTableReader.Position>