Enum CommandArg 

pub enum CommandArg {
    Number(String),
    Boolean(String),
    Text(String),
    Label(String),
}

A parsed constraint command argument, preserving the literal kind from the grammar rule command_arg: { number_literal | boolean_literal | text_literal | label }.

The parser sets the variant based on which grammar alternative matched. This information is used by:

• Planning to validate that argument literal kinds match the expected type (e.g. reject a Text literal where a Number is required).
• Formatting to emit correct Lemma syntax (quote Text, emit others as-is).

Variants

Number(String)

Matched number_literal (e.g. 10, 3.14)

Boolean(String)

Matched boolean_literal (e.g. true, false, yes, no, accept, reject)

Text(String)

Matched text_literal (e.g. "hello") — stores the content between quotes, without surrounding quote characters.

Label(String)

Matched label (an identifier: eur, kilogram, hours)

Implementations

impl CommandArg

pub fn value(&self) -> &str

Returns the inner string value regardless of which literal kind was parsed.

Use this when you need the raw string content for further processing (e.g. .parse::<Decimal>()) but do not need to distinguish the literal kind.

Trait Implementations

impl Clone for CommandArg

fn clone(&self) -> CommandArg

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommandArg

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CommandArg

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for CommandArg

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

Formats the value using the given formatter.

impl PartialEq for CommandArg

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CommandArg

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 CommandArg