Trait gdl_parser::visitor::Visitor

pub trait Visitor {
    fn visit_clause(&mut self, _: &mut Clause) { ... }
    fn visit_rule(&mut self, _: &mut Rule) { ... }
    fn visit_sentence(&mut self, _: &mut Sentence) { ... }
    fn visit_proposition(&mut self, _: &mut Proposition) { ... }
    fn visit_relation(&mut self, _: &mut Relation) { ... }
    fn visit_literal(&mut self, _: &mut Literal) { ... }
    fn visit_term(&mut self, _: &mut Term) { ... }
    fn visit_constant(&mut self, _: &mut Constant) { ... }
    fn visit_or(&mut self, _: &mut Or) { ... }
    fn visit_not(&mut self, _: &mut Not) { ... }
    fn visit_distinct(&mut self, _: &mut Distinct) { ... }
    fn visit_variable(&mut self, _: &mut Variable) { ... }
    fn visit_function(&mut self, _: &mut Function) { ... }
}

A visitor for the AST. Each function will get called when that respective AST node is visited

Provided Methods

fn visit_clause(&mut self, _: &mut Clause)

fn visit_rule(&mut self, _: &mut Rule)

fn visit_sentence(&mut self, _: &mut Sentence)

fn visit_proposition(&mut self, _: &mut Proposition)

fn visit_relation(&mut self, _: &mut Relation)

fn visit_literal(&mut self, _: &mut Literal)

fn visit_term(&mut self, _: &mut Term)

fn visit_constant(&mut self, _: &mut Constant)

fn visit_or(&mut self, _: &mut Or)

fn visit_not(&mut self, _: &mut Not)

fn visit_distinct(&mut self, _: &mut Distinct)

fn visit_variable(&mut self, _: &mut Variable)

fn visit_function(&mut self, _: &mut Function)

Implementors