Struct RuleCall 

pub struct RuleCall {
    pub name: String,
    pub args: Vec<Expr>,
}

A reference to a production rule, optionally carrying call arguments.

Every successor position in the grammar — bare rule ops, split slots, Comp / Offset / Roof / Attach cases, occlusion conditionals — is a RuleCall. Arguments are expressions evaluated in the calling shape’s context at push time; the callee binds the resulting values to its declared parameter names (see Interpreter::add_rule_def).

Spire(4)                       // bare call with one argument
Split(Y) { 3: Base | ~1: Tier(depth + 1) }

Fields

name: String

args: Vec<Expr>

Call arguments; empty for plain references. Skipped in serde when empty so pre-0.3 serialized ops round-trip unchanged.

Implementations

impl RuleCall

pub fn new(name: impl Into<String>) -> Self

Plain, argument-less reference.

pub fn with_args(name: impl Into<String>, args: Vec<Expr>) -> Self

Reference with call arguments.

Trait Implementations

impl Clone for RuleCall

fn clone(&self) -> RuleCall

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RuleCall

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuleCall

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&str> for RuleCall

fn from(name: &str) -> Self

Converts to this type from the input type.

impl From<String> for RuleCall

fn from(name: String) -> Self

Converts to this type from the input type.

impl PartialEq for RuleCall

fn eq(&self, other: &RuleCall) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialEq<&str> for RuleCall

Argument-less calls compare equal to their bare name — keeps assertions and look-ups terse (assert_eq!(slot.rule, "Floor")). A call with arguments never equals a bare name.

fn eq(&self, other: &&str) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialEq<str> for RuleCall

fn eq(&self, other: &str) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for RuleCall

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RuleCall