FUNCTION verify_enumeration_action_property

(* SCHEMA integrated_cnc_schema; *)

FUNCTION verify_enumeration_action_property (
    cad : 	  characterized_action_definition;
    prop_name :   STRING;
    prop_values : SET OF STRING
    ): LOGICAL;

    -- Each action property has at least one representation that contains
    -- a descriptive rep item, and that descriptive rep item has a value
    -- drawn from the prop_values set.

    -- there are no properties that do not have matching representations
    RETURN (0 = SIZEOF (QUERY (prop <* get_action_property (cad, prop_name) |

        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.DESCRIPTIVE_REPRESENTATION_ITEM'
                  IN TYPEOF(it)) AND
                (it.description IN prop_values))
           )))
        )))
    ))));
END_FUNCTION; -- 10303-238: integrated_cnc_schema

Referenced By

Defintion verify_enumeration_action_property is references by the following definitions:
DefinitionType
 boring_operation ENTITY
 freeform_milling_strategy ENTITY
 machining_functions ENTITY
 machining_technology ENTITY
 machining_toolpath ENTITY
 milling_type_strategy ENTITY
 tapping_operation ENTITY
 turning_type_strategy ENTITY


[Top Level Definitions]

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