| Package | Description |
|---|---|
| com.io7m.jpra.model.names |
Unresolved name types.
|
| com.io7m.jpra.model.type_declarations |
Type declarations.
|
| com.io7m.jpra.model.type_expressions |
Type expressions.
|
| com.io7m.jpra.model.types |
Types.
|
| Modifier and Type | Method and Description |
|---|---|
com.gs.collections.api.list.ImmutableList<FieldName> |
FieldPath.getElements() |
| Modifier and Type | Method and Description |
|---|---|
static FieldPath |
FieldPath.ofList(com.gs.collections.api.list.ImmutableList<FieldName> in_elements)
Construct a field path from a non-empty list of path elements.
|
| Modifier and Type | Method and Description |
|---|---|
FieldName |
RecordFieldDeclValue.getName() |
FieldName |
PackedFieldDeclValue.getName() |
| Modifier and Type | Method and Description |
|---|---|
com.gs.collections.api.map.ImmutableMap<FieldName,RecordFieldDeclValue<I,T>> |
TypeDeclRecord.getFieldsByName() |
com.gs.collections.api.map.ImmutableMap<FieldName,PackedFieldDeclValue<I,T>> |
TypeDeclPacked.getFieldsByName() |
static <I,T> Optional<FieldName> |
PackedFieldDecl.name(PackedFieldDeclType<I,T> r) |
static <I,T> Optional<FieldName> |
RecordFieldDecl.name(RecordFieldDeclType<I,T> r) |
| 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.
|
| Constructor and Description |
|---|
TypeDeclPacked(I in_identifier,
T in_type,
com.gs.collections.api.map.ImmutableMap<FieldName,PackedFieldDeclValue<I,T>> in_fields_name,
TypeName in_name,
com.gs.collections.api.list.ImmutableList<PackedFieldDeclType<I,T>> in_fields_order)
Construct a type declaration.
|
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.
|
| Modifier and Type | Method and Description |
|---|---|
com.gs.collections.api.list.ImmutableList<FieldName> |
TypeExprBooleanSet.getFieldsInDeclarationOrder() |
| Constructor and Description |
|---|
TypeExprBooleanSet(T in_type,
Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex,
com.gs.collections.api.list.ImmutableList<FieldName> in_fields,
SizeExprType<I,T> in_size)
Construct a type expression.
|
| Modifier and Type | Method and Description |
|---|---|
FieldName |
TRecord.FieldValue.getName() |
FieldName |
TPacked.FieldValue.getName() |
| Modifier and Type | Method and Description |
|---|---|
com.gs.collections.api.map.ImmutableMap<FieldName,TRecord.FieldValue> |
TRecord.getFieldsByName() |
com.gs.collections.api.map.ImmutableMap<FieldName,TPacked.FieldValue> |
TPacked.getFieldsByName() |
com.gs.collections.api.list.ImmutableList<FieldName> |
TBooleanSet.getFieldsInDeclarationOrder() |
| Modifier and Type | Method and Description |
|---|---|
void |
TPackedBuilderType.addField(FieldName name,
IdentifierType id,
TIntegerType type)
Add a value field.
|
void |
TRecordBuilderType.addField(FieldName name,
IdentifierType id,
TType type)
Add a value field.
|
| Constructor and Description |
|---|
TypeLookupFailed(TType in_t,
FieldName in_name,
com.gs.collections.api.list.ImmutableList<FieldName> in_rest)
Construct a failure.
|
| Constructor and Description |
|---|
TBooleanSet(Optional<com.io7m.jlexing.core.LexicalPosition<Path>> in_lex,
com.gs.collections.api.list.ImmutableList<FieldName> in_fields,
Size<SizeUnitOctetsType> in_size)
Construct a boolean set type.
|
TypeLookupFailed(TType in_t,
FieldName in_name,
com.gs.collections.api.list.ImmutableList<FieldName> in_rest)
Construct a failure.
|
Copyright © 2017 <code@io7m.com> http://io7m.com