com.ibm.wala.cast.tree.impl

Class RangePosition

java.lang.Object

com.ibm.wala.cast.tree.impl.AbstractSourcePosition

com.ibm.wala.cast.tree.impl.RangePosition

All Implemented Interfaces:

CAstSourcePositionMap.Position, com.ibm.wala.classLoader.IMethod.SourcePosition, java.lang.Comparable<com.ibm.wala.classLoader.IMethod.SourcePosition>

public class RangePosition
extends AbstractSourcePosition

Constructor Summary

Constructors

Constructor and Description
RangePosition(java.net.URL url, int line, int startOffset, int endOffset)
RangePosition(java.net.URL url, int startLine, int endLine, int startOffset, int endOffset)

Method Summary

Modifier and Type	Method and Description
int	compareTo(com.ibm.wala.classLoader.IMethod.SourcePosition o)
int	getFirstCol()
int	getFirstLine()
int	getFirstOffset()
int	getLastCol()
int	getLastLine()
int	getLastOffset()
java.io.Reader	getReader()
java.net.URL	getURL()

Methods inherited from class com.ibm.wala.cast.tree.impl.AbstractSourcePosition

equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.cast.tree.CAstSourcePositionMap.Position

prettyPrint

Constructor Detail

RangePosition

public RangePosition(java.net.URL url,
                     int startLine,
                     int endLine,
                     int startOffset,
                     int endOffset)

RangePosition

public RangePosition(java.net.URL url,
                     int line,
                     int startOffset,
                     int endOffset)

Method Detail

compareTo

public int compareTo(com.ibm.wala.classLoader.IMethod.SourcePosition o)

Specified by:

compareTo in interface java.lang.Comparable<com.ibm.wala.classLoader.IMethod.SourcePosition>

Overrides:

compareTo in class AbstractSourcePosition

getFirstLine

public int getFirstLine()

getLastLine

public int getLastLine()

getFirstCol

public int getFirstCol()

getLastCol

public int getLastCol()

getFirstOffset

public int getFirstOffset()

getLastOffset

public int getLastOffset()

getURL

public java.net.URL getURL()

getReader

public java.io.Reader getReader()
                         throws java.io.IOException

Throws:

java.io.IOException