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
|