Class JdtPosition
java.lang.Object
com.ibm.wala.ide.util.JdtPosition
- All Implemented Interfaces:
CAstSourcePositionMap.Position
,IMethod.SourcePosition
,Comparable<IMethod.SourcePosition>
-
Constructor Summary
ConstructorDescriptionJdtPosition
(int start, int end, int startLine, int endLine, org.eclipse.core.resources.IFile eclipseFile, String path) -
Method Summary
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 interfaceIMethod.SourcePosition
-
getFirstLine
public int getFirstLine()- Specified by:
getFirstLine
in interfaceIMethod.SourcePosition
-
getReader
- Specified by:
getReader
in interfaceCAstSourcePositionMap.Position
- Throws:
IOException
-
getLastCol
public int getLastCol()- Specified by:
getLastCol
in interfaceIMethod.SourcePosition
-
getLastLine
public int getLastLine()- Specified by:
getLastLine
in interfaceIMethod.SourcePosition
-
getURL
- Specified by:
getURL
in interfaceCAstSourcePositionMap.Position
-
compareTo
- Specified by:
compareTo
in interfaceComparable<IMethod.SourcePosition>
-
getFirstOffset
public int getFirstOffset()- Specified by:
getFirstOffset
in interfaceIMethod.SourcePosition
-
getLastOffset
public int getLastOffset()- Specified by:
getLastOffset
in interfaceIMethod.SourcePosition
-
toString
-
getEclipseFile
public org.eclipse.core.resources.IFile getEclipseFile() -
equals
-
hashCode
-