Uses of Class
com.io7m.jpra.compiler.core.checker.JPRACheckerErrorCode

Packages that use JPRACheckerErrorCode

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.

Uses of JPRACheckerErrorCode in com.io7m.jpra.compiler.core.checker

Methods in com.io7m.jpra.compiler.core.checker that return JPRACheckerErrorCode

Modifier and Type	Method and Description
JPRACheckerErrorCode	JPRACompilerCheckerException.getErrorCode()
static JPRACheckerErrorCode	JPRACheckerErrorCode.valueOf(String name) Returns the enum constant of this type with the specified name.
static JPRACheckerErrorCode[]	JPRACheckerErrorCode.values() Returns an array containing the constants of this enum type, in the order they are declared.

Constructors in com.io7m.jpra.compiler.core.checker with parameters of type JPRACheckerErrorCode

Constructor and Description
JPRACompilerCheckerException(Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex, JPRACheckerErrorCode in_code, Exception e) Construct an exception.
JPRACompilerCheckerException(Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex, JPRACheckerErrorCode in_code, String message) Construct an exception.