## Uses of Interface
com.io7m.jpra.model.contexts.PackageContextType

- Packages that use PackageContextType
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.compiler.core.driver | Driver.
  com.io7m.jpra.compiler.core.pipeline | Compiler pipeline.
  com.io7m.jpra.model.contexts | Context types.
  com.io7m.jpra.model.loading | Model loading.
  com.io7m.jpra.model.types | Types.

- - ### Uses of PackageContextType in com.io7m.jpra.compiler.core.checker

    Methods in com.io7m.jpra.compiler.core.checker that return PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `PackageContextType` | JPRACheckerType.`checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s)` Complete the current package.
    `PackageContextType` | JPRAChecker.`checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s)`

  - ### Uses of PackageContextType in com.io7m.jpra.compiler.core.driver

    Methods in com.io7m.jpra.compiler.core.driver that return PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `PackageContextType` | JPRADriverType.`compilePackage(PackageNameQualified p)` Compile a package.
    `PackageContextType` | JPRADriver.`compilePackage(PackageNameQualified p)`

  - ### Uses of PackageContextType in com.io7m.jpra.compiler.core.pipeline

    Methods in com.io7m.jpra.compiler.core.pipeline that return types with arguments of type PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `Optional<PackageContextType>` | JPRAPipelineType.`onExpression(com.io7m.jsx.SExpressionType e)` An expression was received.
    `Optional<PackageContextType>` | JPRAPipeline.`onExpression(com.io7m.jsx.SExpressionType e)`

  - ### Uses of PackageContextType in com.io7m.jpra.model.contexts

    Methods in com.io7m.jpra.model.contexts that return PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `PackageContextType` | GlobalContexts.`loadPackage(PackageNameQualified p)`
    `PackageContextType` | GlobalContextType.`loadPackage(PackageNameQualified p)` Load and return a package into the context.

    Methods in com.io7m.jpra.model.contexts that return types with arguments of type PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `Map<PackageNameQualified,PackageContextType>` | GlobalContexts.`getPackages()`
    `Map<PackageNameQualified,PackageContextType>` | GlobalContextType.`getPackages()`

  - ### Uses of PackageContextType in com.io7m.jpra.model.loading

    Methods in com.io7m.jpra.model.loading that return PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `PackageContextType` | JPRAPackageLoaderType.`evaluate(GlobalContextType c, PackageNameQualified p)` Attempt to load a package.

  - ### Uses of PackageContextType in com.io7m.jpra.model.types

    Methods in com.io7m.jpra.model.types that return PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `PackageContextType` | TypeUserDefinedType.`getPackageContext()`
    `PackageContextType` | TRecord.`getPackageContext()`
    `PackageContextType` | TPacked.`getPackageContext()`

    Methods in com.io7m.jpra.model.types with parameters of type PackageContextType
    Modifier and Type | Method and Description
    --- | ---
    `static TRecordBuilderType` | TRecord.`newBuilder(PackageContextType in_package, IdentifierType in_identifier, TypeName in_ident)` Construct a new mutable record builder.
    `static TPackedBuilderType` | TPacked.`newBuilder(PackageContextType in_package, IdentifierType in_identifier, TypeName in_ident)` Construct a new mutable record builder.

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