FUNCTION type_check_function

(* SCHEMA Ap236_furniture_catalog_and_interior_design_mim_LF; *)

(* REFERENCE FROM (support_resource_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 <=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;

Referenced By

Defintion type_check_function is references by the following definitions:

Definition	Type
Ap236_furniture_catalog_and_interior_design_mim_dot_subtype_exclusiveness_representation	RULE
Ap236_furniture_catalog_and_interior_design_mim_dot_subtype_exclusiveness_representation_item	RULE
Catalog_data_information_and_shape_representation_mim_dot_subtype_exclusiveness_representation	RULE
Catalog_data_information_and_shape_representation_mim_dot_subtype_exclusiveness_representation_item	RULE
Catalog_data_information_mim_dot_subtype_exclusiveness_representation_item	RULE
Furniture_interior_decoration_mim_dot_subtype_exclusiveness_representation	RULE
Parameterized_catalog_data_and_shape_representation_mim_dot_subtype_exclusiveness_representation	RULE
Parameterized_catalog_data_and_shape_representation_mim_dot_subtype_exclusiveness_representation_item	RULE
subtype_exclusiveness_characterized_object	RULE
subtype_exclusiveness_classification_assignment	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_founded_item	RULE
subtype_exclusiveness_geometric_tolerance	RULE
subtype_exclusiveness_group	RULE
subtype_exclusiveness_group_assignment	RULE
subtype_exclusiveness_identification_assignment	RULE
subtype_exclusiveness_property_definition	RULE
subtype_exclusiveness_property_definition_representation	RULE
subtype_exclusiveness_representation	RULE
subtype_exclusiveness_representation_item	RULE
subtype_exclusiveness_shape_aspect_relationship	RULE
subtype_exclusiveness_shape_representation_geometry	RULE
subtype_mandatory_address	RULE
subtype_mandatory_configurable_item	RULE
subtype_mandatory_document_product_association	RULE
subtype_mandatory_externally_defined_item	RULE
subtype_mandatory_founded_item	RULE
subtype_mandatory_geometric_tolerance	RULE

[Top Level Definitions] [Exit]

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