| Access | Constructor and Description |
|---|---|
| public |
| Modifier and Type | Method and Description |
|---|---|
| public static void | |
| public static void |
| Contract | back to summary |
|---|---|
| public Contract() | |
| checkArg | back to summary |
|---|---|
| public static void checkArg(boolean isOK, String s) | |
| checkState | back to summary |
|---|---|
| public static void checkState(boolean isOK, String s) | |