@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.

Copyright © 2015 <code@io7m.com> http://io7m.com