Struct DeclareGroup

pub struct DeclareGroup { /* private fields */ }

Implementations

impl DeclareGroup

pub fn new( span: Span, group: GroupIdx, fails: HashMap<usize, DeclareError>, status: DeclareState, ) -> Self

pub fn push_error(&mut self, at: usize, error: DeclareError)

pub fn filter_alive<F, C>(&mut self, filter: F) -> C

where F: FnMut(Branch, Type) -> Result<(Branch, Type), DeclareError>, C: Default + Extend<(Branch, DeclareError)>,

pub fn remove_branch( &mut self, branch: usize, reason: DeclareError, ) -> DeclareError

remove only one branch

note: this method will do nothing if the branch is not exist(including have been remvoed)

pub fn remove_branches<F, R>( &mut self, remove_if: F, reason: R, ) -> Vec<(Branch, DeclareError)>

where F: Fn(Branch, &Type) -> bool, R: FnOnce() -> DeclareError,

Note

the DeclareError generated by reason will be clone many times, so, you should call DeclareError::into_shared to wrapped it in Rc

and, DeclareError::with_previous will be called on DeclareError

pub fn alives<'t, A, T: 't>(&'t self, active: A) -> T

where A: FnOnce(&mut dyn Iterator<Item = (Branch, &'t Type)>) -> T,

pub fn is_declared(&self) -> bool

pub fn result(&self) -> &Type

return declare result

Panic

panic if the group it not declared

pub fn make_error(&self) -> Error

pub fn get_branch(&self, branch: Branch) -> &Type

Panic

panic if the branch is not exist, faild, or isnot belong to this group

Trait Implementations

impl Clone for DeclareGroup

fn clone(&self) -> DeclareGroup

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DeclareGroup

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl WithSpan for DeclareGroup

fn get_span(&self) -> Span

get the location information

fn make_error(&self, reason: impl ToString) -> Error

make an Error at location

fn make_message(&self, reason: impl ToString) -> Message

make an Message at location