[−][src]Struct prolog_parser::parser::Parser
Methods
impl<'a, R: Read> Parser<'a, R>[src]
pub fn new(
stream: &'a mut ParsingStream<R>,
atom_tbl: TabledData<Atom>,
flags: MachineFlags
) -> Self[src]
stream: &'a mut ParsingStream<R>,
atom_tbl: TabledData<Atom>,
flags: MachineFlags
) -> Self
pub fn line_num(&self) -> usize[src]
pub fn col_num(&self) -> usize[src]
pub fn get_atom_tbl(&self) -> TabledData<Atom>[src]
pub fn set_atom_tbl(&mut self, atom_tbl: TabledData<Atom>)[src]
pub fn devour_whitespace(&mut self) -> Result<(), ParserError>[src]
pub fn reset(&mut self)[src]
pub fn eof(&mut self) -> Result<bool, ParserError>[src]
pub fn read_term(&mut self, op_dir: CompositeOp) -> Result<Term, ParserError>[src]
pub fn read(&mut self, op_dir: CompositeOp) -> Result<Vec<Term>, ParserError>[src]
Auto Trait Implementations
impl<'a, R> !RefUnwindSafe for Parser<'a, R>
impl<'a, R> !Send for Parser<'a, R>
impl<'a, R> !Sync for Parser<'a, R>
impl<'a, R> Unpin for Parser<'a, R>
impl<'a, R> !UnwindSafe for Parser<'a, R>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Az for T[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> CheckedAs for T[src]
fn checked_as<Dst>(self) -> Option<Dst> where
T: CheckedCast<Dst>, [src]
T: CheckedCast<Dst>,
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> OverflowingAs for T[src]
fn overflowing_as<Dst>(self) -> (Dst, bool) where
T: OverflowingCast<Dst>, [src]
T: OverflowingCast<Dst>,
impl<T> SaturatingAs for T[src]
fn saturating_as<Dst>(self) -> Dst where
T: SaturatingCast<Dst>, [src]
T: SaturatingCast<Dst>,
impl<T> StaticAs for T[src]
fn static_as<Dst>(self) -> Option<Dst> where
T: StaticCast<Dst>, [src]
T: StaticCast<Dst>,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> WrappingAs for T[src]
fn wrapping_as<Dst>(self) -> Dst where
T: WrappingCast<Dst>, [src]
T: WrappingCast<Dst>,