Class ConfigurationSetup


  • public class ConfigurationSetup
    extends Object
    Makes some initialization in order to use the Configurator for determining which assertions in what packages will be executed.
    See Also:
    Configurator
    • Constructor Detail

      • ConfigurationSetup

        public ConfigurationSetup()
    • Method Detail

      • init

        public void init​(ClassNode type)
        Adds an instance field which allows to control whether GContract assertions are enabled or not. Before assertions are evaluated this field will be checked.
        Parameters:
        type - the current ClassNode
        See Also:
        Configurator