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