Chart

gf_core

Struct Chart 

Source 
pub struct Chart {
    pub forest: HashMap<FId, Vec<Production>>,
    pub next_id: FId,
    pub offset: usize,
    /* private fields */
}
Expand description

Chart for parsing.

Manages active and passive items during chart parsing.

Fields§

§forest: HashMap<FId, Vec<Production>>

Forest of productions.

§next_id: FId

Next ID.

§offset: usize

Current offset.

Implementations§

Source§

impl Chart

Source

pub fn new(concrete: GFConcrete) -> Self

Creates a new chart from concrete.

Initializes the forest with productions from the concrete grammar.

§Arguments
  • concrete - The concrete grammar.
Source

pub fn lookup_ac(&self, fid: FId, label: i32) -> Option<&Vec<ActiveItem>>

Looks up active items.

§Arguments
  • fid - FId.
  • label - Label.
§Returns

Optional reference to vector of active items.

Source

pub fn lookup_aco( &self, offset: usize, fid: FId, label: i32, ) -> Option<&Vec<ActiveItem>>

Looks up active items by offset.

§Arguments
  • offset - Offset.
  • fid - FId.
  • label - Label.
§Returns

Optional reference to vector of active items.

Source

pub fn labels_ac(&self, fid: FId) -> Option<Vec<i32>>

Gets labels for active FId.

§Arguments
  • fid - FId.
§Returns

Optional vector of labels.

Source

pub fn insert_ac(&mut self, fid: FId, label: i32, items: Vec<ActiveItem>)

Inserts active items.

§Arguments
  • fid - FId.
  • label - Label.
  • items - Vector of active items.
Source

pub fn lookup_pc(&self, fid: FId, label: i32, offset: usize) -> Option<FId>

Looks up passive FId.

§Arguments
  • fid - FId.
  • label - Label.
  • offset - Offset.
§Returns

Optional FId.

Source

pub fn insert_pc(&mut self, fid: FId, label: i32, offset: usize, fid2: FId)

Inserts passive FId.

§Arguments
  • fid - FId.
  • label - Label.
  • offset - Offset.
  • fid2 - FId to insert.
Source

pub fn shift(&mut self)

Shifts the chart to next offset.

Moves current active to actives and clears current active and passive.

Source

pub fn expand_forest(&self, fid: FId) -> Vec<Production>

Expands forest for FId.

Recursively expands coercions to get all applicable productions.

§Arguments
  • fid - FId.
§Returns

Vector of productions.

Trait Implementations§

Source§

impl Clone for Chart

Source§

fn clone(&self) -> Chart

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Chart

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl Freeze for Chart

§

impl RefUnwindSafe for Chart

§

impl Send for Chart

§

impl Sync for Chart

§

impl Unpin for Chart

§

impl UnwindSafe for Chart

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.