Uploaded image for project: 'Specification'
  1. SPEC-232

Relax validity invariant on CONSTRAINT_REF

    Details

    • Type: Change Request
    • Status: Closed
    • Priority: Trivial
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: Release 1.0.1
    • Component/s: openehr.am.archetype
    • Labels:
      None
    • Change Description:
      Hide
      Changes made:

      adjust the invariant to:
      reference_valid: reference /= Void
      Show
      Changes made: adjust the invariant to: reference_valid: reference /= Void
    • Approved By:
      PG

      Description

      Currently the invariant on CONSTRAINT_REF is as follows:
      reference_valid: reference /= Void and then not reference.is_empty
      and then archetype.ontology.has_constraint(reference)

      Firstly the function has_constraint() does not exist on ARCHEYPE_ONTOLOGY,
      secondly this would not be easy to check from within an instance of this
      class. It should be relaxed, and the validity checking done from within
      an is_valid function defined on ARCHETYPE, or a similar approach.

        Attachments

          Activity

            People

            • Assignee:
              OLDthomasbeale OLDthomasbeale
              Reporter:
              OLDrongchen Rong Chen
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: