All Classes
| Class | Description |
|---|---|
| AccountImplValid4J |
Implements the IAccount interface Uses Valid4J to implement the pre- and
post-conditions
|
| AccountImplValid4JBestPractice |
Implements the IAccount interface Uses Valid4J to implement the
pre-conditions The post-conditions are checked by JUnit test cases
|
| IAccount | |
| TestAccountImplValid4JBestPractice |
Checks the postconditions of the Account methods
|