marlowe_client 0.0.5

HTTP client for the Marlowe Runtime REST API
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

/*
 * Marlowe Runtime REST API
 *
 * REST API for Marlowe Runtime
 *
 * The version of the OpenAPI document: 0.0.5.1
 *
 * Generated by: https://openapi-generator.tech
 */

/// Assert : Check an observation and produce a warning if it is false.

#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
pub struct Assert {
    #[serde(rename = "assert")]
    pub assert: Box<crate::models::Observation>,
    #[serde(rename = "then")]
    pub then: Box<crate::models::Contract>,
}

impl Assert {
    /// Check an observation and produce a warning if it is false.
    pub fn new(assert: crate::models::Observation, then: crate::models::Contract) -> Assert {
        Assert {
            assert: Box::new(assert),
            then: Box::new(then),
        }
    }
}