FUNCTION appropriate_value_existence
(a_value_e : GENERIC, type_self : SET [1:?] OF STRING) : BOOLEAN;
LOCAL feacr : STRING; value_typeof : SET [1:?] OF STRING; END_LOCAL; feacr := 'FINITE_ELEMENT_ANALYSIS_CONTROL_AND_RESULT_SCHEMA.'; value_typeof := TYPEOF(a_value_e);
IF (((feacr + 'OUTPUT_REQUEST_STATE') IN type_self) AND NOT ((feacr + 'UNSPECIFIED_VALUE') IN value_typeof)) THEN RETURN (FALSE); END_IF;
RETURN (TRUE); END_FUNCTION; -- appropriate_value_existence
|