FUNCTION type_check_function

(* SCHEMA step_merged_ap_schema; *)
-- DIFF IN AP214
-- DIFF IN AP203e2
-- IN AP203e2/AP214/AP242
FUNCTION type_check_function
      (the_type : GENERIC;
       sub_names : SET OF STRING;
       criterion : INTEGER ) : LOGICAL;
      IF NOT EXISTS(the_type) 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);
         OTHERWISE :
               RETURN (UNKNOWN);
         END_CASE;
      END_IF;
END_FUNCTION;

Referenced By

Defintion type_check_function is references by the following definitions:
DefinitionType
 subtype_exclusiveness_action RULE
 subtype_exclusiveness_characterized_object RULE
 subtype_exclusiveness_classification_assignment RULE
 subtype_exclusiveness_colour RULE
 subtype_exclusiveness_compound_representation_item RULE
 subtype_exclusiveness_document_reference RULE
 subtype_exclusiveness_effectivity RULE
 subtype_exclusiveness_effectivity_assignment RULE
 subtype_exclusiveness_effectivity_context_assignment RULE
 subtype_exclusiveness_externally_defined_item RULE
 subtype_exclusiveness_feature_component_relationship RULE
 subtype_exclusiveness_feature_definition RULE
 subtype_exclusiveness_founded_item RULE
 subtype_exclusiveness_geometric_tolerance RULE
 subtype_exclusiveness_group RULE
 subtype_exclusiveness_group_assignment RULE
 subtype_exclusiveness_identification_assignment RULE
 subtype_exclusiveness_mapped_item RULE
 subtype_exclusiveness_presentation_area RULE
 subtype_exclusiveness_presentation_representation RULE
 subtype_exclusiveness_pre_defined_item RULE
 subtype_exclusiveness_pre_defined_symbol RULE
 subtype_exclusiveness_property_definition RULE
 subtype_exclusiveness_property_definition_representation RULE
 subtype_exclusiveness_replicate_feature RULE
 subtype_exclusiveness_representation RULE
 subtype_exclusiveness_representation_item RULE
 subtype_exclusiveness_representation_map RULE
 subtype_exclusiveness_representation_relationship RULE
 subtype_exclusiveness_representation_relationship_with_transformation RULE
 subtype_exclusiveness_shape_aspect RULE
 subtype_exclusiveness_shape_aspect_relationship RULE
 subtype_exclusiveness_shape_representation_feature_geometry RULE
 subtype_exclusiveness_shape_representation_geometry RULE
 subtype_exclusiveness_symbol_representation RULE
 subtype_exclusiveness_transition_feature RULE
 subtype_mandatory_address RULE
 subtype_mandatory_annotation_occurrence RULE
 subtype_mandatory_camera_image RULE
 subtype_mandatory_camera_model RULE
 subtype_mandatory_colour_specification RULE
 subtype_mandatory_configurable_item RULE
 subtype_mandatory_document_product_association RULE
 subtype_mandatory_draughting_callout RULE
 subtype_mandatory_externally_defined_item RULE
 subtype_mandatory_founded_item RULE
 subtype_mandatory_geometric_tolerance RULE
 subtype_mandatory_pre_defined_colour RULE
 subtype_mandatory_pre_defined_curve_font RULE
 subtype_mandatory_pre_defined_item RULE
 subtype_mandatory_pre_defined_symbol RULE
 subtype_mandatory_pre_defined_text_font RULE


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00