Struct prolog_parser::parser::Parser

pub struct Parser<'a, R: Read> { /* fields omitted */ }

Implementations

impl<'a, R: Read> Parser<'a, R>

pub fn new(
    stream: &'a mut ParsingStream<R>,
    atom_tbl: TabledData<Atom>,
    flags: MachineFlags
) -> Self

pub fn line_num(&self) -> usize

pub fn col_num(&self) -> usize

pub fn get_atom_tbl(&self) -> TabledData<Atom>

pub fn set_atom_tbl(&mut self, atom_tbl: TabledData<Atom>)

pub fn devour_whitespace(&mut self) -> Result<(), ParserError>

pub fn reset(&mut self)

pub fn eof(&mut self) -> Result<bool, ParserError>

pub fn read_term(&mut self, op_dir: CompositeOp) -> Result<Term, ParserError>

pub fn read(&mut self, op_dir: CompositeOp) -> Result<Vec<Term>, ParserError>

Trait Implementations

impl<'a, R: Debug + Read> Debug for Parser<'a, R>

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

Formats the value using the given formatter.