Uses of Package
com.io7m.jpra.model.types

Packages that use com.io7m.jpra.model.types

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.java	Java backend for the compiler.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.types	Types.

Classes in com.io7m.jpra.model.types used by com.io7m.jpra.compiler.core.checker

Class and Description
Size A size value.
SizeUnitBitsType An empty type indicating that a given size value is in bits.
SizeUnitType An empty type used to indicate the units of size expressions.
TFloat A floating point type expression.
TIntegerType The type of integer types.
TType The type of types.

Classes in com.io7m.jpra.model.types used by com.io7m.jpra.compiler.java

Class and Description
TArray An array type expression.
TBooleanSet A boolean-set type.
TFloat A floating point type expression.
TIntegerSigned A signed integer type expression.
TIntegerSignedNormalized A signed-normalized type expression.
TIntegerType The type of integer types.
TIntegerUnsigned An unsigned integer type expression.
TIntegerUnsignedNormalized An unsigned-normalized integer type expression.
TMatrix A matrix type expression.
TPacked A packed type.
TPacked.FieldType The type of packed fields.
TRecord A record type.
TString A string type expression.
TVector A vector type expression.
TypeIntegerMatcherType The type of integer type expression matchers.
TypeMatcherType A type matcher.
TypeUserDefinedType The type of user defined types.

Classes in com.io7m.jpra.model.types used by com.io7m.jpra.model.contexts

Class and Description
TypeUserDefinedType The type of user defined types.

Classes in com.io7m.jpra.model.types used by com.io7m.jpra.model.types

Class and Description
Size A size value.
SizeUnitBitsType An empty type indicating that a given size value is in bits.
SizeUnitOctetsType An empty type indicating that a given size value is in octets.
SizeUnitType An empty type used to indicate the units of size expressions.
TArray An array type expression.
TBooleanSet A boolean-set type.
TFloat A floating point type expression.
TIntegerSigned A signed integer type expression.
TIntegerSignedNormalized A signed-normalized type expression.
TIntegerType The type of integer types.
TIntegerUnsigned An unsigned integer type expression.
TIntegerUnsignedNormalized An unsigned-normalized integer type expression.
TMatrix A matrix type expression.
TPacked A packed type.
TPacked.FieldMatcherType The type of field matchers.
TPacked.FieldPaddingBits A packed padding field.
TPacked.FieldType The type of packed fields.
TPacked.FieldValue A packed value field.
TPackedBuilderType The type of mutable records for TPacked values.
TRecord A record type.
TRecord.FieldMatcherType The type of field matchers.
TRecord.FieldPaddingOctets A record padding field.
TRecord.FieldType The type of record fields.
TRecord.FieldValue A record value field.
TRecordBuilderType The type of mutable records for TRecord values.
TRecords.TypeLookupFailed The type of lookup failures.
TRecords.TypeLookupSucceeded The type of successful lookups.
TRecords.TypeLookupType The type of lookup results.
TString A string type expression.
TType The type of types.
TVector A vector type expression.
TypeIntegerMatcherType The type of integer type expression matchers.
TypeMatcherType A type matcher.
TypeScalarMatcherType The type of scalar type matchers.
TypeScalarType The type scalar types.
TypeUserDefinedMatcherType The type of user-defined type matchers.
TypeUserDefinedType The type of user defined types.