Class ScannerException

    • Constructor Detail

      • ScannerException

        public ScannerException​(String context,
                                Mark contextMark,
                                String problem,
                                Mark problemMark,
                                String note)
        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.
        note - Message for the user with further information about the problem.
      • ScannerException

        public ScannerException​(String context,
                                Mark contextMark,
                                String problem,
                                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.