FUNCTION compare_values
(v1 : GENERIC:g, op : elementary_function_enumerators, v2 : GENERIC:g) : BOOLEAN;
LOCAL logl : LOGICAL := UNKNOWN; END_LOCAL; IF NOT EXISTS (v1) OR NOT EXISTS (op) OR NOT EXISTS (v2) THEN RETURN (FALSE); END_IF; CASE op OF ef_eq_i : logl := (v1 = v2); ef_ne_i : logl := (v1 <> v2); ef_gt_i : logl := (v1 > v2); ef_lt_i : logl := (v1 < v2); ef_ge_i : logl := (v1 >= v2); ef_le_i : logl := (v1 <= v2); END_CASE; IF EXISTS (logl) THEN IF logl = TRUE THEN RETURN (TRUE); END_IF; END_IF; RETURN (FALSE); END_FUNCTION; -- compare_values
|