Uses of Class
com.io7m.jpra.model.names.PackageNameQualified

Packages that use PackageNameQualified

Package	Description
com.io7m.jpra.compiler.core.driver	Driver.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.compiler.java	Java backend for the compiler.
com.io7m.jpra.model	Types and functions implementing the jpra model.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.loading	Model loading.
com.io7m.jpra.model.names	Unresolved name types.
com.io7m.jpra.model.statements	Statements.

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

Methods in com.io7m.jpra.compiler.core.driver with parameters of type PackageNameQualified

Modifier and Type	Method and Description
PackageContextType	JPRADriverType.compilePackage(PackageNameQualified p) Compile a package.
PackageContextType	JPRADriver.compilePackage(PackageNameQualified p)

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

Methods in com.io7m.jpra.compiler.core.resolver that return types with arguments of type PackageNameQualified

Modifier and Type	Method and Description
Optional<PackageNameQualified>	JPRAResolverType.resolveGetCurrentPackage()
Optional<PackageNameQualified>	JPRAResolver.resolveGetCurrentPackage()

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

Modifier and Type	Method and Description
static JPRACompilerResolverException	JPRACompilerResolverException.duplicatePackage(PackageNameQualified name, PackageNameQualified original)
static JPRACompilerResolverException	JPRACompilerResolverException.expectedPackage(PackageNameQualified p)
static JPRACompilerResolverException	JPRACompilerResolverException.nestedPackage(PackageNameQualified name)
static JPRACompilerResolverException	JPRACompilerResolverException.nonexistentPackage(PackageNameQualified name)
static JPRACompilerResolverException	JPRACompilerResolverException.unexpectedPackage(PackageNameQualified expected, PackageNameQualified got)

Method parameters in com.io7m.jpra.compiler.core.resolver with type arguments of type PackageNameQualified

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

Uses of PackageNameQualified in com.io7m.jpra.compiler.java

Methods in com.io7m.jpra.compiler.java with parameters of type PackageNameQualified

Modifier and Type	Method and Description
static Path	JPRAJavaWriter.getPathForPackage(Path base, PackageNameQualified p_name) A function to return a path for the package p_name, based on base.

Uses of PackageNameQualified in com.io7m.jpra.model

Methods in com.io7m.jpra.model that return PackageNameQualified

Modifier and Type	Method and Description
PackageNameQualified	PackageImport.getFrom()
PackageNameQualified	PackageImport.getTo()

Constructors in com.io7m.jpra.model with parameters of type PackageNameQualified

Constructor and Description
PackageImport(PackageNameQualified in_from, PackageNameQualified in_to) Construct a package import declaration.

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

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

Modifier and Type	Method and Description
PackageNameQualified	PackageContextType.getName()

Methods in com.io7m.jpra.model.contexts that return types with arguments of type PackageNameQualified

Modifier and Type	Method and Description
Map<PackageNameQualified,PackageContextType>	GlobalContexts.getPackages()
Map<PackageNameQualified,PackageContextType>	GlobalContextType.getPackages()

Methods in com.io7m.jpra.model.contexts with parameters of type PackageNameQualified

Modifier and Type	Method and Description
PackageContextType	GlobalContexts.loadPackage(PackageNameQualified p)
PackageContextType	GlobalContextType.loadPackage(PackageNameQualified p) Load and return a package into the context.

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

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

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

Uses of PackageNameQualified in com.io7m.jpra.model.names

Methods in com.io7m.jpra.model.names that return PackageNameQualified

Modifier and Type	Method and Description
static PackageNameQualified	PackageNameQualified.of(PackageNameUnqualified... p) Construct a name from the given segments.
static PackageNameQualified	PackageNameQualified.valueOf(String text) Parse a string, yielding a qualified package name.

Uses of PackageNameQualified in com.io7m.jpra.model.statements

Methods in com.io7m.jpra.model.statements that return PackageNameQualified

Modifier and Type	Method and Description
PackageNameQualified	StatementPackageImport.getPackageName()
PackageNameQualified	StatementPackageBegin.getPackageName()

Constructors in com.io7m.jpra.model.statements with parameters of type PackageNameQualified

Constructor and Description
StatementPackageBegin(PackageNameQualified in_pack) Construct a statement.
StatementPackageImport(PackageNameQualified in_pack, PackageNameUnqualified in_using) Construct a statement.