@NonNullByDefault

Package com.io7m.jpra.compiler.core.checker

Type checking.

See: Description

Interface Summary

Interface	Description
JPRACheckerCapabilitiesType	The capabilities that the checker is responsible for enforcing.
JPRACheckerType	The type of type checkers.

Class Summary

Class	Description
JPRAChecker	The default implementation of the JPRACheckerType interface.
JPRACheckerStandardCapabilities	The default implementation of the JPRACheckerCapabilitiesType interface, specifying the minimum capabilities that all backends are required to support.

Enum Summary

Enum	Description
JPRACheckerErrorCode	Type checker error codes.

Exception Summary

Exception	Description
JPRACompilerCheckerException	The type of exceptions raised during checking.

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

Type checking.