Module pest_conv 

Semantic converter: pest Pairs<Rule> → ContractExpr / NumericPredicate.

This is the phase-2 counterpart to pest_grammar.rs: it turns the parse tree produced by the pest grammar into the contract AST (types.rs).

Places (fields, projections) are bridged through the place.rs / resolve.rs helpers via a syn round-trip, since resolving a field name to a Ty still needs the rustc type context. The arithmetic / call / if / constant layers are converted directly from the pest tree.

Functions

conv_additive 🔒

conv_arg_expr 🔒

conv_base 🔒

Convert a not_is_empty base (self / return / Arg_N / ident) into a place expression.

conv_bit_and 🔒

conv_bit_or 🔒

conv_bit_xor 🔒

conv_call 🔒

conv_const_path 🔒

conv_expr 🔒

conv_if 🔒

conv_left_assoc 🔒

conv_multiplicative 🔒

conv_place_bridge 🔒

Bridge a place through the existing syn-based parser (handles field projections, unwrap_some, iter, and x.len sugar uniformly).

conv_predicate 🔒

conv_primary 🔒

conv_size_of_call 🔒

Convert size_of::<T>() / align_of::<T>() (optionally std::mem:: / core::mem:: prefixed) into SizeOf / AlignOf.

conv_unary 🔒

only_child 🔒

op_from_str 🔒

parse_expr_pest

Parse a numeric expression (no comparison) into a ContractExpr.

parse_predicate_pest

Parse a predicate (comparison / !x.is_empty() / bare expr) into a NumericPredicate.

relop_from_str 🔒