Class LineNumberPosition

java.lang.Object

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

com.ibm.wala.cast.tree.impl.LineNumberPosition

All Implemented Interfaces:

CAstSourcePositionMap.Position, IMethod.SourcePosition, Comparable<IMethod.SourcePosition>

public class LineNumberPosition
extends AbstractSourcePosition

Constructor Summary

Constructors

Constructor	Description
LineNumberPosition(URL url, URL localFile, int lineNumber)

Method Summary

Modifier and Type	Method	Description
int	getFirstCol()
int	getFirstLine()
int	getFirstOffset()
int	getLastCol()
int	getLastLine()
int	getLastOffset()
Reader	getReader()
URL	getURL()
String	toString()

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

compareTo, equals, hashCode

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 Details

LineNumberPosition

public LineNumberPosition(URL url,
 URL localFile,
 int lineNumber)

Method Details

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 URL getURL()

getReader

public Reader getReader()
                 throws IOException

Throws:

IOException

toString

public String toString()

Overrides:

toString in class AbstractSourcePosition