Uses of Interface
com.io7m.jpra.compiler.core.checker.JPRACheckerType

Packages that use JPRACheckerType

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.pipeline	Compiler pipeline.

Uses of JPRACheckerType in com.io7m.jpra.compiler.core.checker

Classes in com.io7m.jpra.compiler.core.checker that implement JPRACheckerType

Modifier and Type	Class and Description
class	JPRAChecker The default implementation of the JPRACheckerType interface.

Methods in com.io7m.jpra.compiler.core.checker that return JPRACheckerType

Modifier and Type	Method and Description
static JPRACheckerType	JPRAChecker.newChecker(GlobalContextType c, JPRACheckerCapabilitiesType caps)

Uses of JPRACheckerType in com.io7m.jpra.compiler.core.pipeline

Methods in com.io7m.jpra.compiler.core.pipeline with parameters of type JPRACheckerType

Modifier and Type	Method and Description
static JPRAPipelineType	JPRAPipeline.newPipeline(JPRAParserType in_parser, JPRAResolverType in_resolver, JPRACheckerType in_checker) Construct a new pipeline.