|
|||||||||
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 |