public final class Configurator extends Object
Handles -ea and -da runtime input arguments for enabling and
disabling contract elements.
| Modifiers | Name | Description |
|---|---|---|
static String |
DISABLED_ASSERTIONS |
|
static String |
DISABLE_PACKAGE_ASSERTIONS |
|
static String |
ENABLED_ASSERTIONS |
|
static String |
ENABLE_PACKAGE_ASSERTIONS |
|
static String |
PACKAGE_POSTFIX |
|
static String |
PACKAGE_PREFIX |
| Type Params | Return Type | Name and description |
|---|---|---|
|
public static boolean |
checkAssertionsEnabled(String className)This static method is used within generated code to check whether assertions have been disabled for the current class or not. |
This static method is used within generated code to check whether assertions have been disabled for the current class or not.
className - the class name to look up in the assertion configuration