Class SourceInfo

java.lang.Object
jason.asSyntax.SourceInfo
All Implemented Interfaces:
Serializable

public class SourceInfo extends Object implements Serializable
Store information about the file source of some term (atom, literal, etc). (immutable objects)
See Also:
  • Field Details

    • aNOCODE

      public static final Atom aNOCODE
  • Constructor Details

    • SourceInfo

      public SourceInfo(String file, int beginLine)
    • SourceInfo

      public SourceInfo(String file, int beginLine, int endLine)
    • SourceInfo

      public SourceInfo(SourceInfo o)
  • Method Details

    • clone

      public SourceInfo clone()
      Overrides:
      clone in class Object
    • getSrcFile

      public String getSrcFile()
    • getSrcLine

      public int getSrcLine()
    • getBeginSrcLine

      public int getBeginSrcLine()
    • getEndSrcLine

      public int getEndSrcLine()
    • toString

      public String toString()
      Overrides:
      toString in class Object