Struct TranslationContract 

pub struct TranslationContract {
    pub schema_version: u32,
    pub source: &'static str,
    pub target: &'static str,
    pub support: TranslationSupport,
    pub observation: &'static str,
    pub required_runtime: &'static str,
    pub encoding: &'static str,
    pub assumptions: &'static [&'static str],
    pub obligation: Option<String>,
}

One directed source-to-target translation contract.

Fields

schema_version: u32

Contract schema revision.

source: &'static str

Canonical source language.

target: &'static str

Canonical target language.

support: TranslationSupport

Current support state.

observation: &'static str

Observable behavior currently represented.

required_runtime: &'static str

Runtime required to validate target artifacts.

encoding: &'static str

Registered non-native encoding, if any.

assumptions: &'static [&'static str]

Assumptions made by the translation.

obligation: Option<String>

Precise reason translation cannot proceed.

Trait Implementations

impl Clone for TranslationContract

fn clone(&self) -> TranslationContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TranslationContract

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

Formats the value using the given formatter.

impl Eq for TranslationContract

impl PartialEq for TranslationContract

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TranslationContract