Interface 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 classParseErrorType.SeverityThe error severity
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.Optional<java.lang.Exception>exception()com.io7m.jlexing.core.LexicalPosition<java.net.URI>lexical()java.lang.Stringmessage()ParseErrorType.Severityseverity()
-
-
-
Method Detail
-
lexical
com.io7m.jlexing.core.LexicalPosition<java.net.URI> lexical()
- Specified by:
lexicalin interfacecom.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
-
-