FUNCTION compatible_es_values

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION compatible_es_values
      (esval1 : elementary_space_enumerators;
       esval2 : elementary_space_enumerators ) : BOOLEAN;
   LOCAL
      esval1_is_numeric : LOGICAL;
      esval2_is_numeric : LOGICAL;
   END_LOCAL;
      IF ((esval1 = esval2) OR (esval1 = es_generics)) OR (esval2 = es_generics) THEN
         RETURN (TRUE);
      END_IF;
      esval1_is_numeric := (esval1 >= es_numbers) AND (esval1 <= es_integers);
      esval2_is_numeric := (esval2 >= es_numbers) AND (esval2 <= es_integers);
      IF esval1_is_numeric AND (esval2 = es_numbers) OR esval2_is_numeric AND (esval1 = es_numbers) THEN
         RETURN (TRUE);
      END_IF;
      IF esval1_is_numeric XOR esval2_is_numeric THEN
         RETURN (FALSE);
      END_IF;
      IF (esval1 = es_logicals) AND (esval2 = es_booleans) OR (esval1 = es_booleans) AND (esval2 = es_logicals) THEN
         RETURN (TRUE);
      END_IF;
      RETURN (FALSE);
END_FUNCTION;

Referenced By

Defintion compatible_es_values is references by the following definitions:
DefinitionType
 compatible_spaces FUNCTION


[Top Level Definitions] [Exit]

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