Uses of Interface
com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Packages that use JPRAResolverType

Package	Description
com.io7m.jpra.compiler.core.pipeline	Compiler pipeline.
com.io7m.jpra.compiler.core.resolver	Name resolution.

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

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

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

Uses of JPRAResolverType in com.io7m.jpra.compiler.core.resolver

Classes in com.io7m.jpra.compiler.core.resolver that implement JPRAResolverType

Modifier and Type	Class and Description
class	JPRAResolver The default implementation of the JPRAResolverType interface.

Methods in com.io7m.jpra.compiler.core.resolver that return JPRAResolverType

Modifier and Type	Method and Description
static JPRAResolverType	JPRAResolver.newResolver(GlobalContextType c, Optional<PackageNameQualified> in_expected_package) Create a new resolver.