pub struct DiagramObDecl {
pub id: Uuid,
pub ob_type: ObType,
pub over: Option<Ob>,
}
Expand description
Declares an object of a diagram in a model.
Fields§
§id: Uuid
Globally unique identifier of object.
ob_type: ObType
The object’s type in the double theory.
over: Option<Ob>
Object in the model that this object is over, if defined.
Trait Implementations§
Source§impl<'de> Deserialize<'de> for DiagramObDecl
impl<'de> Deserialize<'de> for DiagramObDecl
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl From<DiagramObDecl> for JsValuewhere
DiagramObDecl: Serialize,
impl From<DiagramObDecl> for JsValuewhere
DiagramObDecl: Serialize,
Source§fn from(value: DiagramObDecl) -> Self
fn from(value: DiagramObDecl) -> Self
Converts to this type from the input type.
Source§impl FromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
impl FromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
Source§impl IntoWasmAbi for DiagramObDeclwhere
DiagramObDecl: Serialize,
impl IntoWasmAbi for DiagramObDeclwhere
DiagramObDecl: Serialize,
Source§impl OptionFromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
impl OptionFromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
Source§impl OptionIntoWasmAbi for DiagramObDeclwhere
DiagramObDecl: Serialize,
impl OptionIntoWasmAbi for DiagramObDeclwhere
DiagramObDecl: Serialize,
Source§impl RefFromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
impl RefFromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
Source§type Abi = <JsType as RefFromWasmAbi>::Abi
type Abi = <JsType as RefFromWasmAbi>::Abi
The Wasm ABI type references to
Self
are recovered from.Source§type Anchor = SelfOwner<DiagramObDecl>
type Anchor = SelfOwner<DiagramObDecl>
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.Source§impl Serialize for DiagramObDecl
impl Serialize for DiagramObDecl
Source§impl Tsify for DiagramObDecl
impl Tsify for DiagramObDecl
const DECL: &'static str = "/**\n * Declares an object of a diagram in a model.\n */\nexport interface DiagramObDecl {\n /**\n * Globally unique identifier of object.\n */\n id: Uuid;\n /**\n * The object\\\'s type in the double theory.\n */\n obType: ObType;\n /**\n * Object in the model that this object is over, if defined.\n */\n over: Ob | null;\n}"
const SERIALIZATION_CONFIG: SerializationConfig
type JsType = JsType
fn into_js(&self) -> Result<Self::JsType, Error>where
Self: Serialize,
fn from_js<T>(js: T) -> Result<Self, Error>
Source§impl VectorFromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
impl VectorFromWasmAbi for DiagramObDeclwhere
Self: DeserializeOwned,
type Abi = <JsType as VectorFromWasmAbi>::Abi
unsafe fn vector_from_abi(js: Self::Abi) -> Box<[Self]>
Source§impl VectorIntoWasmAbi for DiagramObDeclwhere
DiagramObDecl: Serialize,
impl VectorIntoWasmAbi for DiagramObDeclwhere
DiagramObDecl: Serialize,
type Abi = <JsType as VectorIntoWasmAbi>::Abi
fn vector_into_abi(vector: Box<[Self]>) -> Self::Abi
Source§impl WasmDescribeVector for DiagramObDecl
impl WasmDescribeVector for DiagramObDecl
Auto Trait Implementations§
impl Freeze for DiagramObDecl
impl RefUnwindSafe for DiagramObDecl
impl Send for DiagramObDecl
impl Sync for DiagramObDecl
impl Unpin for DiagramObDecl
impl UnwindSafe for DiagramObDecl
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
Source§type Abi = <T as IntoWasmAbi>::Abi
type Abi = <T as IntoWasmAbi>::Abi
Same as
IntoWasmAbi::Abi
Source§fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
Same as
IntoWasmAbi::into_abi
, except that it may throw and never
return in the case of Err
.§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.