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.