next up previous contents
Next: Page Verification Up: User Defined Verification Routines Previous: Error Accounting   Contents


Conditional Verification

One important use of MICverifies is for conditional verification. Sometimes we want to verify certain fields and/or verifications based on parameters or data state. To do this, we use a MICverify which may call other MICverifies or field verifications directly.

The two MIC required functions (see C.1.1) verify_fields() and verify_verifies() are used to make these calls. An example of how this is generally done is given in [*]. Generally, however, the verification that determines what verifications to perform should always itself return true and do no accounting of its own as the fieldspace functions will do their own accounting.