Skip to main content

Action

Enum Action 

Source
pub enum Action<'g> {
    Shift(StateIndex),
    Reduce(Rule<'g>),
    Halt,
}
Expand description

An LR action.

Variants§

§

Shift(StateIndex)

Shift the next symbol from the input stream onto the stack. Then enter the give state.

Shift is also used to represent a GOTO transition.

§

Reduce(Rule<'g>)

Use the given rule to reduce. This pops elements off the stack equal to the number of symbols on the right hand side. These become the children of the parse tree with the left hand side being the root.

Conceptually, this pushes the nonterminal back into the input stream. This will always be followed by applying a Shift action to remove the nonterminal that was just generated off of input stream and back onto the stack.

§

Halt

The machine successfully consumed the start rule. If there is no more input remaining, the parse was successful.

Trait Implementations§

Source§

impl<'g> Clone for Action<'g>

Source§

fn clone(&self) -> Action<'g>

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<'g> Debug for Action<'g>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'g> PartialEq for Action<'g>

Source§

fn eq(&self, other: &Action<'g>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<'g> Copy for Action<'g>

Source§

impl<'g> Eq for Action<'g>

Source§

impl<'g> StructuralPartialEq for Action<'g>

Auto Trait Implementations§

§

impl<'g> Freeze for Action<'g>

§

impl<'g> RefUnwindSafe for Action<'g>

§

impl<'g> Send for Action<'g>

§

impl<'g> Sync for Action<'g>

§

impl<'g> Unpin for Action<'g>

§

impl<'g> UnsafeUnpin for Action<'g>

§

impl<'g> UnwindSafe for Action<'g>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.