FUNCTION verify_count_measure_resource_property

(* SCHEMA integrated_cnc_schema; *)

FUNCTION verify_count_measure_resource_property (
    crd : 	characterized_resource_definition;
    prop_name : STRING
    ): LOGICAL;

    -- All properties have matching representations.  The reason we test
    -- for "nothing matching the negation" rather than "something matching
    -- the positive" is so that we return true if there are no properties.
    --
    RETURN (0 = SIZEOF (QUERY (prop <* get_resource_property (crd, prop_name) |

        -- property has no matching representations
        NOT (

        -- there is at least one rep with matching rep items
        (0 < SIZEOF (QUERY (prep <* USEDIN (prop, 'INTEGRATED_CNC_SCHEMA.' +
                'RESOURCE_PROPERTY_REPRESENTATION.PROPERTY') |

           -- property representation has at least one matching rep item
           (0 < SIZEOF (QUERY (it <* prep.representation.items |
               (('INTEGRATED_CNC_SCHEMA.MEASURE_REPRESENTATION_ITEM'
                  IN TYPEOF(it)) AND
                ('INTEGRATED_CNC_SCHEMA.COUNT_MEASURE'
                  IN TYPEOF(it.value_component)))
           )))
        )))
    ))));
END_FUNCTION; -- 10303-238: integrated_cnc_schema

Referenced By

Generated by STEP Tools^TM EXPRESS to HTML Converter
on 2010-01-12T10:42:26-02:00