openehr-rm 0.0.128

openEHR RM Reference Model, generated from BMM: generations v1_1 (RM 1.1.0) and v1_2 (RM 1.2.0, current)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// @generated-from-template templates/openehr-rm/ehr_extract/common/extract_impl.rs — DO NOT EDIT; edit the source and re-run `openehr-codegen -- emit`.
// SPDX-FileCopyrightText: Cadasto B.V.
// SPDX-FileCopyrightText: openEHR Foundation
// SPDX-License-Identifier: Apache-2.0
//! Hand-written RM class invariants for `EXTRACT`.
//!
//! Spec: RM 1.2.0
//! `docs/specs/openehr/RM/docs/UML/classes/org.openehr.rm.ehr_extract.extract.adoc`
//! §Invariants — `Sequence_nr_valid` (`sequence_nr >= 1`), evaluated by the
//! generated core.

use crate::v1_2::ehr_extract::common::extract::Extract;
use openehr_base::validate::{InvariantViolation, Validate};

impl Validate for Extract {
    fn validate_invariants(&self, out: &mut Vec<InvariantViolation>) {
        crate::v1_2::validate::generated::extract_core(self.sequence_nr, out);
    }
}