Struct Identifier

pub struct Identifier { /* private fields */ }

A simple identifier (not an expression, not a variable with sections)

Used for names that appear in various contexts:

• Variable names: x, my_var
• Function names: my_function
• Allocator names: omp_default_mem_alloc
• Mapper names: my_mapper
• User-defined reduction operators: my_reduction_op

Learning: Newtype Pattern

This is a “newtype” - a struct with a single field that wraps another type. Why not just use &str directly?

1. Type safety: Can’t accidentally pass an expression where identifier expected
2. Semantic clarity: Code documents intent
3. Future extension: Can add validation, normalization, etc.
4. Zero cost: Compiler optimizes away the wrapper

Example

use roup::ir::Identifier;

let id = Identifier::new("my_var");
assert_eq!(id.name(), "my_var");
assert_eq!(format!("{}", id), "my_var");

Implementations

impl Identifier

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

Create a new identifier

The name is trimmed of whitespace.

Example

use roup::ir::Identifier;

let id = Identifier::new("  my_var  ");
assert_eq!(id.name(), "my_var");

pub fn name(&self) -> &str

Get the identifier name

pub fn as_str(&self) -> &str

Get the identifier as a string slice

Trait Implementations

impl Clone for Identifier

fn clone(&self) -> Identifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Identifier

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

Formats the value using the given formatter.

impl Display for Identifier

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

Formats the value using the given formatter.

impl From<&str> for Identifier

fn from(s: &str) -> 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<Identifier> for Variable

fn from(id: Identifier) -> Self

Converts to this type from the input type.

impl From<String> for Identifier

fn from(s: String) -> Self

Converts to this type from the input type.

impl Hash for Identifier

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Identifier

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

impl StructuralPartialEq for Identifier