questions about ASSERTION

Implementers (archive)
1

The EXPR_LEAF of assertion has an 'Item'
of type ANY..

The AOM says that 'Item' can be either a

a) a manifest constant of any primitive type (Integer, Real, Boolean, String,
Character, Date, Time, Date_time, Duration),
b) a path
c) a constraint, expressed in the form of concrete subtype of C_OBJECT; most
often this will be a C_PRIMITIVE_OBJECT.

What are the actual types that should be assigned
to 'Item' for each of these? (c) seems like it should be
a C_PRIMITIVE_OBJECT, but I am not sure if
(a) should be a DV_INTEGER, DV_REAL etc
or should be assigned the raw Integer, Real
value? Similarly, should the (b) path be a raw
string or a DV_STRING? Or some other path type?

2

Andrew,

you might want to look at the latest AOM draft, assertion section -
http://www.openehr.org/wiki/download/attachments/196633/aom.pdf?version=4

- thomas beale

Andrew Patterson wrote:

3

you might want to look at the latest AOM draft, assertion section -

Thanks Thomas - that does clear up a bit of stuff.
It still has an ANY type for the EXPR_CONSTANT value
but no guidance as to what the actual types that go there
are (are they native types or the DV_XX types?)

Andrew