openehr-lang 0.0.78

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: Vernum Projecten 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_0::bmm::expression::el_boolean_expression::ElBooleanExpression;

/// A statement that asserts the truth of its expression. If not, 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 {
    /// The `expression` attribute of openEHR `BMM_ASSERTION` (the vendored BMM carries no documentation for it).
    pub expression: Box<ElBooleanExpression>,
    /// Optional tag, typically used to designate design intention of the assertion, e.g. `"Inv_all_members_valid"`.
    pub tag: Option<String>,
}