com.ibm.wala.cast.tree.impl

Class LineNumberPosition

java.lang.Object

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

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

All Implemented Interfaces:

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

public class LineNumberPosition
extends AbstractSourcePosition

Constructor Summary

Constructors

Constructor and Description
LineNumberPosition(java.net.URL url, java.net.URL localFile, int lineNumber)

Method Summary

Modifier and Type	Method and Description
int	getFirstCol()
int	getFirstLine()
int	getFirstOffset()
int	getLastCol()
int	getLastLine()
int	getLastOffset()
java.io.Reader	getReader()
java.net.URL	getURL()
java.lang.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 Detail

LineNumberPosition

public LineNumberPosition(java.net.URL url,
                          java.net.URL localFile,
                          int lineNumber)

Method Detail

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

toString

public java.lang.String toString()

Overrides:

toString in class AbstractSourcePosition