Module model

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

Modules

• annotations
  Provide the Rust types that implement annotation-related components of the SDML Grammar.
• check
  Provides types for model checking.
• constraints
  Provide the Rust types that implement constraint-related components of the SDML Grammar.
• definitions
  Provide the Rust types that implement definition-related components of the SDML Grammar.
• identifiers
  Provide the Rust types that implement identifier-related components of the SDML Grammar.
• members
  Provide the Rust types that implement member-related components of the SDML Grammar.
• modules
  Provide the Rust types that implement module-related components of the SDML Grammar.
• values
  Provide the Rust types that implement value-related components of the SDML Grammar.
• walk
  Provides the capability to walk the in-memory model of an SDML module.

Structs

• Span
  The source location information from the tree-sitter [Node] type. The location is stored as a start and end position, where the positions are byte indices.

Traits

• HasBody
  This trait is implemented by types that have a distinct body type.
• HasName
  This trait is implemented by types that have a unique name.
• HasNameReference
  This trait is implemented by types whose name is derived from a reference.
• HasOptionalBody
  This trait is implemented by types that have a distinct, but optional, body type.
• HasSourceSpan
  This trait is implemented by types that include a source location from which they were parsed.
• Namespace
  This trait is implemented by types that have uniquely named members such as modules and structures.
• References
  This trait is implemented by types to allow for query of references.