## Uses of Interface
com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

- Packages that use JPRACheckerCapabilitiesType
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.compiler.core.driver | Driver.

- - ### Uses of JPRACheckerCapabilitiesType in com.io7m.jpra.compiler.core.checker

    Classes in com.io7m.jpra.compiler.core.checker that implement JPRACheckerCapabilitiesType
    Modifier and Type | Class and Description
    --- | ---
    `class` | `JPRACheckerStandardCapabilities` The default implementation of the `JPRACheckerCapabilitiesType` interface, specifying the minimum capabilities that all backends are required to support.

    Methods in com.io7m.jpra.compiler.core.checker that return JPRACheckerCapabilitiesType
    Modifier and Type | Method and Description
    --- | ---
    `static JPRACheckerCapabilitiesType` | JPRACheckerStandardCapabilities.`newCapabilities()`

    Methods in com.io7m.jpra.compiler.core.checker with parameters of type JPRACheckerCapabilitiesType
    Modifier and Type | Method and Description
    --- | ---
    `static JPRACheckerType` | JPRAChecker.`newChecker(GlobalContextType c, JPRACheckerCapabilitiesType caps)`

  - ### Uses of JPRACheckerCapabilitiesType in com.io7m.jpra.compiler.core.driver

    Methods in com.io7m.jpra.compiler.core.driver with parameters of type JPRACheckerCapabilitiesType
    Modifier and Type | Method and Description
    --- | ---
    `static JPRADriverType` | JPRADriver.`newDriver(Path in_base, JPRACheckerCapabilitiesType in_caps)` Construct a new driver.

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