2005-03-14 20:57:02 -05:00
|
|
|
Assertions are the explicit expressions of your assumptions about the
|
2004-06-09 22:24:04 -04:00
|
|
|
reality your program is expected to deal with, and a declaration of
|
|
|
|
|
those which it is not. They are used to prevent your program from
|
|
|
|
|
blissfully processing garbage inputs (garbage in, garbage out becomes
|
|
|
|
|
garbage in, error out) and to tell you when you've produced garbage
|
|
|
|
|
output.
|
