openehr-rm 0.0.2

openEHR RM 1.2.0 Reference Model, generated from BMM
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! 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::ehr_extract::common::extract::Extract;
use openehr_base::validate::{InvariantViolation, Validate};

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