Module def_type

Source
Expand description

Type builder

Structs§

Bound
Type interval bound.
BundleFieldDefinition
Single bundle field definition.
BundleTypeDefinition
Bundle type definition’s inner contents.
EnumTypeDefinition
An enumeration type definition’s inner contents.
RegularTypeDefinition
Regular type definition’s inner contents.
TypeDefinition
Type definition with a name, location and inner contents for the different variants.
TypeDomain
Type’s domain consisting of the defined intervals.

Enums§

TypeDefinitionContents
Type definition inner contents.
TypeInterval
Type interval.

Functions§

build_bundle_field
Build a single bundle field.
build_bundle_type
Build a bundle type definition.
build_enum_type
Build an enumeration type definition.
build_regular_type_definition
Build a regular type definition.
build_type_definition
Build a type definition section and add all type definitions to the context’s specification.
build_type_definition_any
Build any type definition.
build_type_domain
Build a type’s domain consisting of one or more bounds.
build_type_domain_constant
Build a type domain constant inclusion or exclusion.
build_type_domain_range_lower
Build a type domain lower bounded interval bound.
build_type_domain_range_upper
Build a type domain upper bounded interval bound.
build_type_units
Build a type’s units from a cursor.