Struct MetadataBuilder 

pub struct MetadataBuilder { /* private fields */ }

Metadata builder for tracking compilation provenance

Implementations

impl MetadataBuilder

pub fn new() -> Self

Create a new metadata builder

pub fn with_source_file(self, file: impl Into<String>) -> Self

Set the current source file

pub fn with_rule_id(self, rule_id: impl Into<String>) -> Self

Set the current rule ID

pub fn fresh_rule_id(&mut self) -> String

Generate a fresh rule ID

pub fn predicate_metadata(&mut self, name: &str, args: &[String]) -> Metadata

Create metadata for a predicate

pub fn logic_op_metadata( &mut self, op_type: &str, operand_count: usize, ) -> Metadata

Create metadata for a logical operation

pub fn quantifier_metadata( &mut self, quantifier_type: &str, var: &str, domain: &str, ) -> Metadata

Create metadata for a quantifier

pub fn from_expr(&mut self, expr: &TLExpr) -> Metadata

Create metadata from TLExpr

Trait Implementations

impl Default for MetadataBuilder

fn default() -> Self

Returns the “default value” for a type.