Module sdml_core::model

Provide the Rust types that implement an in-memory representation of the the SDML Grammar.

The following.

• Identifiers

  • Identifier, IdentifierReference, Named, QualifiedIdentifier

• Modules and Imports

  • Import, ImportStatement, Module, ModuleBody

• Annotations & Comments

  • Annotation, AnnotationProperty

• Constraints

  • AtomicSentence, BinaryOperation, [Binding], BooleanSentence, BoundSentence, Constraint, ConstraintBody, ConstraintSentence, ControlledLanguageString, ControlledLanguageTag, FunctionalTerm, NamePath, [PredicateValue], QuantifiedSentence, SimpleSentence, Subject, Term, [UnaryOperation]

• Type Definitions

  • AnnotationOnlyBody, DatatypeDef, Definition, EntityBody, EntityDef, EntityGroup, EntityMember, EnumBody, EnumDef, EventDef, StructureBody, StructureDef, StructureGroup, TypeVariant, UnionBody, UnionDef, ValueVariant

• Property Definitions

  • PropertyBody, PropertyDef, PropertyRole

• Member Definitions

  • ByReferenceMember, ByReferenceMemberDef, ByReferenceMemberInner, ByValueMember, ByValueMemberDef, ByValueMemberInner, Cardinality, IdentityMember, IdentityMemberDef, IdentityMemberInner, TypeReference

• Values

  • LanguageString, LanguageTag, ListMember, ListOfValues, SimpleValue, Value, ValueConstructor

Modules

• walk
  Provides the capability to walk the in-memory model of an SDML module.

Structs

• AnnotationOnlyBody
  Corresponds to the grammar rule annotation_only_body.
• AnnotationProperty
  Corresponds to the grammar rule annotation_property.
• AtomicSentence
  Corresponds to the grammar rule atomic_sentence.
• BinaryOperation
  Holds the left and right operands in the rules conjunction, disjunction, exclusive_disjunction, implication, and biconditional.
• BoundSentence
  Corresponds to the inner part of the grammar rule quantified_sentence, and the rule quantified_body.
• ByReferenceMember
  Corresponds to the grammar rule by_reference_member.
• ByReferenceMemberDef
  Corresponds to the definition component within grammar rule by_reference_member.
• ByValueMember
  Corresponds to the grammar rule by_value_member.
• ByValueMemberDef
  Corresponds to the definition component within grammar rule by_value_member.
• Cardinality
  Corresponds to the grammar rule cardinality.
• Constraint
  Corresponds to the grammar rule constraint.
• ControlledLanguageString
  Corresponds to the grammar rule informal_constraint.
• ControlledLanguageTag
  Corresponds to the grammar rule controlled_language_tag.
• DatatypeDef
  Corresponds to the grammar rule data_type_def.
• EntityBody
  Corresponds to the grammar rule entity_body.
• EntityDef
  Corresponds to the grammar rule entity_def.
• EntityGroup
  Corresponds to the grammar rule entity_group.
• EnumBody
  Corresponds to the grammar rule enum_body.
• EnumDef
  Corresponds to the grammar rule enum_def.
• EventDef
  Corresponds to the grammar rule event_def.
• FunctionalTerm
  Corresponds to the grammar rule functional_term.
• Identifier
  Corresponds the grammar rule identifier.
• IdentityMember
  Corresponds to the grammar rule identify_member.
• IdentityMemberDef
  Corresponds to the definition component within grammar rule identity_member.
• ImportStatement
  Corresponds the grammar rule import_statement.
• LanguageString
  Corresponds to the grammar rule string.
• LanguageTag
  Corresponds to the grammar rule language_tag.
• ListOfValues
  Corresponds to the grammar rule list_of_values.
• Module
  Corresponds the grammar rule module.
• ModuleBody
  Corresponds the grammar rule module_body.
• NamePath
  Corresponds to the grammar rule name_path.
• PropertyBody
  Corresponds to the grammar rule property_body.
• PropertyDef
  Corresponds to the grammar rule property_def.
• PropertyRole
  Corresponds to the grammar rule property_role.
• QualifiedIdentifier
  Corresponds the grammar rule qualified_identifier.
• Span
  The source location information from the tree-sitter Node type.
• StructureBody
  Corresponds to the grammar rule structure_body.
• StructureDef
  Corresponds to the grammar rule structure_def.
• StructureGroup
  Corresponds to the grammar rule structure_group.
• TypeVariant
  Corresponds to the grammar rule type_variant.
• UnionBody
  Corresponds to the grammar rule union_body.
• UnionDef
  Corresponds to the grammar rule union_def.
• ValueConstructor
  Corresponds to the grammar rule value_constructor.
• ValueVariant
  Corresponds to the grammar rule enum_variant.

Enums

• Annotation
  Corresponds to the grammar rule annotation.
• BooleanSentence
  Corresponds to the grammar rule boolean_sentence.
• ByReferenceMemberInner
  Corresponds to the choice component within grammar rule by_reference_member.
• ByValueMemberInner
  Corresponds to the choice component within grammar rule by_value_member.
• ConstraintBody
  Corresponds to the field body in the grammar rule constraint.
• ConstraintSentence
  Corresponds to the grammar rule constraint_sentence.
• Definition
  Corresponds to the grammar rule type_def.
• EntityMember
  Corresponds to the inner part of the grammar rule entity_group.
• IdentifierReference
  Corresponds the grammar rule identifier_reference.
• IdentityMemberInner
  Corresponds to the choice component within grammar rule identity_member.
• Import
  Corresponds the grammar rule import.
• ListMember
  Corresponds to the grammar rule name.
• QuantifiedSentence
  Corresponds to the grammar rule quantified_sentence.
• SimpleSentence
  Corresponds to the grammar rule simple_sentence.
• SimpleValue
  Corresponds to the grammar rule simple_value.
• Subject
  Corresponds to the field subject in the grammar rule name.
• Term
  Corresponds to the grammar rule term.
• TypeReference
  Corresponds to the grammar rule type_reference.
• Value
  Corresponds to the grammar rule value.

Constants

• DEFAULT_BY_REFERENCE_CARDINALITY
• DEFAULT_BY_VALUE_CARDINALITY

Traits

• ModelElement
• Named