Struct Attribute

pub struct Attribute<T: Id> { /* private fields */ }

Implementations

impl<T: Id> Attribute<T>

pub fn new<S: Into<String>>( name: S, typ: Type, expr: Option<Expr>, position: Option<Position>, ) -> Self

pub fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

Trait Implementations

impl<T: Clone + Id> Clone for Attribute<T>

fn clone(&self) -> Attribute<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl GetFromId<AttributeId<ClassId>, Attribute<ClassId>> for Class

fn get(&self, id: AttributeId<ClassId>) -> Option<&Attribute<ClassId>>

impl GetFromId<AttributeId<ClassId>, Attribute<ClassId>> for Problem

fn get(&self, id: AttributeId<ClassId>) -> Option<&Attribute<ClassId>>

impl GetFromId<AttributeId<StructureId>, Attribute<StructureId>> for Problem

fn get(&self, id: AttributeId<StructureId>) -> Option<&Attribute<StructureId>>

impl GetFromId<AttributeId<StructureId>, Attribute<StructureId>> for Structure

fn get(&self, id: AttributeId<StructureId>) -> Option<&Attribute<StructureId>>

impl<T: Id> Named<AttributeId<T>> for Attribute<T>

fn id(&self) -> AttributeId<T>

fn set_id(&mut self, id: AttributeId<T>)

fn name(&self) -> &str

fn naming(&self) -> Naming

impl<T: Id> ToLang for Attribute<T>

fn to_lang(&self, problem: &Problem) -> String

impl WithExpr for Attribute<ClassId>

fn expr(&self) -> &Option<Expr>

fn set_expr(&mut self, expr: Option<Expr>)

fn entries(&self) -> Entries

fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

fn resolve_expr( &self, problem: &Problem, entries: &Entries, ) -> Result<Self, Error>

fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error>

fn check_type(&self, problem: &Problem) -> Result<(), Error>

impl WithExpr for Attribute<StructureId>

fn expr(&self) -> &Option<Expr>

fn set_expr(&mut self, expr: Option<Expr>)

fn entries(&self) -> Entries

fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

fn resolve_expr( &self, problem: &Problem, entries: &Entries, ) -> Result<Self, Error>

fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error>

fn check_type(&self, problem: &Problem) -> Result<(), Error>

impl<T: Id> WithPosition for Attribute<T>

fn position(&self) -> &Option<Position>

impl<T: Id> WithType for Attribute<T>

fn typ(&self) -> &Type

fn set_type(&mut self, typ: Type)

fn resolve_type_children(&mut self, _: &TypeEntries) -> Result<(), Error>

fn check_interval_children(&self, _: &Problem) -> Result<(), Error>

fn resolve_type(&mut self, entries: &TypeEntries) -> Result<(), Error>

fn check_interval(&self, problem: &Problem) -> Result<(), Error>