## Uses of Interface
com.io7m.jpra.model.type_expressions.TypeExprType

- Packages that use TypeExprType
  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.size_expressions | Size expressions.
  com.io7m.jpra.model.statements | Statements.
  com.io7m.jpra.model.type_declarations | Type declarations.
  com.io7m.jpra.model.type_expressions | Type expressions.

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

    Methods in com.io7m.jpra.compiler.core.checker that return TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<IdentifierType,TType>` | JPRACheckerType.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)` Check a type expression.
    `TypeExprType<IdentifierType,TType>` | JPRAChecker.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)`

    Methods in com.io7m.jpra.compiler.core.checker with parameters of type TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<IdentifierType,TType>` | JPRACheckerType.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)` Check a type expression.
    `TypeExprType<IdentifierType,TType>` | JPRAChecker.`checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)`
    `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.`packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)`

  - ### Uses of TypeExprType in com.io7m.jpra.compiler.core.parser

    Methods in com.io7m.jpra.compiler.core.parser that return TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `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 TypeExprType in com.io7m.jpra.compiler.core.resolver

    Methods in com.io7m.jpra.compiler.core.resolver that return TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<IdentifierType,Untyped>` | JPRAResolverType.`resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)` Resolve a type expression.
    `TypeExprType<IdentifierType,Untyped>` | JPRAResolver.`resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)`

    Methods in com.io7m.jpra.compiler.core.resolver with parameters of type TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<IdentifierType,Untyped>` | JPRAResolverType.`resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)` Resolve a type expression.
    `TypeExprType<IdentifierType,Untyped>` | JPRAResolver.`resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)`

  - ### Uses of TypeExprType in com.io7m.jpra.model.size_expressions

    Methods in com.io7m.jpra.model.size_expressions that return TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<I,T>` | SizeExprInOctets.`getTypeExpression()`
    `TypeExprType<I,T>` | SizeExprInBits.`getTypeExpression()`

    Constructors in com.io7m.jpra.model.size_expressions with parameters of type TypeExprType
    Constructor and Description
    `SizeExprInBits(TypeExprType<I,T> in_expression)` Construct an expression.
    `SizeExprInOctets(TypeExprType<I,T> in_expression)` Construct an expression.

  - ### Uses of TypeExprType in com.io7m.jpra.model.statements

    Methods in com.io7m.jpra.model.statements that return TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<I,T>` | StatementCommandType.`getExpression()`

    Constructors in com.io7m.jpra.model.statements with parameters of type TypeExprType
    Constructor and Description
    `StatementCommandType(TypeExprType<I,T> e)` Construct a type expression.

  - ### Uses of TypeExprType in com.io7m.jpra.model.type_declarations

    Methods in com.io7m.jpra.model.type_declarations that return TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<I,T>` | RecordFieldDeclValue.`getType()`
    `TypeExprType<I,T>` | PackedFieldDeclValue.`getType()`

    Constructors in com.io7m.jpra.model.type_declarations with parameters of type TypeExprType
    Constructor and Description
    `PackedFieldDeclValue(I in_identifier, FieldName in_name, TypeExprType<I,T> in_type)` Construct a `field` declaration.
    `RecordFieldDeclValue(I in_identifier, FieldName in_name, TypeExprType<I,T> in_type)` Construct a field declaration.

  - ### Uses of TypeExprType in com.io7m.jpra.model.type_expressions

    Classes in com.io7m.jpra.model.type_expressions that implement TypeExprType
    Modifier and Type | Class and Description
    --- | ---
    `class` | `TypeExprArray<I,T>` An `array` type expression.
    `class` | `TypeExprBooleanSet<I,T>` A `boolean-set` type expression.
    `class` | `TypeExprFloat<I,T>` A `float` type expression.
    `class` | `TypeExprIntegerSigned<I,T>` An `integer signed` type expression.
    `class` | `TypeExprIntegerSignedNormalized<I,T>` An `integer signed-normalized` type expression.
    `class` | `TypeExprIntegerUnsigned<I,T>` An `integer unsigned` type expression.
    `class` | `TypeExprIntegerUnsignedNormalized<I,T>` An `integer unsigned-normalized` type expression.
    `class` | `TypeExprMatrix<I,T>` A `matrix` type expression.
    `class` | `TypeExprName<I,T>` A name.
    `class` | `TypeExprString<I,T>` A `string` type expression.
    `class` | `TypeExprTypeOfField<I,T>` A `type-of` type expression.
    `class` | `TypeExprVector<I,T>` A `vector` type expression.

    Methods in com.io7m.jpra.model.type_expressions that return TypeExprType
    Modifier and Type | Method and Description
    --- | ---
    `TypeExprType<I,T>` | TypeExprVector.`getElementType()`
    `TypeExprType<I,T>` | TypeExprMatrix.`getElementType()`
    `TypeExprType<I,T>` | TypeExprArray.`getElementType()`

    Constructors in com.io7m.jpra.model.type_expressions with parameters of type TypeExprType
    Constructor and Description
    `TypeExprArray(T in_type, Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex, SizeExprType<I,T> in_element_count, TypeExprType<I,T> in_element_type)` Construct an expression.
    `TypeExprMatrix(T in_type, Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex, SizeExprType<I,T> in_width, SizeExprType<I,T> in_height, TypeExprType<I,T> in_element_type)` Construct an expression.
    `TypeExprVector(T in_type, Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex, SizeExprType<I,T> in_element_count, TypeExprType<I,T> in_element_type)` Construct an expression.

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