Class ScannerException

    • Constructor Summary

      Constructors 
      Constructor Description
      ScannerException​(java.lang.String problem, java.util.Optional<Mark> problemMark)
      Create
      ScannerException​(java.lang.String context, java.util.Optional<Mark> contextMark, java.lang.String problem, java.util.Optional<Mark> problemMark)
      Constructs an instance.
    • Method Summary

      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • ScannerException

        public ScannerException​(java.lang.String context,
                                java.util.Optional<Mark> contextMark,
                                java.lang.String problem,
                                java.util.Optional<Mark> problemMark)
        Constructs an instance.
        Parameters:
        context - Part of the input document in which vicinity the problem occurred.
        contextMark - Position of the context within the document.
        problem - Part of the input document that caused the problem.
        problemMark - Position of the problem within the document.
      • ScannerException

        public ScannerException​(java.lang.String problem,
                                java.util.Optional<Mark> problemMark)
        Create
        Parameters:
        problem - - the issue
        problemMark - - the position of the issue