Struct SemanticAnalyzer 

pub struct SemanticAnalyzer<'t> { /* private fields */ }

A visitor that performs semantic analysis on an AST.

Implementations

impl<'t> SemanticAnalyzer<'t>

pub fn new(text: &'t str) -> SemanticAnalyzer<'t>

Create a new semantic analyzer.

pub fn analyze(&mut self, ast: &Ast) -> Result<(), Errors>

Traverse the given AST and store any errors that occur.

Note that this implementation is a bit weird in that we create the Err variant of the result by hand.

Trait Implementations

impl Visitor for SemanticAnalyzer<'_>

A visitor that performs semantic analysis on an AST.

type Error = ()

An error that might occur when visiting the AST.

type Output = ()

The result of visiting the AST.

fn visit_root(&mut self, root: &Root) -> Result<Self::Output, Self::Error>

This method is called on a root node.

fn visit_condition( &mut self, condition: &Condition, ) -> Result<Self::Output, Self::Error>

This method is called on a condition node.

fn visit_action( &mut self, _action: &Action, ) -> Result<Self::Output, Self::Error>

This method is called on an action node.

fn visit_description( &mut self, _description: &Description, ) -> Result<Self::Output, Self::Error>

This method is called on an action description node.