Class ParsingException

    • Constructor Detail

      • ParsingException

        public ParsingException​(Position position)
        Parameters:
        position - the position of the error; never null
      • ParsingException

        public ParsingException​(Position position,
                                String message,
                                Throwable cause)
        Parameters:
        position - the position of the error; never null
        message - the message
        cause - the underlying cause
      • ParsingException

        public ParsingException​(Position position,
                                String message)
        Parameters:
        position - the position of the error; never null
        message - the message
    • Method Detail

      • getPosition

        public Position getPosition()