Uses of Package
com.io7m.jpra.model.names

Packages that use com.io7m.jpra.model.names

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.driver	Driver.
com.io7m.jpra.compiler.core.parser	Parser.
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 type_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.
com.io7m.jpra.model.type_declarations	Type declarations.
com.io7m.jpra.model.type_expressions	Type expressions.
com.io7m.jpra.model.types	Types.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.compiler.core.checker

Class and Description
IdentifierType The type of identifiers that are unique with a respect to a global context.
TypeName A type name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.compiler.core.driver

Class and Description
PackageNameQualified A fully qualified package name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.compiler.core.parser

Class and Description
FieldReference A reference to a field.
TypeReference A reference to a type by name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.compiler.core.resolver

Class and Description
IdentifierType The type of identifiers that are unique with a respect to a global context.
PackageNameQualified A fully qualified package name.
PackageNameUnqualified An unqualified package name.
TypeName A type name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.compiler.java

Class and Description
PackageNameQualified A fully qualified package name.
TypeName A type name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model

Class and Description
PackageNameQualified A fully qualified package name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model.contexts

Class and Description
IdentifierType The type of identifiers that are unique with a respect to a global context.
PackageNameQualified A fully qualified package name.
TypeName A type name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model.loading

Class and Description
PackageNameQualified A fully qualified package name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model.names

Class and Description
FieldName The type of field names.
FieldPath A path to a field.
PackageNameQualified A fully qualified package name.
PackageNameUnqualified An unqualified package name.
TypeName A type name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model.statements

Class and Description
PackageNameQualified A fully qualified package name.
PackageNameUnqualified An unqualified package name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model.type_declarations

Class and Description
FieldName The type of field names.
TypeName A type name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model.type_expressions

Class and Description
FieldName The type of field names.
FieldReference A reference to a field.
TypeReference A reference to a type by name.

Classes in com.io7m.jpra.model.names used by com.io7m.jpra.model.types

Class and Description
FieldName The type of field names.
FieldPath A path to a field.
IdentifierType The type of identifiers that are unique with a respect to a global context.
TypeName A type name.