gate.jape
Class SourceInfo.BlockInfo
java.lang.Object
gate.jape.SourceInfo.BlockInfo
- Enclosing class:
- SourceInfo
private class SourceInfo.BlockInfo
- extends Object
|
Constructor Summary |
SourceInfo.BlockInfo(String japeURL,
int japeLine,
int startLine,
int endLine,
int startOffset,
int endOffset)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
japeURL
String japeURL
japeLine
int japeLine
startLine
int startLine
endLine
int endLine
startOffset
int startOffset
endOffset
int endOffset
SourceInfo.BlockInfo
SourceInfo.BlockInfo(String japeURL,
int japeLine,
int startLine,
int endLine,
int startOffset,
int endOffset)
contains
public boolean contains(int lineNumber)
getNumberedSource
public String getNumberedSource(String source)
getSource
public String getSource(String source,
int line)
getJapeLineNumber
public int getJapeLineNumber(int javaLineNumber)
getStackTraceElement
public StackTraceElement getStackTraceElement(int javaLineNumber)
getSource
public String getSource(String source)