|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| Contract | Utility class for assertions on objects. |
| EmailAddress | A valid email address with all characters lower case. |
| Password | A password with a length between 8 and 20 characters. |
| PasswordSha512 | SHA-512 hashed password. |
| UserName | User name with the following rules. |
| Exception Summary | |
|---|---|
| ContractViolationException | The contract that was checked is violated. |
| Annotation Types Summary | |
|---|---|
| Ensures | Documents a postcondition that must always be true just after the execution the annotated section of code. |
| Immutable | Immutable. |
| Requires | Documents a precondition. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||