Struct prolog_parser::parser::Parser [−][src]
pub struct Parser<R> where
R: Read, { /* fields omitted */ }Methods
impl<R: Read> Parser<R>[src]
impl<R: Read> Parser<R>pub fn new(inner: R, atom_tbl: TabledData<Atom>, flags: MachineFlags) -> Self[src]
pub fn new(inner: R, atom_tbl: TabledData<Atom>, flags: MachineFlags) -> Selfpub fn add_to_top(&mut self, head: &str)[src]
pub fn add_to_top(&mut self, head: &str)pub fn reset(&mut self)[src]
pub fn reset(&mut self)pub fn eof(&mut self) -> Result<bool, ParserError>[src]
pub fn eof(&mut self) -> Result<bool, ParserError>pub fn read_term(&mut self, op_dir: CompositeOp) -> Result<Term, ParserError>[src]
pub fn read_term(&mut self, op_dir: CompositeOp) -> Result<Term, ParserError>pub fn read(&mut self, op_dir: CompositeOp) -> Result<Vec<Term>, ParserError>[src]
pub fn read(&mut self, op_dir: CompositeOp) -> Result<Vec<Term>, ParserError>