Uses of Interface
com.io7m.jpra.compiler.core.driver.JPRADriverType

Packages that use JPRADriverType

Package	Description
com.io7m.jpra.compiler.core.driver	Driver.

Uses of JPRADriverType in com.io7m.jpra.compiler.core.driver

Classes in com.io7m.jpra.compiler.core.driver that implement JPRADriverType

Modifier and Type	Class and Description
class	JPRADriver Default implementation of the JPRADriverType interface.

Methods in com.io7m.jpra.compiler.core.driver that return JPRADriverType

Modifier and Type	Method and Description
static JPRADriverType	JPRADriver.newDriver(Path in_base, JPRACheckerCapabilitiesType in_caps) Construct a new driver.