Trait Representation

pub trait Representation:
    Send
    + Sync
    + Debug {
    // Required methods
    fn init(name: &Name, symtab: &SymbolTable) -> Option<Self>
       where Self: Sized;
    fn variable_name(&self) -> &Name;
    fn value_down(
        &self,
        value: Literal,
    ) -> Result<BTreeMap<Name, Literal>, ApplicationError>;
    fn value_up(
        &self,
        values: &BTreeMap<Name, Literal>,
    ) -> Result<Literal, ApplicationError>;
    fn expression_down(
        &self,
        symtab: &SymbolTable,
    ) -> Result<BTreeMap<Name, Expression>, ApplicationError>;
    fn declaration_down(&self) -> Result<Vec<Declaration>, ApplicationError>;
    fn repr_name(&self) -> &str;
    fn box_clone(&self) -> Box<dyn Representation>;
}

Required Methods

fn init(name: &Name, symtab: &SymbolTable) -> Option<Self>

where Self: Sized,

Creates a representation object for the given name.

fn variable_name(&self) -> &Name

The variable being represented.

fn value_down( &self, value: Literal, ) -> Result<BTreeMap<Name, Literal>, ApplicationError>

Given an assignment for self, creates assignments for its representation variables.

fn value_up( &self, values: &BTreeMap<Name, Literal>, ) -> Result<Literal, ApplicationError>

Given assignments for its representation variables, creates an assignment for self.

fn expression_down( &self, symtab: &SymbolTable, ) -> Result<BTreeMap<Name, Expression>, ApplicationError>

Returns Expressions representing each representation variable.

fn declaration_down(&self) -> Result<Vec<Declaration>, ApplicationError>

Creates Declarations for the representation variables of self.

fn repr_name(&self) -> &str

The rule name for this representaion.

fn box_clone(&self) -> Box<dyn Representation>

Makes a clone of self into a Representation trait object.

Trait Implementations

impl Clone for Box<dyn Representation>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

Implementors