## Uses of Class
com.io7m.jpra.model.Untyped

- Packages that use Untyped
  Package | Description
  --- | ---
  com.io7m.jpra.compiler.core.checker | Type checking.
  com.io7m.jpra.compiler.core.parser | Parser.
  com.io7m.jpra.compiler.core.resolver | Name resolution.
  com.io7m.jpra.model | Types and functions implementing the `jpra` type_model.

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

    Method parameters in com.io7m.jpra.compiler.core.checker with type arguments of type Untyped
    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.`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 Untyped in com.io7m.jpra.compiler.core.parser

    Methods in com.io7m.jpra.compiler.core.parser that return types with arguments of type Untyped
    Modifier and Type | Method and Description
    --- | ---
    `SizeExprType<Unresolved,Untyped>` | JPRAParserType.`parseSizeExpression(com.io7m.jsx.SExpressionType expr)` Parse a size expression.
    `SizeExprType<Unresolved,Untyped>` | JPRAParser.`parseSizeExpression(com.io7m.jsx.SExpressionType e)`
    `StatementType<Unresolved,Untyped>` | JPRAParserType.`parseStatement(com.io7m.jsx.SExpressionType expr)` Parse a statement.
    `StatementType<Unresolved,Untyped>` | JPRAParser.`parseStatement(com.io7m.jsx.SExpressionType expr)`
    `TypeExprType<Unresolved,Untyped>` | JPRAParserType.`parseTypeExpression(com.io7m.jsx.SExpressionType expr)` Parse a type expression.
    `TypeExprType<Unresolved,Untyped>` | JPRAParser.`parseTypeExpression(com.io7m.jsx.SExpressionType expr)`

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

    Methods in com.io7m.jpra.compiler.core.resolver that return types with arguments of type Untyped
    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)`

    Method parameters in com.io7m.jpra.compiler.core.resolver with type arguments of type Untyped
    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)`
    `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 Untyped in com.io7m.jpra.model

    Methods in com.io7m.jpra.model that return Untyped
    Modifier and Type | Method and Description
    --- | ---
    `static Untyped` | Untyped.`get()`

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