/****
 *
 * This module contains functions to perform the type checking and evaluation
 * of validation invocations.  For a thorough discussion of this feature, see
 * the MS thesis of Paul Corwin, in
 * fmsl/documentation/contrib/pcorwin/thesis.pdf.
 *
 */


/*
 * 2-tuple type returned by successful call to chkValidationOp.
 */
#ifdef USEWITHCPP
extern "C"
#endif
TypeStruct ValidationTupleType;


/*
 * Type check a validation invocation.  See validate.c file for further
 * commentary.
 */
TypeStruct chkValidationCall(nodep t, nodep tt);

/*
 * Execute a validation invocation.  See the validate.c for further commentary.
 */
ValueStruct doValidationCall(nodep t);

/*
 * Construct the return type of chkValidationCall.
 */
TypeStruct BuildValidationTupleType();

/*
 * Construct the return value of doValidationCall.
 */
ValueStruct BuildValidationTupleVal(ValueStruct v1, ValueStruct v2);

/*
 * Bind the given list of actuals to the given list of formals.
 */
void BindValidationParms(nodep actuals, SymtabEntry* formals);