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

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