openehr-lang 0.0.129

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

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

use crate::v1_1::beom::core::expression::Expression;

/// Meta-type for a first order predicate logic expression with a Boolean result.
#[doc(alias = "ASSERTION")]
#[derive(Debug, Clone, PartialEq)]
pub struct Assertion {
    /// Expression tag, used for differentiating multiple assertions.
    pub tag: Option<String>,
    /// String form of expression, in case an expression evaluator taking String expressions is used for evaluation.
    pub string_expression: Option<String>,
    /// Root of expression tree.
    pub expression: Box<Expression>,
}