pub struct Parser { /* private fields */ }
Implementations§
source§impl Parser
impl Parser
pub fn new(input: &str) -> Self
pub fn parse_stmt_assert(&mut self) -> Result<Term, Error>
pub fn parse_stmt_assign(&mut self) -> Result<Term, Error>
pub fn parse_stmt_fail(&mut self) -> Result<Term, Error>
pub fn parse_stmt_stop(&mut self) -> Result<Term, Error>
pub fn parse_stmt_goto(&mut self) -> Result<Term, Error>
pub fn parse_stmt_if(&mut self) -> Result<Term, Error>
pub fn parse_stmt_label(&mut self) -> Result<Term, Error>
pub fn parse_stmt_revert(&mut self) -> Result<Term, Error>
pub fn parse_stmt_succeed(&mut self) -> Result<Term, Error>
pub fn parse_expr(&mut self) -> Result<Term, Error>
sourcepub fn parse_expr_binary(&mut self, level: usize) -> Result<Term, Error>
pub fn parse_expr_binary(&mut self, level: usize) -> Result<Term, Error>
Parse a binary expression at a given level. Higher levels
indicate expressions which bind less tightly. Furthermore,
level 0
corresponds simply to parsing a unary expression.