Uses of Interface
com.io7m.jpra.model.type_declarations.RecordFieldDeclType

Packages that use RecordFieldDeclType

Package	Description
com.io7m.jpra.model.type_declarations	Type declarations.

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

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

Modifier and Type	Class and Description
class	RecordFieldDeclPaddingOctets<I,T> A record field declaration that specifies a number of padding octets.
class	RecordFieldDeclValue<I,T> A record field declaration.

Methods in com.io7m.jpra.model.type_declarations that return types with arguments of type RecordFieldDeclType

Modifier and Type	Method and Description
com.gs.collections.api.list.ImmutableList<RecordFieldDeclType<I,T>>	TypeDeclRecord.getFieldsInDeclarationOrder()

Methods in com.io7m.jpra.model.type_declarations with parameters of type RecordFieldDeclType

Modifier and Type	Method and Description
static <I,T> Optional<FieldName>	RecordFieldDecl.name(RecordFieldDeclType<I,T> r)

Constructor parameters in com.io7m.jpra.model.type_declarations with type arguments of type RecordFieldDeclType

Constructor and Description
TypeDeclRecord(I in_identifier, T in_type, com.gs.collections.api.map.ImmutableMap<FieldName,RecordFieldDeclValue<I,T>> in_fields_name, TypeName in_name, com.gs.collections.api.list.ImmutableList<RecordFieldDeclType<I,T>> in_fields_order) Construct a declaration.