Assertion

Simple Assertion

Static Assertion

Assert Error Messages

Assertion of Unreachable Code

Precondition and Postcondition