Uses of Class
com.io7m.jpra.core.JPRAException

Packages that use JPRAException

Package	Description
com.io7m.jpra.compiler.core	Shared compiler types.
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.parser	Parser.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.core	Core types.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.loading	Model loading.

Uses of JPRAException in com.io7m.jpra.compiler.core

Subclasses of JPRAException in com.io7m.jpra.compiler.core

Modifier and Type	Class and Description
class	JPRACompilerException The root type of compiler exceptions.
class	JPRACompilerLexerException The type of lexer exceptions.

Methods in com.io7m.jpra.compiler.core with parameters of type JPRAException

Modifier and Type	Method and Description
void	JPRAProblemFormatterType.onJPRAException(OutputStream os, JPRAException e) Format a message to os based on e.
void	JPRAProblemFormatter.onJPRAException(OutputStream os, JPRAException e)

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

Subclasses of JPRAException in com.io7m.jpra.compiler.core.checker

Modifier and Type	Class and Description
class	JPRACompilerCheckerException The type of exceptions raised during checking.

Uses of JPRAException in com.io7m.jpra.compiler.core.parser

Subclasses of JPRAException in com.io7m.jpra.compiler.core.parser

Modifier and Type	Class and Description
class	JPRACompilerParseException The type of exceptions raised by the parser.

Uses of JPRAException in com.io7m.jpra.compiler.core.resolver

Subclasses of JPRAException in com.io7m.jpra.compiler.core.resolver

Modifier and Type	Class and Description
class	JPRACompilerResolverException The type of exceptions raised during checking.

Uses of JPRAException in com.io7m.jpra.core

Subclasses of JPRAException in com.io7m.jpra.core

Modifier and Type	Class and Description
class	JPRAIOException Wrapper exception for I/O exceptions.

Uses of JPRAException in com.io7m.jpra.model.contexts

Methods in com.io7m.jpra.model.contexts that return types with arguments of type JPRAException

Modifier and Type	Method and Description
Queue<JPRAException>	GlobalContexts.getErrorQueue()
Queue<JPRAException>	GlobalContextType.getErrorQueue()

Uses of JPRAException in com.io7m.jpra.model.loading

Subclasses of JPRAException in com.io7m.jpra.model.loading

Modifier and Type	Class and Description
class	JPRAModelCircularImportException An exception encountered due to a circular import.
class	JPRAModelLoadingException The type of type_model loading exceptions.