FUNCTION verify_enumeration_tool_body_item

(* SCHEMA integrated_cnc_schema; *)

FUNCTION verify_enumeration_tool_body_item (
    mt :          machining_tool;
    prop_name :   STRING;
    prop_values : SET OF STRING
    ): LOGICAL;

    RETURN (0 = SIZEOF (QUERY (it <* get_tool_body_item (mt, prop_name) | NOT
              (('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_tool_body_item is references by the following definitions:

Definition	Type
machining_tool	ENTITY

[Top Level Definitions]

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