ParseErrorType

All Superinterfaces:: com.io7m.jlexing.core.LexicalType<java.net.URI>

All Known Implementing Classes:: ParseError

@Immutable
public interface ParseErrorType
extends com.io7m.jlexing.core.LexicalType<java.net.URI>

The type of parse errors.

Nested Class Summary

Nested Classes

Modifier and Type Interface Description

static class ParseErrorType.Severity
The error severity

Method Summary

Modifier and Type	Method	Description
`java.util.Optional<java.lang.Exception>`	`exception()`
`com.io7m.jlexing.core.LexicalPosition<java.net.URI>`	`lexical()`
`java.lang.String`	`message()`
`ParseErrorType.Severity`	`severity()`

Method Details
- lexical
  
  com.io7m.jlexing.core.LexicalPosition<java.net.URI> lexical()
  
  Specified by:
  
  lexical in interface com.io7m.jlexing.core.LexicalType<java.net.URI>
- severity
  
  ParseErrorType.Severity severity()
  
  Returns:
  
  The error severity
- message
  
  java.lang.String message()
  
  Returns:
  
  The error message
- exception
  
  java.util.Optional<java.lang.Exception> exception()
  
  Returns:
  
  The exception raised, if any