Struct Parser 

pub struct Parser<'a> { /* private fields */ }

Parser state wrapping a token slice with a cursor.

Implementations

impl<'a> Parser<'a>

pub fn parse_constraints_block(&mut self) -> Result<Vec<Constraint>, ParseError>

Parse a constraints { ... } block.

impl<'a> Parser<'a>

pub fn parse_variables_block(&mut self) -> Result<Vec<VarDecl>, ParseError>

Parse a variables { ... } block.

pub fn parse_ident_list(&mut self) -> Result<Vec<String>, ParseError>

Parse a comma-separated list of identifiers (at least one).

impl<'a> Parser<'a>

pub fn parse_domains_block(&mut self) -> Result<Vec<DomainStmt>, ParseError>

Parse a domains { ... } block.

impl<'a> Parser<'a>

pub fn parse_expr(&mut self) -> Result<Expr, ParseError>

Parse an expression.

impl<'a> Parser<'a>

pub fn new(tokens: &'a [Token]) -> Self

Create a new parser over the given token slice.

pub fn peek_kind(&self) -> Option<TokenKind>

Peek at the current token’s kind without consuming it.

pub fn advance(&mut self)

Advance the cursor by one token.

pub fn current_span(&self) -> Span

Get the span of the current token (or a default EOF span).

pub fn is_eof(&self) -> bool

Return true if there are no more tokens.

pub fn expect_token(&mut self, expected: TokenKind) -> Result<(), ParseError>

Expect and consume a specific token kind.

pub fn expect_ident(&mut self) -> Result<String, ParseError>

Expect and consume an identifier, returning its name.

pub fn expect_ident_matching( &mut self, expected: &str, ) -> Result<(), ParseError>

Expect and consume a specific identifier.

pub fn expect_number(&mut self) -> Result<i64, ParseError>

Expect and consume a number literal.