public class SourceInfo
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
private int |
beginSrcLine |
private int |
endSrcLine |
private java.lang.String |
source |
Constructor and Description |
---|
SourceInfo(SourceInfo o) |
SourceInfo(java.lang.String file,
int beginLine) |
SourceInfo(java.lang.String file,
int beginLine,
int endLine) |
Modifier and Type | Method and Description |
---|---|
SourceInfo |
clone() |
int |
getBeginSrcLine() |
int |
getEndSrcLine() |
java.lang.String |
getSrcFile() |
int |
getSrcLine() |
java.lang.String |
toString() |
private final java.lang.String source
private final int beginSrcLine
private final int endSrcLine
public SourceInfo(java.lang.String file, int beginLine)
public SourceInfo(java.lang.String file, int beginLine, int endLine)
public SourceInfo(SourceInfo o)
public SourceInfo clone()
clone
in class java.lang.Object
public java.lang.String getSrcFile()
public int getSrcLine()
public int getBeginSrcLine()
public int getEndSrcLine()
public java.lang.String toString()
toString
in class java.lang.Object