openehr-lang 0.0.128

openEHR LANG BMM/P_BMM object model, generated from BMM: generations v1_0 (LANG 1.0.0) and v1_1 (LANG 1.1.0, current; the stable BMM v2.x unit beside the paused BMM3 unit), plus hand-written ODIN/BEL/EL readers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// @generated by openehr-codegen from BMM (`BMM_ASSERTION`) — DO NOT EDIT.
// SPDX-FileCopyrightText: Cadasto B.V.
// SPDX-FileCopyrightText: openEHR Foundation
// SPDX-License-Identifier: Apache-2.0

//! The openEHR `BMM_ASSERTION` spec class, generated from the vendored BMM
//! meta-model.

use crate::v1_1::bmm3::expression::el_boolean_expression::ElBooleanExpression;

/// A statement that asserts the truth of its expression. If the expression evaluates to False the execution generates an exception (depending on run-time settings).
///
/// May be rendered in syntax as `assert condition` or similar.
#[doc(alias = "BMM_ASSERTION")]
#[derive(Debug, Clone, PartialEq)]
pub struct BmmAssertion {
    /// Boolean-valued expression of the assertion.
    pub expression: ElBooleanExpression,
    /// Optional tag, typically used to designate design intention of the assertion, e.g. `"Inv_all_members_valid"`.
    pub tag: Option<String>,
}