Struct biodivine_sketchbook::sketchbook::data_structs::ChangeIdData

pub struct ChangeIdData {
    pub original_id: String,
    pub new_id: String,
    pub metadata: String,
}

Structure for sending data about changes in object’s ID to the frontend.

The structure is “generic” and can handle different id types like VarId or UninterpretedFnId.

Field metadata can be used to carry some additional information (like id of parent component). It is usually empty.

Fields

original_id: String

new_id: String

metadata: String

Implementations

impl ChangeIdData

pub fn new_with_metadata( original_id: &str, new_id: &str, metadata: &str, ) -> ChangeIdData

Create new ChangeIdData object given the two id slices and metadata.

pub fn new(original_id: &str, new_id: &str) -> ChangeIdData

Create new ChangeIdData object given the two id slices. Metadata are empty.

pub fn from_var_id(original_id: &VarId, new_id: &VarId) -> ChangeIdData

Create new ChangeIdData object given variable IDs.

pub fn from_layout_id(original_id: &LayoutId, new_id: &LayoutId) -> ChangeIdData

Create new ChangeIdData object given layout IDs.

pub fn from_fn_id( original_id: &UninterpretedFnId, new_id: &UninterpretedFnId, ) -> ChangeIdData

Create new ChangeIdData object given uninterpreted fn IDs.

Trait Implementations

impl Clone for ChangeIdData

fn clone(&self) -> ChangeIdData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ChangeIdData

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ChangeIdData

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'de> JsonSerde<'de> for ChangeIdData

fn to_json_str(&self) -> String

Wrapper for json serialization.

fn to_pretty_json_str(&self) -> String

Wrapper for pretty json serialization with indentation.

fn from_json_str(s: &'de str) -> Result<Self, String>

Wrapper for json de-serialization.

impl PartialEq for ChangeIdData

fn eq(&self, other: &ChangeIdData) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ChangeIdData

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ChangeIdData