Trait QuerySpec

Source

pub trait QuerySpec<'query> {
    // Required methods
    fn states(&self) -> &[Transition<'query>];
    fn queries(&self) -> &[QuerySection<'query>];
    fn exit_at_section_end(&self) -> Option<usize>;

    // Provided methods
    fn get_transition(&self, state: usize) -> &Transition<'query> { ... }
    fn get_section_selection_kind(&self, section_index: usize) -> SelectionKind { ... }
    fn get_selection(&self, section_index: usize) -> &QuerySection<'query> { ... }
    fn is_descendant(&self, state: usize) -> bool { ... }
    fn is_save_point(&self, position: &Position) -> bool { ... }
    fn is_last_save_point(&self, position: &Position) -> bool { ... }
}