Assertion component in environment services patterns

A computer program embodied on a computer readable medium for testing successfulness of an operation having pre-conditions and post-conditions that must be satisfied for the operation to be successful, comprising:

• (a) a code segment that provides two types of assertion classes, wherein one of the assertion classes implements assertion-checking logic and the other assertion class implements only null operations, wherein one of the assertion classes is selected to be raised;
• (b) a code segment that raises a first assertion asserting a pre-condition that must evaluate to true if the operation is successful;
• (c) a code segment that executes the operation;
• (d) a code segment that raises a second assertion asserting a post-condition that must evaluate to true if the operation is successful;
• and
• (e) a code segment that outputs an error message upon failure of at least one of the assertions, where the at least one assertion implements assertion-checking logic.

A system for testing successfulness of an operation having pre-conditions and post-conditions that must be satisfied for the operation to be successful, comprising:

• (a) logic that provides two types of assertion classes, wherein one of the assertion classes implements assertion-checking logic and the other assertion class implements only null operations, wherein one of the assertion classes is selected to be raised;
• (b) logic that raises a first assertion asserting a pre-condition that must evaluate to true if the operation is successful;
• (c) logic that executes the operation;
• (d) logic that raises a second assertion asserting a post-condition that must evaluate to true if the operation is successful;
• and
• (e) logic that outputs an error message upon failure of at least one of the assertions, where the at least one assertion implements assertion-checking logic.