Class SourcePositionTableReader.Position

java.lang.Object

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

All Implemented Interfaces:

Comparable<SourcePositionTableReader.Position>

Enclosing class:

SourcePositionTableReader

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

Field Summary

Fields

Modifier and Type	Field	Description
final int	firstCol
final int	firstLine
final int	lastCol
final 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 Details

firstLine

public final int firstLine

lastLine

public final int lastLine

firstCol

public final int firstCol

lastCol

public final int lastCol

Method Details

compareTo

public int compareTo(SourcePositionTableReader.Position p)

Specified by:

compareTo in interface Comparable<SourcePositionTableReader.Position>