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