Enum ClauseItem

pub enum ClauseItem {
    Identifier(Identifier),
    Variable(Variable),
    Expression(Expression),
}

Item that can appear in a clause list

Many OpenMP clauses accept lists of items that can be:

• Simple identifiers: private(x, y, z)
• Variables with array sections: map(to: arr[0:N])
• Expressions: if(n > 100)

Examples

// Simple identifier
let item = ClauseItem::Identifier(Identifier::new("x"));
assert_eq!(item.to_string(), "x");

// Variable with array section
let var = Variable::new("arr");
let item = ClauseItem::Variable(var);
assert_eq!(item.to_string(), "arr");

// Expression
let config = ParserConfig::default();
let expr = Expression::new("n > 100", &config);
let item = ClauseItem::Expression(expr);
assert_eq!(item.to_string(), "n > 100");

Learning: Enums with Data

Unlike the modifier enums (which are just unit variants), ClauseItem is an enum where each variant contains data:

enum ClauseItem {
    Identifier(Identifier),  // Contains an Identifier
    Variable(Variable),       // Contains a Variable
    Expression(Expression),   // Contains an Expression
}

This is like a tagged union in C, but type-safe.

Variants

Identifier(Identifier)

Simple identifier (e.g., x in private(x))

Variable(Variable)

Variable with optional array sections (e.g., arr[0:N] in map(to: arr[0:N]))

Expression(Expression)

Expression (e.g., n > 100 in if(n > 100))

Trait Implementations

impl Clone for ClauseItem

fn clone(&self) -> ClauseItem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClauseItem

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

Formats the value using the given formatter.

impl Display for ClauseItem

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

Formats the value using the given formatter.

impl From<Expression> for ClauseItem

fn from(expr: Expression) -> Self

Converts to this type from the input type.

impl From<Identifier> for ClauseItem

fn from(id: Identifier) -> Self

Converts to this type from the input type.

impl From<Variable> for ClauseItem

fn from(var: Variable) -> Self

Converts to this type from the input type.

impl PartialEq for ClauseItem

fn eq(&self, other: &ClauseItem) -> 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 StructuralPartialEq for ClauseItem