pub trait Executors: Sync {
// Required methods
fn execute_seq(&self, tst_node: Seq) -> ExecutionResult<'_>;
fn execute_conc(&self, tst_node: Conc) -> ExecutionResult<'_>;
fn execute_move_to(&self, tst_node: MoveTo) -> ExecutionResult<'_>;
fn execute_search_area(&self, tst_node: SearchArea) -> ExecutionResult<'_>;
}
Expand description
Trait representing the executors, used for dispatch
Required Methods§
Sourcefn execute_seq(&self, tst_node: Seq) -> ExecutionResult<'_>
fn execute_seq(&self, tst_node: Seq) -> ExecutionResult<'_>
Execute a sequential action
Sourcefn execute_conc(&self, tst_node: Conc) -> ExecutionResult<'_>
fn execute_conc(&self, tst_node: Conc) -> ExecutionResult<'_>
Execute a concurrent action
Sourcefn execute_move_to(&self, tst_node: MoveTo) -> ExecutionResult<'_>
fn execute_move_to(&self, tst_node: MoveTo) -> ExecutionResult<'_>
Execute a move to action
Sourcefn execute_search_area(&self, tst_node: SearchArea) -> ExecutionResult<'_>
fn execute_search_area(&self, tst_node: SearchArea) -> ExecutionResult<'_>
Execute a search area action