From 4f26361eb08aa09334d1eea0a124110c20d809ce Mon Sep 17 00:00:00 2001 From: Eduardo Pedroni Date: Sat, 18 Oct 2014 15:21:45 +0200 Subject: Moved javadocs to a different repository for hosting, updated README --- .../parameters/monitors/IntegerMonitor.html | 368 --------------------- 1 file changed, 368 deletions(-) delete mode 100644 doc/jcgp/backend/parameters/monitors/IntegerMonitor.html (limited to 'doc/jcgp/backend/parameters/monitors/IntegerMonitor.html') diff --git a/doc/jcgp/backend/parameters/monitors/IntegerMonitor.html b/doc/jcgp/backend/parameters/monitors/IntegerMonitor.html deleted file mode 100644 index 1c9586e..0000000 --- a/doc/jcgp/backend/parameters/monitors/IntegerMonitor.html +++ /dev/null @@ -1,368 +0,0 @@ - - - - - -IntegerMonitor - - - - - - - - -
- - - - - - - -
- - - -
-
jcgp.backend.parameters.monitors
-

Class IntegerMonitor

-
-
- -
-
    -
  • -
    -
    -
    public class IntegerMonitor
    -extends IntegerParameter
    -
    This is a special type of IntegerParameter which - cannot be modified in the GUI (if the GUI is in use).
    -
    -
    Author:
    -
    Eduardo Pedroni
    -
    -
  • -
-
-
-
    -
  • - - - -
      -
    • - - -

      Constructor Summary

      - - - - - - - - - - - -
      Constructors 
      Constructor and Description
      IntegerMonitor(int value, - java.lang.String name) -
      Creates a new instance of this class, assuming the monitor - is not critical.
      -
      IntegerMonitor(int value, - java.lang.String name, - boolean critical) -
      Creates a new instance of this class.
      -
      -
    • -
    - - -
  • -
-
-
-
    -
  • - -
      -
    • - - -

      Constructor Detail

      - - - -
        -
      • -

        IntegerMonitor

        -
        public IntegerMonitor(int value,
        -                      java.lang.String name)
        -
        Creates a new instance of this class, assuming the monitor - is not critical.
        -
        -
        Parameters:
        -
        value - the initial value for this monitor.
        -
        name - the name of this monitor, for GUI display.
        -
        -
      • -
      - - - -
        -
      • -

        IntegerMonitor

        -
        public IntegerMonitor(int value,
        -                      java.lang.String name,
        -                      boolean critical)
        -
        Creates a new instance of this class.
        -
        -
        Parameters:
        -
        value - the initial value for this monitor.
        -
        name - the name of this monitor, for GUI display.
        -
        critical - true if the monitor is critical.
        -
        -
      • -
      -
    • -
    - -
      -
    • - - -

      Method Detail

      - - - -
        -
      • -

        validate

        -
        public void validate(java.lang.Number newValue)
        -
        Description copied from class: Parameter
        -
        This is a callback method which gets called whenever changes - to parameters (not only its own instance) are made. This method - is intended to set the status field according to the - new value, so that the user can be informed if any parameters - are currently set to invalid values.
        -
        -
        Overrides:
        -
        validate in class IntegerParameter
        -
        Parameters:
        -
        newValue - the new value.
        -
        -
      • -
      -
    • -
    -
  • -
-
-
- - -
- - - - - - - -
- - - - -- cgit v1.2.3