Design By Contract Definitions - Provides basic Design By Contract support, including asserts, preconditions, and postconditions.
Go to the source code of this file.