Struct ProjectionRewrite 

pub struct ProjectionRewrite {
    pub ctor_name: String,
    pub projector_name: String,
    pub field_index: u32,
}

A projection normalization rewrite: projector applied to constructor.

Fields

ctor_name: String

projector_name: String

field_index: u32

Implementations

impl ProjectionRewrite

pub fn new( ctor_name: impl Into<String>, projector_name: impl Into<String>, field_index: u32, ) -> Self

Create a projection rewrite.

pub fn as_rule(&self) -> String

Format as a rewrite rule string.

Trait Implementations

impl Clone for ProjectionRewrite

fn clone(&self) -> ProjectionRewrite

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectionRewrite

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

Formats the value using the given formatter.