Uses of Interface
com.io7m.jpra.model.types.TType

Packages that use TType

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.model.types	Types.

Uses of TType in com.io7m.jpra.compiler.core.checker

Methods in com.io7m.jpra.compiler.core.checker that return types with arguments of type TType

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 TType

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)

Uses of TType in com.io7m.jpra.model.types

Subinterfaces of TType in com.io7m.jpra.model.types

Modifier and Type	Interface and Description
interface	TIntegerType The type of integer types.
interface	TypeScalarType The type scalar types.

Classes in com.io7m.jpra.model.types that implement TType

Modifier and Type	Class and Description
class	TArray An array type expression.
class	TBooleanSet A boolean-set type.
class	TFloat A floating point type expression.
class	TIntegerSigned A signed integer type expression.
class	TIntegerSignedNormalized A signed-normalized type expression.
class	TIntegerUnsigned An unsigned integer type expression.
class	TIntegerUnsignedNormalized An unsigned-normalized integer type expression.
class	TMatrix A matrix type expression.
class	TPacked A packed type.
class	TRecord A record type.
class	TString A string type expression.
class	TVector A vector type expression.

Methods in com.io7m.jpra.model.types that return TType

Modifier and Type	Method and Description
TType	TArray.getElementType()
TType	TRecord.FieldValue.getType()

Methods in com.io7m.jpra.model.types with parameters of type TType

Modifier and Type	Method and Description
void	TRecordBuilderType.addField(FieldName name, IdentifierType id, TType type) Add a value field.

Constructors in com.io7m.jpra.model.types with parameters of type TType

Constructor and Description
TArray(Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex, Size<?> in_size, TType in_type) Construct an array type expression.
TypeLookupFailed(TType in_t, FieldName in_name, com.gs.collections.api.list.ImmutableList<FieldName> in_rest) Construct a failure.
TypeLookupSucceeded(TType in_result) Construct a success result.