September 2011
Intermediate to advanced
744 pages
14h 50m
English


Many methods offer invariants, which can be any or all of the guarantees made about what the method can do, requirements about the required state of the object when the method is invoked, or guarantees about the state of the object when the method completes. For instance, the % operator, which computes the remainder of a number, provides the invariant that
0 < = abs(a % b) < abs(b), for ...
Read now
Unlock full access