FUNCTION verify_numeric_measure_action_property

(* SCHEMA integrated_cnc_schema; *)

FUNCTION verify_numeric_measure_action_property (
    cad : 	characterized_action_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_action_property (cad, 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.' +
                'ACTION_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.NUMERIC_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