Trait horned_visit::Visit

source · [−]
pub trait Visit<'ast> {

Show 67 methods    fn visit_annotations(&mut self, annotations: &'ast BTreeSet<Annotation>) { ... }

    fn visit_annotated_axiom(&mut self, annotated_axiom: &'ast AnnotatedAxiom) { ... }

    fn visit_annotation(&mut self, annotation: &'ast Annotation) { ... }

    fn visit_annotation_assertion(
        &mut self, 
        annotation_assertion: &'ast AnnotationAssertion
    ) { ... }

    fn visit_annotation_property(
        &mut self, 
        annotation_property: &'ast AnnotationProperty
    ) { ... }

    fn visit_annotation_property_domain(
        &mut self, 
        annotation_property_domain: &'ast AnnotationPropertyDomain
    ) { ... }

    fn visit_annotation_property_range(
        &mut self, 
        annotation_property_range: &'ast AnnotationPropertyRange
    ) { ... }

    fn visit_annotation_subject(
        &mut self, 
        annotation_subject: &'ast AnnotationSubject
    ) { ... }

    fn visit_annotation_value(
        &mut self, 
        annotation_value: &'ast AnnotationValue
    ) { ... }

    fn visit_anonymous_individual(
        &mut self, 
        anonymous_individual: &'ast AnonymousIndividual
    ) { ... }

    fn visit_asymmetric_object_property(
        &mut self, 
        asymmetric_object_property: &'ast AsymmetricObjectProperty
    ) { ... }

    fn visit_axiom(&mut self, axiom: &'ast Axiom) { ... }

    fn visit_class(&mut self, class: &'ast Class) { ... }

    fn visit_class_assertion(&mut self, class_assertion: &'ast ClassAssertion) { ... }

    fn visit_class_expression(
        &mut self, 
        class_expression: &'ast ClassExpression
    ) { ... }

    fn visit_data_property(&mut self, data_property: &'ast DataProperty) { ... }

    fn visit_data_property_assertion(
        &mut self, 
        data_property_assertion: &'ast DataPropertyAssertion
    ) { ... }

    fn visit_data_property_domain(
        &mut self, 
        data_property_domain: &'ast DataPropertyDomain
    ) { ... }

    fn visit_data_property_range(
        &mut self, 
        data_property_range: &'ast DataPropertyRange
    ) { ... }

    fn visit_data_range(&mut self, data_range: &'ast DataRange) { ... }

    fn visit_datatype(&mut self, datatype: &'ast Datatype) { ... }

    fn visit_datatype_definition(
        &mut self, 
        datatype_definition: &'ast DatatypeDefinition
    ) { ... }

    fn visit_declare_annotation_property(
        &mut self, 
        declare_annotation_property: &'ast DeclareAnnotationProperty
    ) { ... }

    fn visit_declare_class(&mut self, declare_class: &'ast DeclareClass) { ... }

    fn visit_declare_datatype(
        &mut self, 
        declare_datatype: &'ast DeclareDatatype
    ) { ... }

    fn visit_declare_data_property(
        &mut self, 
        declare_data_property: &'ast DeclareDataProperty
    ) { ... }

    fn visit_declare_named_individual(
        &mut self, 
        declare_named_individual: &'ast DeclareNamedIndividual
    ) { ... }

    fn visit_declare_object_property(
        &mut self, 
        declare_object_property: &'ast DeclareObjectProperty
    ) { ... }

    fn visit_different_individuals(
        &mut self, 
        different_individuals: &'ast DifferentIndividuals
    ) { ... }

    fn visit_disjoint_classes(
        &mut self, 
        disjoint_classes: &'ast DisjointClasses
    ) { ... }

    fn visit_disjoint_data_properties(
        &mut self, 
        disjoint_data_properties: &'ast DisjointDataProperties
    ) { ... }

    fn visit_disjoint_object_properties(
        &mut self, 
        disjoint_object_properties: &'ast DisjointObjectProperties
    ) { ... }

    fn visit_disjoint_union(&mut self, disjoint_union: &'ast DisjointUnion) { ... }

    fn visit_equivalent_classes(
        &mut self, 
        equivalent_classes: &'ast EquivalentClasses
    ) { ... }

    fn visit_equivalent_data_properties(
        &mut self, 
        equivalent_data_properties: &'ast EquivalentDataProperties
    ) { ... }

    fn visit_equivalent_object_properties(
        &mut self, 
        equivalent_object_properties: &'ast EquivalentObjectProperties
    ) { ... }

    fn visit_facet(&mut self, facet: &'ast Facet) { ... }

    fn visit_facet_restriction(
        &mut self, 
        facet_restriction: &'ast FacetRestriction
    ) { ... }

    fn visit_functional_data_property(
        &mut self, 
        functional_data_property: &'ast FunctionalDataProperty
    ) { ... }

    fn visit_functional_object_property(
        &mut self, 
        functional_object_property: &'ast FunctionalObjectProperty
    ) { ... }

    fn visit_has_key(&mut self, has_key: &'ast HasKey) { ... }

    fn visit_import(&mut self, import: &'ast Import) { ... }

    fn visit_individual(&mut self, individual: &'ast Individual) { ... }

    fn visit_inverse_functional_object_property(
        &mut self, 
        inverse_functional_object_property: &'ast InverseFunctionalObjectProperty
    ) { ... }

    fn visit_inverse_object_properties(
        &mut self, 
        inverse_object_properties: &'ast InverseObjectProperties
    ) { ... }

    fn visit_iri(&mut self, iri: &'ast IRI) { ... }

    fn visit_irreflexive_object_property(
        &mut self, 
        irreflexive_object_property: &'ast IrreflexiveObjectProperty
    ) { ... }

    fn visit_literal(&mut self, literal: &'ast Literal) { ... }

    fn visit_named_individual(
        &mut self, 
        named_individual: &'ast NamedIndividual
    ) { ... }

    fn visit_negative_data_property_assertion(
        &mut self, 
        negative_data_property_assertion: &'ast NegativeDataPropertyAssertion
    ) { ... }

    fn visit_negative_object_property_assertion(
        &mut self, 
        negative_object_property_assertion: &'ast NegativeObjectPropertyAssertion
    ) { ... }

    fn visit_object_property(&mut self, object_property: &'ast ObjectProperty) { ... }

    fn visit_object_property_assertion(
        &mut self, 
        object_property_assertion: &'ast ObjectPropertyAssertion
    ) { ... }

    fn visit_object_property_expression(
        &mut self, 
        object_property_expression: &'ast ObjectPropertyExpression
    ) { ... }

    fn visit_object_property_domain(
        &mut self, 
        object_property_domain: &'ast ObjectPropertyDomain
    ) { ... }

    fn visit_object_property_range(
        &mut self, 
        object_property_range: &'ast ObjectPropertyRange
    ) { ... }

    fn visit_ontology_annotation(
        &mut self, 
        ontology_annotation: &'ast OntologyAnnotation
    ) { ... }

    fn visit_property_expression(
        &mut self, 
        property_expression: &'ast PropertyExpression
    ) { ... }

    fn visit_reflexive_object_property(
        &mut self, 
        reflexive_object_property: &'ast ReflexiveObjectProperty
    ) { ... }

    fn visit_same_individual(&mut self, same_individual: &'ast SameIndividual) { ... }

    fn visit_sub_class_of(&mut self, sub_class_of: &'ast SubClassOf) { ... }

    fn visit_sub_annotation_property_of(
        &mut self, 
        sub_annotation_property_of: &'ast SubAnnotationPropertyOf
    ) { ... }

    fn visit_sub_data_property_of(
        &mut self, 
        sub_data_property_of: &'ast SubDataPropertyOf
    ) { ... }

    fn visit_sub_object_property_expression(
        &mut self, 
        sub_object_property_expression: &'ast SubObjectPropertyExpression
    ) { ... }

    fn visit_sub_object_property_of(
        &mut self, 
        sub_object_property_of: &'ast SubObjectPropertyOf
    ) { ... }

    fn visit_symmetric_object_property(
        &mut self, 
        symmetric_object_property: &'ast SymmetricObjectProperty
    ) { ... }

    fn visit_transitive_object_property(
        &mut self, 
        transitive_object_property: &'ast TransitiveObjectProperty
    ) { ... }

}
Expand description

A trait for visiting the elements of an ontology immutably.

Provided methods

Visit the annotations of an AnnotatedAxiom.

Visit a AnnotatedAxiom.

Visit a Annotation.

Visit a AnnotationAssertion.

Visit a AnnotationProperty.

Visit a AnnotationPropertyDomain.

Visit a AnnotationPropertyRange.

Visit a AnnotationSubject.

Visit a AnnotationValue.

Visit a AnonymousIndividual.

Visit a AsymmetricObjectProperty.

Visit a Axiom.

Visit a Class.

Visit a ClassAssertion.

Visit a ClassExpression.

Visit a DataProperty.

Visit a DataPropertyAssertion.

Visit a DataPropertyDomain.

Visit a DataPropertyRange.

Visit a DataRange.

Visit a Datatype.

Visit a DatatypeDefinition.

Visit a DeclareAnnotationProperty.

Visit a DeclareClass.

Visit a DeclareDatatype.

Visit a DeclareDataProperty.

Visit a DeclareNamedIndividual.

Visit a DeclareObjectProperty.

Visit a DifferentIndividuals.

Visit a DisjointClasses.

Visit a DisjointDataProperties.

Visit a DisjointObjectProperties.

Visit a DisjointUnion.

Visit a EquivalentClasses.

Visit a EquivalentDataProperties.

Visit a EquivalentObjectProperties.

Visit a Facet.

Visit a FacetRestriction.

Visit a FunctionalDataProperty.

Visit a FunctionalObjectProperty.

Visit a HasKey.

Visit a Import.

Visit a Individual.

Visit a InverseFunctionalObjectProperty.

Visit a InverseObjectProperties.

Visit a IRI.

Visit a IrreflexiveObjectProperty.

Visit a Literal.

Visit a NamedIndividual.

Visit a NegativeDataPropertyAssertion.

Visit a NegativeObjectPropertyAssertion.

Visit a ObjectProperty.

Visit a ObjectPropertyAssertion.

Visit a ObjectPropertyExpression.

Visit a ObjectPropertyDomain.

Visit a ObjectPropertyRange.

Visit a OntologyAnnotation.

Visit a PropertyExpression.

Visit a ReflexiveObjectProperty.

Visit a SameIndividual.

Visit a SubClassOf.

Visit a SubAnnotationPropertyOf.

Visit a SubDataPropertyOf.

Visit a SubObjectPropertyExpression.

Visit a SubObjectPropertyOf.

Visit a SymmetricObjectProperty.

Visit a TransitiveObjectProperty.

Implementations on Foreign Types

Implementors