|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| Contract | Some minimal support for "design by contract". |
| IntRange1D | A class to represent a one-diensional range of integer values. |
| Exception Summary | |
|---|---|
| AssertionFailedException | Exception class that is thrown if an assertion failed. |
| PostconditionNotMetException | Exception class that is thrown if a postcondition of a method is not met. |
| PreconditionNotMetException | Exception class that is thrown if a precondition of a method is not met. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||