Java 2 SDK for Solaris Developer's Guide

Copyright

  Preface

  New Features and Enhancements

  Compatibility with Previous Releases

  Java HotSpot VM Options

  Assertion Facility

Compiling

Syntax

Semantics

Enabling and Disabling Assertions

Enabling and Disabling Assertions Programmatically

Setting the Default Assertion Status for a Class Loader

Setting the Assertion Status for a Package and its Subpackages

Setting the Assertion Status for a Class and its Nested Classes

Resetting to the Class Loader Default Assertion Status

Usage Notes

Internal Invariants

Control-Flow Invariants

Preconditions, Postconditions, and Class Invariants

Removing all Trace of Assertions from Class Files

Requiring that Assertions are Enabled

Source Compatibility

Design FAQ

Design FAQ - General Questions

Design FAQ - Compatibility

Design FAQ - Syntax and Semantics

Design FAQ - The AssertionError Class

Design FAQ - Enabling and Disabling Assertions