Package com.ibm.wala.ide.util

Class JdtPosition

java.lang.Object

com.ibm.wala.ide.util.JdtPosition

All Implemented Interfaces:

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

public final class JdtPosition
extends Object
implements CAstSourcePositionMap.Position

Constructor Summary

Constructors

Constructor	Description
JdtPosition(int start, int end, int startLine, int endLine, org.eclipse.core.resources.IFile eclipseFile, String path)

Method Summary

Modifier and Type	Method	Description
int	compareTo(IMethod.SourcePosition arg0)
boolean	equals(Object obj)
org.eclipse.core.resources.IFile	getEclipseFile()
int	getFirstCol()
int	getFirstLine()
int	getFirstOffset()
int	getLastCol()
int	getLastLine()
int	getLastOffset()
Reader	getReader()
URL	getURL()
int	hashCode()
String	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 Details

JdtPosition

public JdtPosition(int start,
 int end,
 int startLine,
 int endLine,
 org.eclipse.core.resources.IFile eclipseFile,
 String path)

Method Details

getFirstCol

public int getFirstCol()

Specified by:

getFirstCol in interface IMethod.SourcePosition

getFirstLine

public int getFirstLine()

Specified by:

getFirstLine in interface IMethod.SourcePosition

getReader

public Reader getReader()
                 throws IOException

Specified by:

getReader in interface CAstSourcePositionMap.Position

Throws:

IOException

getLastCol

public int getLastCol()

Specified by:

getLastCol in interface IMethod.SourcePosition

getLastLine

public int getLastLine()

Specified by:

getLastLine in interface IMethod.SourcePosition

getURL

public URL getURL()

Specified by:

getURL in interface CAstSourcePositionMap.Position

compareTo

public int compareTo(IMethod.SourcePosition arg0)

Specified by:

compareTo in interface Comparable<IMethod.SourcePosition>

getFirstOffset

public int getFirstOffset()

Specified by:

getFirstOffset in interface IMethod.SourcePosition

getLastOffset

public int getLastOffset()

Specified by:

getLastOffset in interface IMethod.SourcePosition

toString

public String toString()

Overrides:

toString in class Object

getEclipseFile

public org.eclipse.core.resources.IFile getEclipseFile()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object