Package jason.asSyntax
Class SourceInfo
java.lang.Object
jason.asSyntax.SourceInfo
- All Implemented Interfaces:
java.io.Serializable
public class SourceInfo
extends java.lang.Object
implements java.io.Serializable
Store information about the file source of some term (atom, literal, etc).
(immutable objects)
- See Also:
- Serialized Form
-
Field Summary
Fields Modifier and Type Field Description static Atom
aNOCODE
private int
beginSrcLine
private int
endSrcLine
private static long
serialVersionUID
private java.lang.String
source
-
Constructor Summary
Constructors Constructor Description SourceInfo(SourceInfo o)
SourceInfo(java.lang.String file, int beginLine)
SourceInfo(java.lang.String file, int beginLine, int endLine)
-
Method Summary
Modifier and Type Method Description SourceInfo
clone()
int
getBeginSrcLine()
int
getEndSrcLine()
java.lang.String
getSrcFile()
int
getSrcLine()
java.lang.String
toString()
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
- Constant Field Values
-
aNOCODE
-
source
private final java.lang.String source -
beginSrcLine
private final int beginSrcLine -
endSrcLine
private final int endSrcLine
-
-
Constructor Details
-
SourceInfo
public SourceInfo(java.lang.String file, int beginLine) -
SourceInfo
public SourceInfo(java.lang.String file, int beginLine, int endLine) -
SourceInfo
-
-
Method Details
-
clone
- Overrides:
clone
in classjava.lang.Object
-
getSrcFile
public java.lang.String getSrcFile() -
getSrcLine
public int getSrcLine() -
getBeginSrcLine
public int getBeginSrcLine() -
getEndSrcLine
public int getEndSrcLine() -
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-