Class ErrOcc

java.lang.Object
com.github.sttk.sabi.errs.ErrOcc

public final class ErrOcc extends Object
ErrOcc is the class which contains time and position in a source file when and where an Err occured.
  • Constructor Details

    • ErrOcc

      public ErrOcc(Err e)
      The constructor which takes an Err object as an argument.
      Parameters:
      e - An Err object.
  • Method Details

    • getTime

      public OffsetDateTime getTime()
      Gets time when an Err occured.
      Returns:
      A OffsetDateTime object.
    • getFile

      public String getFile()
      Gets the source file name where an Err occured. This source file name can be null if this is unavailable in the stack trace element.
      Returns:
      A source file name.
    • getLine

      public int getLine()
      Gets the line number where an Err occured. This line number can be a negative number if this is unavailable in the stack trace element.
      Returns:
      A line number.