## 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.

Copyright © 2017 <code@io7m.com> http://io7m.com