FUNCTION verify_rep_item_for_action_property

(* SCHEMA integrated_cnc_schema; *)

FUNCTION verify_rep_item_for_action_property (
    cad : 	     characterized_action_definition;
    prop_name :      STRING;
    rep_item_types : SET OF 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 |
               (SIZEOF (rep_item_types * TYPEOF(it)) =
                SIZEOF (rep_item_types))))
           )))
        ))
    )));
END_FUNCTION; -- 10303-238: integrated_cnc_schema

Referenced By

Defintion verify_rep_item_for_action_property is references by the following definitions:
DefinitionType
 boring_operation ENTITY
 freeform_milling_strategy ENTITY
 machining_approach_retract_strategy ENTITY
 machining_functions ENTITY
 machining_operation ENTITY
 machining_process_executable ENTITY
 machining_rapid_movement ENTITY
 machining_toolpath ENTITY
 machining_touch_probing ENTITY
 machining_workingstep ENTITY
 milling_type_strategy ENTITY
 turning_type_strategy ENTITY
 verify_angle_measure_action_property FUNCTION
 verify_descriptive_action_property FUNCTION
 verify_length_measure_action_property FUNCTION
 verify_ratio_measure_action_property FUNCTION
 verify_time_measure_action_property FUNCTION


[Top Level Definitions]

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