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
|