Struct DblModelDiagram

pub struct DblModelDiagram {
    pub diagram: DblModelDiagramBox,
    /* private fields */
}

Wasm binding for a diagram in a model of a double theory.

Fields

diagram: DblModelDiagramBox

The boxed underlying diagram.

Implementations

impl DblModelDiagram

pub fn new(theory: &DblTheory) -> Self

Creates an empty diagram for the given theory.

pub fn add_ob(&mut self, decl: &DiagramObDecl) -> Result<(), String>

Adds an object to the diagram.

pub fn add_mor(&mut self, decl: &DiagramMorDecl) -> Result<(), String>

Adds a morphism to the diagram.

impl DblModelDiagram

pub fn get_dom(&self, id: &QualifiedName) -> Option<Ob>

Gets domain of a morphism generator for the diagram’s indexing model.

pub fn get_cod(&self, id: &QualifiedName) -> Option<Ob>

Gets codomain of a morphism generator for the diagram’s indexing model.

pub fn get_ob_over(&self, id: &QualifiedName) -> Option<Ob>

Gets the object that the given object generator is over.

pub fn get_mor_over(&self, id: &QualifiedName) -> Option<Mor>

Gets the morphism that the given morphism generator is over.

pub fn ob_type(&self, ob: Ob) -> Result<ObType, String>

Gets the object type of an object in the diagram’s indexing model.

pub fn mor_type(&self, mor: Mor) -> Result<MorType, String>

Gets the morphism type of a morphism in the diagram’s indexing model.

pub fn ob_generators(&self) -> Vec<QualifiedName>

Returns the object generators for the diagram’s indexing model.

pub fn mor_generators(&self) -> Vec<QualifiedName>

Returns the morphism generators for the diagram’s indexing model.

pub fn ob_generators_with_type( &self, ob_type: ObType, ) -> Result<Vec<QualifiedName>, String>

Returns the object generators of the given object type.

pub fn mor_generators_with_type( &self, mor_type: MorType, ) -> Result<Vec<QualifiedName>, String>

Returns the morphism generators of the given morphism type.

pub fn ob_generator_label(&self, id: &QualifiedName) -> Option<QualifiedLabel>

Gets the label, if any, for an object generator in the indexing model.

pub fn ob_generator_with_label(&self, label: &QualifiedLabel) -> NameLookup

Gets an object generator with the given label in the indexing model.

pub fn judgments(&self) -> Vec<DiagramJudgment>

Returns array of diagram judgments that would define the diagram.

pub fn infer_missing_from(&mut self, model: &DblModel) -> Result<(), String>

Infers missing data in the diagram from the model, where possible.

pub fn validate_in( &self, model: &DblModel, ) -> Result<ModelDiagramValidationResult, String>

Validates that the diagram is well defined in a model.

Trait Implementations

impl From<DblModelDiagram> for JsValue

fn from(value: DblModelDiagram) -> Self

Converts to this type from the input type.

impl FromWasmAbi for DblModelDiagram

type Abi = u32

The Wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi.

impl IntoWasmAbi for DblModelDiagram

type Abi = u32

The Wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for DblModelDiagram

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRef<DblModelDiagram>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for DblModelDiagram

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for DblModelDiagram

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl RefFromWasmAbi for DblModelDiagram

type Abi = u32

The Wasm ABI type references to Self are recovered from.

type Anchor = RcRef<DblModelDiagram>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don’t persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl RefMutFromWasmAbi for DblModelDiagram

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRefMut<DblModelDiagram>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl TryFromJsValue for DblModelDiagram

type Error = JsValue

The type returned in the event of a conversion error.

fn try_from_js_value(value: JsValue) -> Result<Self, Self::Error>

Performs the conversion.

impl VectorFromWasmAbi for DblModelDiagram

type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[DblModelDiagram]>

impl VectorIntoJsValue for DblModelDiagram

fn vector_into_jsvalue(vector: Box<[DblModelDiagram]>) -> JsValue

impl VectorIntoWasmAbi for DblModelDiagram

type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[DblModelDiagram]>) -> Self::Abi

impl WasmDescribe for DblModelDiagram

fn describe()

impl WasmDescribeVector for DblModelDiagram

fn describe_vector()

impl SupportsConstructor for DblModelDiagram

impl SupportsInstanceProperty for DblModelDiagram

impl SupportsStaticProperty for DblModelDiagram