Uses of Interface
com.io7m.jpra.model.contexts.GlobalContextType

Packages that use GlobalContextType

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.driver	Driver.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.loading	Model loading.

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

Methods in com.io7m.jpra.compiler.core.checker with parameters of type GlobalContextType

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

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

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

Modifier and Type	Method and Description
GlobalContextType	JPRADriverType.getGlobalContext()
GlobalContextType	JPRADriver.getGlobalContext()

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

Methods in com.io7m.jpra.compiler.core.resolver with parameters of type GlobalContextType

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

Uses of GlobalContextType in com.io7m.jpra.model.contexts

Classes in com.io7m.jpra.model.contexts that implement GlobalContextType

Modifier and Type	Class and Description
class	GlobalContexts Access to global contexts.

Methods in com.io7m.jpra.model.contexts that return GlobalContextType

Modifier and Type	Method and Description
GlobalContextType	PackageContextType.getGlobalContext()
static GlobalContextType	GlobalContexts.newContext(JPRAPackageLoaderType in_loader)

Uses of GlobalContextType in com.io7m.jpra.model.loading

Methods in com.io7m.jpra.model.loading with parameters of type GlobalContextType

Modifier and Type	Method and Description
PackageContextType	JPRAPackageLoaderType.evaluate(GlobalContextType c, PackageNameQualified p) Attempt to load a package.