pub struct Clr<T>{
pub table: Tabler<T>,
}
Fields§
§table: Tabler<T>
Implementations§
source§impl<T> Clr<T>
impl<T> Clr<T>
pub fn proc_closures_first_row(&mut self)
sourcepub fn proc_actions(&mut self)
pub fn proc_actions(&mut self)
Panics
Never.
pub fn closure(&self, state: State<T>) -> State<T>
pub fn proc_closures(&mut self)
pub fn goto(&self, kernels: &State<T>, sym: &T) -> Option<(State<T>, State<T>)>
sourcepub fn decision(
&self,
entry_point: &T,
pos: &Position<T>,
row: &State<T>
) -> Map<T, Action<T>>
pub fn decision( &self, entry_point: &T, pos: &Position<T>, row: &State<T> ) -> Map<T, Action<T>>
sourcepub fn prop_closure(&self, seed: State<T>) -> State<T>
pub fn prop_closure(&self, seed: State<T>) -> State<T>
Propagates a closure until there’s no more states to generate from it
Following the transitive definition: prop_closure(prop_closure(S))
= prop_closure(S)
, but
S != prop_closure
(S)
Trait Implementations§
source§impl<T> Ord for Clr<T>
impl<T> Ord for Clr<T>
source§impl<T> Parser<T> for Clr<T>
impl<T> Parser<T> for Clr<T>
fn with_table(table: Tabler<T>) -> Self
fn uninit(table: Tabler<T>) -> Self
fn tables(&self) -> &Tabler<T>
fn tables_mut(&mut self) -> &mut Tabler<T>
fn new(grammar: Grammar<T>) -> Selfwhere
Self: Sized,
fn dfa<M, I: Iterator<Item = Token<M, T>>>(
&self,
buffer: I,
maps: ReductMap<M, T>
) -> Dfa<M, T, I>where
M: Clone,
fn simple_dfa<I: IntoIterator<Item = Token<(), T>>>( &self, buffer: I ) -> Dfa<(), T, I::IntoIter>
fn cloned<I: Iterator<Item = Token<T, T>>>(&self) -> ReductMap<T, T>
fn empty<I: Iterator<Item = Token<(), T>>>(&self) -> ReductMap<(), T>
source§fn parse<M, I: IntoIterator<Item = Token<M, T>>>(
&self,
buffer: I,
maps: ReductMap<M, T>
) -> BaseResult<M, Error<T>>where
M: Clone,
fn parse<M, I: IntoIterator<Item = Token<M, T>>>(
&self,
buffer: I,
maps: ReductMap<M, T>
) -> BaseResult<M, Error<T>>where
M: Clone,
Errors Read more
source§fn validate<I: IntoIterator<Item = Token<(), T>>>(&self, buffer: I) -> bool
fn validate<I: IntoIterator<Item = Token<(), T>>>(&self, buffer: I) -> bool
Runs
Parser::parse
and checks by errorssource§fn state_from_kernel(&self, kernel: &State<T>) -> Option<usize>
fn state_from_kernel(&self, kernel: &State<T>) -> Option<usize>
Returns the state’s index generated from that passed kernel
fn final_kernel<'a>(&'a self, kernel: &'a State<T>) -> Option<&'a State<T>>
source§fn merged(states: State<T>) -> State<T>
fn merged(states: State<T>) -> State<T>
Merges positions that contains the same body, but different lookaheads. I.e:
merged({ [S -> C.C; $], [S -> C.C; c]}) = { [S -> C.C; $ c] } Read more
fn reduce_equals(&mut self)
source§impl<T> PartialEq for Clr<T>
impl<T> PartialEq for Clr<T>
source§impl<T> PartialOrd for Clr<T>
impl<T> PartialOrd for Clr<T>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl<T> Eq for Clr<T>
impl<T> StructuralEq for Clr<T>
impl<T> StructuralPartialEq for Clr<T>
Auto Trait Implementations§
impl<T> RefUnwindSafe for Clr<T>where
T: RefUnwindSafe,
impl<T> !Send for Clr<T>
impl<T> !Sync for Clr<T>
impl<T> Unpin for Clr<T>where
T: Unpin,
impl<T> UnwindSafe for Clr<T>where
T: UnwindSafe + RefUnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more