Struct ModalityParser 

pub struct ModalityParser {}

Implementations

impl ModalityParser

pub fn new() -> ModalityParser

pub fn parse_model(&self, content: &str) -> Result<JsValue, JsValue>

Parse a model from a string

pub fn parse_all_models(&self, content: &str) -> Result<JsValue, JsValue>

Parse all models from a string

pub fn generate_mermaid(&self, model_json: &str) -> Result<String, JsValue>

Generate Mermaid diagram from a model JSON string

pub fn generate_mermaid_styled( &self, model_json: &str, ) -> Result<String, JsValue>

Generate Mermaid diagram with styling from a model JSON string

pub fn generate_mermaid_with_state( &self, model_json: &str, ) -> Result<String, JsValue>

Generate Mermaid diagram with current state highlighting from a model JSON string

pub fn parse_formulas(&self, content: &str) -> Result<JsValue, JsValue>

Parse formulas from a string

pub fn check_formula( &self, model_json: &str, formula_json: &str, ) -> Result<JsValue, JsValue>

Check a formula against a model (per-graph requirement)

pub fn check_formula_any_state( &self, model_json: &str, formula_json: &str, ) -> Result<JsValue, JsValue>

Check a formula against a model (any-state requirement)

Trait Implementations

impl From<ModalityParser> for JsValue

fn from(value: ModalityParser) -> Self

Converts to this type from the input type.

impl FromWasmAbi for ModalityParser

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 ModalityParser

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 ModalityParser

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRef<ModalityParser>

Same as RefFromWasmAbi::Anchor

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

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for ModalityParser

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 ModalityParser

fn none() -> Self::Abi

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

impl RefFromWasmAbi for ModalityParser

type Abi = u32

The Wasm ABI type references to Self are recovered from.

type Anchor = RcRef<ModalityParser>

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 ModalityParser

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRefMut<ModalityParser>

Same as RefFromWasmAbi::Anchor

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

Same as RefFromWasmAbi::ref_from_abi

impl TryFromJsValue for ModalityParser

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

Performs the conversion.

fn try_from_js_value_ref(value: &JsValue) -> Option<Self>

Performs the conversion.

impl VectorFromWasmAbi for ModalityParser

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

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

impl VectorIntoWasmAbi for ModalityParser

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

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

impl WasmDescribe for ModalityParser

fn describe()

impl WasmDescribeVector for ModalityParser

fn describe_vector()

impl SupportsConstructor for ModalityParser

impl SupportsInstanceProperty for ModalityParser

impl SupportsStaticProperty for ModalityParser