Trait sdml_core::model::walk::SimpleModuleWalker

pub trait SimpleModuleWalker {
    // Provided methods
    fn start_module(
        &mut self,
        _name: &Identifier,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn import(
        &mut self,
        _imported: &[Import],
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn annotation_property(
        &mut self,
        _name: &IdentifierReference,
        _value: &Value,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn informal_constraint(
        &mut self,
        _name: &Identifier,
        _value: &str,
        _language: Option<&ControlledLanguageTag>,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn formal_constraint<'a>(
        &'a mut self,
        _name: &Identifier,
        _environment: &impl Iterator<Item = &'a EnvironmentDef>,
        _body: &ConstraintSentence,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_datatype(
        &mut self,
        _name: &Identifier,
        _is_opaque: bool,
        _base_type: &IdentifierReference,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_datatype(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn start_entity(
        &mut self,
        _name: &Identifier,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_entity_identity(
        &mut self,
        _name: &Identifier,
        _target_type: &TypeReference,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_entity_identity_role_ref(
        &mut self,
        _role_name: &Identifier,
        _in_property: &IdentifierReference,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_member(
        &mut self,
        _name: &Identifier,
        _inverse_name: Option<&Identifier>,
        _target_cardinality: &Cardinality,
        _target_type: &TypeReference,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_member_role_ref(
        &mut self,
        _role_name: &Identifier,
        _in_property: &IdentifierReference,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_member(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn end_entity(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn start_enum(
        &mut self,
        _name: &Identifier,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_value_variant(
        &mut self,
        _identifier: &Identifier,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_value_variant(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn end_enum(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn start_event(
        &mut self,
        _name: &Identifier,
        _source: &IdentifierReference,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_event(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn start_property(
        &mut self,
        _name: &Identifier,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_identity_role(
        &mut self,
        _name: &Identifier,
        _target_type: &TypeReference,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_member_role(
        &mut self,
        _name: &Identifier,
        _inverse_name: Option<&Identifier>,
        _target_cardinality: &Cardinality,
        _target_type: &TypeReference,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_property_role(
        &mut self,
        _name: &Identifier,
        _has_body: bool,
    ) -> Result<(), Error> { ... }
    fn end_property(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn start_structure(
        &mut self,
        _name: &Identifier,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_structure(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn start_rdf(
        &mut self,
        _name: &Identifier,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_rdf(&mut self, _name: &Identifier) -> Result<(), Error> { ... }
    fn start_union(
        &mut self,
        _name: &Identifier,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn start_type_variant(
        &mut self,
        _identifier: &IdentifierReference,
        _rename: Option<&Identifier>,
        _has_body: bool,
        _span: Option<&Span>,
    ) -> Result<(), Error> { ... }
    fn end_type_variant(
        &mut self,
        _name: &IdentifierReference,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn end_union(
        &mut self,
        _name: &Identifier,
        _had_body: bool,
    ) -> Result<(), Error> { ... }
    fn end_module(&mut self, _name: &Identifier) -> Result<(), Error> { ... }
}

The trait that captures the callbacks that walk_module_simple uses as it traverses the module.

Provided Methods

fn start_module( &mut self, _name: &Identifier, _span: Option<&Span>, ) -> Result<(), Error>

fn import( &mut self, _imported: &[Import], _span: Option<&Span>, ) -> Result<(), Error>

fn annotation_property( &mut self, _name: &IdentifierReference, _value: &Value, _span: Option<&Span>, ) -> Result<(), Error>

fn informal_constraint( &mut self, _name: &Identifier, _value: &str, _language: Option<&ControlledLanguageTag>, _span: Option<&Span>, ) -> Result<(), Error>

fn formal_constraint<'a>( &'a mut self, _name: &Identifier, _environment: &impl Iterator<Item = &'a EnvironmentDef>, _body: &ConstraintSentence, _span: Option<&Span>, ) -> Result<(), Error>

fn start_datatype( &mut self, _name: &Identifier, _is_opaque: bool, _base_type: &IdentifierReference, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn end_datatype( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn start_entity( &mut self, _name: &Identifier, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn start_entity_identity( &mut self, _name: &Identifier, _target_type: &TypeReference, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn start_entity_identity_role_ref( &mut self, _role_name: &Identifier, _in_property: &IdentifierReference, _span: Option<&Span>, ) -> Result<(), Error>

fn start_member( &mut self, _name: &Identifier, _inverse_name: Option<&Identifier>, _target_cardinality: &Cardinality, _target_type: &TypeReference, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn start_member_role_ref( &mut self, _role_name: &Identifier, _in_property: &IdentifierReference, _span: Option<&Span>, ) -> Result<(), Error>

fn end_member( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn end_entity( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn start_enum( &mut self, _name: &Identifier, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn start_value_variant( &mut self, _identifier: &Identifier, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn end_value_variant( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn end_enum(&mut self, _name: &Identifier, _had_body: bool) -> Result<(), Error>

fn start_event( &mut self, _name: &Identifier, _source: &IdentifierReference, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn end_event( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn start_property( &mut self, _name: &Identifier, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn start_identity_role( &mut self, _name: &Identifier, _target_type: &TypeReference, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn start_member_role( &mut self, _name: &Identifier, _inverse_name: Option<&Identifier>, _target_cardinality: &Cardinality, _target_type: &TypeReference, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn end_property_role( &mut self, _name: &Identifier, _has_body: bool, ) -> Result<(), Error>

fn end_property( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn start_structure( &mut self, _name: &Identifier, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn end_structure( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn start_rdf( &mut self, _name: &Identifier, _span: Option<&Span>, ) -> Result<(), Error>

fn end_rdf(&mut self, _name: &Identifier) -> Result<(), Error>

fn start_union( &mut self, _name: &Identifier, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn start_type_variant( &mut self, _identifier: &IdentifierReference, _rename: Option<&Identifier>, _has_body: bool, _span: Option<&Span>, ) -> Result<(), Error>

fn end_type_variant( &mut self, _name: &IdentifierReference, _had_body: bool, ) -> Result<(), Error>

fn end_union( &mut self, _name: &Identifier, _had_body: bool, ) -> Result<(), Error>

fn end_module(&mut self, _name: &Identifier) -> Result<(), Error>

Object Safety

This trait is not object safe.

Implementors