Uses of Interface
com.io7m.jpra.model.ModelElementType

Packages that use ModelElementType

Package	Description
com.io7m.jpra.model	Types and functions implementing the jpra type_model.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.names	Unresolved name types.
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.
com.io7m.jpra.model.types	Types.

Uses of ModelElementType in com.io7m.jpra.model

Classes in com.io7m.jpra.model that implement ModelElementType

Modifier and Type	Class and Description
class	PackageImport A package import declaration.

Uses of ModelElementType in com.io7m.jpra.model.contexts

Subinterfaces of ModelElementType in com.io7m.jpra.model.contexts

Modifier and Type	Interface and Description
interface	PackageContextType The context of a specific package

Uses of ModelElementType in com.io7m.jpra.model.names

Classes in com.io7m.jpra.model.names that implement ModelElementType

Modifier and Type	Class and Description
class	FieldName The type of field names.
class	PackageNameQualified A fully qualified package name.
class	PackageNameUnqualified An unqualified package name.
class	TypeName A type name.
class	UnionCaseName The name of a union case.

Uses of ModelElementType in com.io7m.jpra.model.size_expressions

Subinterfaces of ModelElementType in com.io7m.jpra.model.size_expressions

Modifier and Type	Interface and Description
interface	SizeExprType<I,T> The type of size expressions.

Classes in com.io7m.jpra.model.size_expressions that implement ModelElementType

Modifier and Type	Class and Description
class	SizeExprConstant<I,T> A constant size.
class	SizeExprInBits<I,T> A size function denoting the size in bits of a given type expression.
class	SizeExprInOctets<I,T> A size function denoting the size in octets of a given type expression.

Uses of ModelElementType in com.io7m.jpra.model.statements

Classes in com.io7m.jpra.model.statements that implement ModelElementType

Modifier and Type	Class and Description
class	StatementCommandSize<I,T> A :size command.
class	StatementCommandType<I,T> A :type command.
class	StatementPackageBegin<I,T> A package-begin statement.
class	StatementPackageEnd<I,T> The package-end statement.
class	StatementPackageImport<I,T> The import statement.

Uses of ModelElementType in com.io7m.jpra.model.type_declarations

Subinterfaces of ModelElementType in com.io7m.jpra.model.type_declarations

Modifier and Type	Interface and Description
interface	PackedFieldDeclType<I,T> The type of field declarations for packed types.
interface	RecordFieldDeclType<I,T> The type of record field declarations.
interface	TypeDeclType<I,T> The type of type declarations.

Classes in com.io7m.jpra.model.type_declarations that implement ModelElementType

Modifier and Type	Class and Description
class	PackedFieldDeclPaddingBits<I,T> A packed type field that specifies a number of padding bits.
class	PackedFieldDeclValue<I,T> A field declaration in a packed type.
class	RecordFieldDeclPaddingOctets<I,T> A record field declaration that specifies a number of padding octets.
class	RecordFieldDeclValue<I,T> A record field declaration.
class	TypeDeclPacked<I,T> A packed type declaration.
class	TypeDeclRecord<I,T> A record type declaration.

Uses of ModelElementType in com.io7m.jpra.model.type_expressions

Subinterfaces of ModelElementType in com.io7m.jpra.model.type_expressions

Modifier and Type	Interface and Description
interface	TypeExprType<I,T> The type of type expressions.

Classes in com.io7m.jpra.model.type_expressions that implement ModelElementType

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.

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

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

Modifier and Type	Interface and Description
interface	TIntegerType The type of integer types.
static interface	TPacked.FieldType The type of packed fields.
static interface	TRecord.FieldType The type of record fields.
interface	TType The type of types.
interface	TypeScalarType The type scalar types.

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

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.
static class	TPacked.FieldPaddingBits A packed padding field.
static class	TPacked.FieldValue A packed value field.
class	TRecord A record type.
static class	TRecord.FieldPaddingOctets A record padding field.
static class	TRecord.FieldValue A record value field.
class	TString A string type expression.
class	TVector A vector type expression.