## Uses of Interface
com.io7m.jpra.model.names.IdentifierType

- Packages that use IdentifierType
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.compiler.core.resolver | Name resolution.
  com.io7m.jpra.model.contexts | Context types.
  com.io7m.jpra.model.types | Types.

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

    Methods in com.io7m.jpra.compiler.core.checker that return types with arguments of type IdentifierType
    Modifier and Type | Method and Description
    --- | ---
    `StatementCommandType<IdentifierType,TType>` | JPRACheckerType.`checkCommandType(StatementCommandType<IdentifierType,Untyped> s)` Check a `:type` command.
    `StatementCommandType<IdentifierType,TType>` | JPRAChecker.`checkCommandType(StatementCommandType<IdentifierType,Untyped> s)`
    `TypeDeclType<IdentifierType,TType>` | JPRACheckerType.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)` Check a type declaration.
    `TypeDeclType<IdentifierType,TType>` | JPRAChecker.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)`
    `TypeExprType<IdentifierType,TType>` | JPRACheckerType.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)` Check a type expression.
    `TypeExprType<IdentifierType,TType>` | JPRAChecker.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)`

    Method parameters in com.io7m.jpra.compiler.core.checker with type arguments of type IdentifierType
    Modifier and Type | Method and Description
    --- | ---
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`booleanSetSizeInvalid(TypeExprBooleanSet<IdentifierType,Untyped> e, com.io7m.jranges.RangeInclusiveB range, BigInteger value)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`booleanSetSizeLessThanRequired(TypeExprBooleanSet<IdentifierType,Untyped> e, BigInteger required, BigInteger value)`
    `StatementCommandType<IdentifierType,TType>` | JPRACheckerType.`checkCommandType(StatementCommandType<IdentifierType,Untyped> s)` Check a `:type` command.
    `StatementCommandType<IdentifierType,TType>` | JPRAChecker.`checkCommandType(StatementCommandType<IdentifierType,Untyped> s)`
    `void` | JPRACheckerType.`checkPackageBegin(StatementPackageBegin<IdentifierType,Untyped> s)` Check a package begin statement.
    `void` | JPRAChecker.`checkPackageBegin(StatementPackageBegin<IdentifierType,Untyped> s)`
    `PackageContextType` | JPRACheckerType.`checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s)` Complete the current package.
    `PackageContextType` | JPRAChecker.`checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s)`
    `TypeDeclType<IdentifierType,TType>` | JPRACheckerType.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)` Check a type declaration.
    `TypeDeclType<IdentifierType,TType>` | JPRAChecker.`checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)`
    `TypeExprType<IdentifierType,TType>` | JPRACheckerType.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)` Check a type expression.
    `TypeExprType<IdentifierType,TType>` | JPRAChecker.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`floatSizeNotSupported(TypeExprFloat<IdentifierType,Untyped> e, Size<SizeUnitBitsType> size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes)`
    `static <T extends SizeUnitType> JPRACompilerCheckerException` | JPRACompilerCheckerException.`integerSizeNotSupported(TypeExprType<IdentifierType,Untyped> e, Size<T> size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`matrixNonScalarElement(TypeExprMatrix<IdentifierType,Untyped> e)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`matrixNotSupported(TypeExprMatrix<IdentifierType,Untyped> e, BigInteger tw, BigInteger th, com.gs.collections.api.list.ImmutableList<com.io7m.jfunctional.Pair<com.io7m.jranges.RangeInclusiveB,com.io7m.jranges.RangeInclusiveB>> supported)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`stringEncodingNotSupported(TypeExprString<IdentifierType,Untyped> e, String encoding, com.gs.collections.api.set.ImmutableSet<String> encodings)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`vectorNonScalarElement(TypeExprVector<IdentifierType,Untyped> e)`
    `static JPRACompilerCheckerException` | JPRACompilerCheckerException.`vectorSizeNotSupported(TypeExprVector<IdentifierType,Untyped> e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)`

  - ### Uses of IdentifierType in com.io7m.jpra.compiler.core.resolver

    Methods in com.io7m.jpra.compiler.core.resolver that return types with arguments of type IdentifierType
    Modifier and Type | Method and Description
    --- | ---
    `StatementCommandType<IdentifierType,Untyped>` | JPRAResolverType.`resolveCommandType(StatementCommandType<Unresolved,Untyped> s)` Resolve a `:type` command.
    `StatementCommandType<IdentifierType,Untyped>` | JPRAResolver.`resolveCommandType(StatementCommandType<Unresolved,Untyped> s)`
    `Map<TypeName,TypeDeclType<IdentifierType,Untyped>>` | JPRAResolverType.`resolveGetCurrentTypes()`
    `Map<TypeName,TypeDeclType<IdentifierType,Untyped>>` | JPRAResolver.`resolveGetCurrentTypes()`
    `StatementPackageBegin<IdentifierType,Untyped>` | JPRAResolverType.`resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s)` Resolve a package begin statement.
    `StatementPackageBegin<IdentifierType,Untyped>` | JPRAResolver.`resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s)`
    `StatementPackageEnd<IdentifierType,Untyped>` | JPRAResolverType.`resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s)` Resolve a package end statement.
    `StatementPackageEnd<IdentifierType,Untyped>` | JPRAResolver.`resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s)`
    `StatementPackageImport<IdentifierType,Untyped>` | JPRAResolverType.`resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s)` Resolve a package import statement.
    `StatementPackageImport<IdentifierType,Untyped>` | JPRAResolver.`resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s)`
    `SizeExprType<IdentifierType,Untyped>` | JPRAResolverType.`resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr)` Resolve a size expression.
    `SizeExprType<IdentifierType,Untyped>` | JPRAResolver.`resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr)`
    `TypeDeclType<IdentifierType,Untyped>` | JPRAResolverType.`resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)` Resolve a type declaration.
    `TypeDeclType<IdentifierType,Untyped>` | JPRAResolver.`resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)`
    `TypeExprType<IdentifierType,Untyped>` | JPRAResolverType.`resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)` Resolve a type expression.
    `TypeExprType<IdentifierType,Untyped>` | JPRAResolver.`resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)`

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

    Methods in com.io7m.jpra.model.contexts that return IdentifierType
    Modifier and Type | Method and Description
    --- | ---
    `IdentifierType` | GlobalContexts.`getFreshIdentifier()`
    `IdentifierType` | GlobalContextType.`getFreshIdentifier()`

    Methods in com.io7m.jpra.model.contexts with parameters of type IdentifierType
    Modifier and Type | Method and Description
    --- | ---
    `TypeUserDefinedType` | GlobalContexts.`getType(IdentifierType id)`
    `TypeUserDefinedType` | GlobalContextType.`getType(IdentifierType id)` Return a type previously added with `GlobalContextType.putType(TypeUserDefinedType)`.

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

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

    Methods in com.io7m.jpra.model.types with parameters of type IdentifierType
    Modifier and Type | Method and Description
    --- | ---
    `void` | TPackedBuilderType.`addField(FieldName name, IdentifierType id, TIntegerType type)` Add a value field.
    `void` | TRecordBuilderType.`addField(FieldName name, IdentifierType id, TType type)` Add a value field.
    `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.

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