Trait zamm_yang::tao::ImplementExtension

pub trait ImplementExtension: FormTrait {
    pub fn set_target(&mut self, target: Form) { ... }
    pub fn target(&self) -> Option<Form> { ... }
    pub fn set_implementation_id(&mut self, id: usize) { ... }
    pub fn implementation_id(&self) -> Option<Rc<usize>> { ... }
    pub fn document(&mut self, document: &str) { ... }
    pub fn documentation(&self) -> Option<Rc<str>> { ... }
}

Extension functions for Implement concept.

Provided methods

pub fn set_target(&mut self, target: Form)

Set another concept as an implementation target.

pub fn target(&self) -> Option<Form>

Retrieve implementation target.

pub fn set_implementation_id(&mut self, id: usize)

Set concept ID during code generation time, as opposed to the concept's currently assigned runtime ID.

pub fn implementation_id(&self) -> Option<Rc<usize>>

Get concept ID set for code generation time, as opposed to the concept's currently assigned runtime ID.

pub fn document(&mut self, document: &str)

Set the documentation string for this implementation.

pub fn documentation(&self) -> Option<Rc<str>>

Get the documentation string for this implementation.

Loading content...

Implementors

impl ImplementExtension for Implement

Loading content...