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 |
JVM argument prefix that disables assertions. |
static String |
DISABLE_PACKAGE_ASSERTIONS |
JVM argument prefix that disables assertions for a package or class. |
static String |
ENABLED_ASSERTIONS |
JVM argument prefix that enables assertions. |
static String |
ENABLE_PACKAGE_ASSERTIONS |
JVM argument prefix that enables assertions for a package or class. |
static String |
PACKAGE_POSTFIX |
Suffix used by the JVM to denote package-wide assertion configuration. |
static String |
PACKAGE_PREFIX |
Separator between assertion flags and package or class names. |
| 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. |
JVM argument prefix that disables assertions.
JVM argument prefix that disables assertions for a package or class.
JVM argument prefix that enables assertions.
JVM argument prefix that enables assertions for a package or class.
Suffix used by the JVM to denote package-wide assertion configuration.
Separator between assertion flags and package or class names.
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