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 Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
      Constant Field Values
    • aNOCODE

      public static final Atom 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

      public SourceInfo​(SourceInfo o)
  • Method Details

    • clone

      public SourceInfo clone()
      Overrides:
      clone in class java.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 class java.lang.Object