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.ImmutableLexicalPositionType<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.ImmutableLexicalPositionType<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.ImmutableLexicalPositionType<Path>> in_lex, SizeExprType<I,T> in_element_count, TypeExprType<I,T> in_element_type) Construct an expression.