Class Configurator

  • public final class Configurator
    extends Object

    Handles -ea and -da runtime input arguments for enabling and disabling contract elements.

    • Constructor Detail

      • Configurator

        public Configurator()
    • Method Detail

      • checkAssertionsEnabled

        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.
        className - the class name to look up in the assertion configuration
        whether assertion checking is enabled or not