rapx 0.7.35

A static analysis platform for Rust program analysis and verification
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! pest parser for the contract DSL.
//!
//! The grammar (`grammar.pest`) is the single source of truth for the
//! contract-DSL surface.  This module only wires the derived parser; the
//! semantic conversion (`Pairs<Rule>` → `ContractExpr` / `Property`) lives in
//! `pest_conv.rs`.

use pest_derive::Parser;

/// Parser derived from `grammar.pest`.
#[derive(Parser)]
#[grammar = "verify/contract/grammar.pest"]
pub struct ContractParser;