Recipe 9.1: Declaring Class InvariantsRecipe 9.2: Declaring Private Class InvariantsRecipe 9.3: Declaring Method PreconditionsRecipe 9.4: Declaring Method PostconditionsRecipe 9.5: Extending Method PreconditionsRecipe 9.6: Extending Method PostconditionsRecipe 9.7: Associating a Pre/Postcondition with a Single Multimethod VariantRecipe 9.8: Associating a Pre/Postcondition with all Mulitmethod VariantsRecipe 9.9: Associating a Pre/Postcondition with a Particular Method ImplementationRecipe 9.10: Creating Optional AssertionsRecipe 9.11: Creating Named Groups of AssertionsRecipe 9.12: Switching Named Assertion Groups On or OffRecipe 9.13: Associating an 'Assertion Threshold' with an AssertionRecipe 9.14: Altering the Active 'Assertion Threshold' for AssertionRecipe 9.15: Placing Preconditions on Method ArgumentsRecipe 9.16: Placing Postconditions on Method ArgumentsRecipe 9.17: Placing Postconditions on Method Return Values
