WXMParseErrorType

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

All Known Implementing Classes:: WXMParseError

@Immutable
public interface WXMParseErrorType
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 WXMParseErrorType.Severity
The severity of errors.

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()`
`WXMParseErrorType.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
  
  WXMParseErrorType.Severity severity()
  
  Returns:
  
  The severity of the error
- message
  
  java.lang.String message()
  
  Returns:
  
  The parse error message
- exception
  
  java.util.Optional<java.lang.Exception> exception()
  
  Returns:
  
  The exception raised, if any