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_type_name) Construct a new mutable record builder.