FUNCTION type_check_function

(* SCHEMA process_planning_schema; *)

  FUNCTION type_check_function(
               the_type: GENERIC;
               sub_names: SET OF STRING;
               criterion: INTEGER
      ): LOGICAL;
    IF ((NOT EXISTS(the_type)) OR (NOT ((0 <= criterion) AND (criterion <=
         3)))) OR (SIZEOF(sub_names) = 0) THEN
      RETURN(UNKNOWN);
    ELSE
      CASE criterion OF
        0  :           RETURN(SIZEOF(sub_names * TYPEOF(the_type)) > 0);
        1  :           RETURN(SIZEOF(sub_names * TYPEOF(the_type)) = 0);
        2  :           RETURN(SIZEOF(sub_names * TYPEOF(the_type)) = 1);
        3  :           RETURN(SIZEOF(sub_names * TYPEOF(the_type)) <= 1);
        END_CASE;
    END_IF;

  END_FUNCTION; -- type_check_function

Referenced By

Defintion type_check_function is references by the following definitions:
DefinitionType
 fixture_setup ENTITY
 subtype_exclusiveness_action_resource RULE
 subtype_exclusiveness_action_resource_relationship RULE
 subtype_exclusiveness_characterized_object RULE
 subtype_exclusiveness_contract RULE
 subtype_exclusiveness_document RULE
 subtype_exclusiveness_group RULE
 subtype_exclusiveness_resource_property RULE
 subtype_exclusiveness_shape_aspect RULE
 subtype_exclusiveness_shape_representation RULE


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:19:48-04:00