pub struct FoundationCorrespondence {
pub from: String,
pub to: String,
pub kind: String,
pub condition: String,
pub translation_encodings: Vec<String>,
}Expand description
A recorded relation between two distinct models and the condition under which it holds.
Fields§
§from: StringThe model the correspondence starts from.
to: StringThe model the correspondence leads to.
kind: StringOne of CORRESPONDENCE_KINDS.
condition: StringWhen the two models agree.
translation_encodings: Vec<String>The translation encodings and assumptions this correspondence justifies.
Trait Implementations§
Source§impl Clone for FoundationCorrespondence
impl Clone for FoundationCorrespondence
Source§impl Debug for FoundationCorrespondence
impl Debug for FoundationCorrespondence
Source§impl<'de> Deserialize<'de> for FoundationCorrespondence
impl<'de> Deserialize<'de> for FoundationCorrespondence
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
impl Eq for FoundationCorrespondence
Source§impl PartialEq for FoundationCorrespondence
impl PartialEq for FoundationCorrespondence
impl StructuralPartialEq for FoundationCorrespondence
Auto Trait Implementations§
impl Freeze for FoundationCorrespondence
impl RefUnwindSafe for FoundationCorrespondence
impl Send for FoundationCorrespondence
impl Sync for FoundationCorrespondence
impl Unpin for FoundationCorrespondence
impl UnsafeUnpin for FoundationCorrespondence
impl UnwindSafe for FoundationCorrespondence
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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 more