de.cau.cs.kieler.sim.kiem.config.data
Class KiemConfigEvent

java.lang.Object
  extended by de.cau.cs.kieler.sim.kiem.KiemEvent
      extended by de.cau.cs.kieler.sim.kiem.config.data.KiemConfigEvent

public class KiemConfigEvent
extends KiemEvent

This class holds additional event constants that are needed for the scheduling manager.

Rating proposed yellow
(2010-01-27)

Field Summary
static int FILE_LOADED
          This constant indicates that a new file was loaded.
static int FILE_LOCATION_CHANGED
          This constant indicates that the file location was changed.
static int FILE_SAVED
          This constant indicates that a file was saved.
static int PREFERENCES_SAVED
          This constant indicates that the preferences have been saved.
 
Fields inherited from class de.cau.cs.kieler.sim.kiem.KiemEvent
ACTIVATED, ADDED, CALL_FOR_SHELL, CMD_PAUSE, CMD_RUN, CMD_STEP, CMD_STEP_BACK, CMD_STEP_MACRO, CMD_STOP, DEACTIVATED, DELETED, DISABLE_UI, ENABLE_UI, ERROR_PAUSE, ERROR_STOP, EXECUTION_START, EXECUTION_STOP, KIEMPROPERTY_CHANGE, LOAD, NONE, SAVE, SCHEDULED, SET_DIRTY, STEP_DONE, STEP_INFO, VIEW_DONE, VIEW_REFRESH
 
Constructor Summary
KiemConfigEvent(int param)
          Creates a new KiemConfigEvent.
KiemConfigEvent(int param, Object info)
          Creates a new KiemConfigEvent.
 
Method Summary
 
Methods inherited from class de.cau.cs.kieler.sim.kiem.KiemEvent
addEvent, getEventCodes, getEventCodesAsList, getEventName, getInfo, isEvent, resetEvents, setEvents, setInfo
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

PREFERENCES_SAVED

public static final int PREFERENCES_SAVED
This constant indicates that the preferences have been saved.

See Also:
Constant Field Values

FILE_LOCATION_CHANGED

public static final int FILE_LOCATION_CHANGED
This constant indicates that the file location was changed.

See Also:
Constant Field Values

FILE_LOADED

public static final int FILE_LOADED
This constant indicates that a new file was loaded.

See Also:
Constant Field Values

FILE_SAVED

public static final int FILE_SAVED
This constant indicates that a file was saved.

See Also:
Constant Field Values
Constructor Detail

KiemConfigEvent

public KiemConfigEvent(int param)
Creates a new KiemConfigEvent.

Parameters:
param - the coded event

KiemConfigEvent

public KiemConfigEvent(int param,
                       Object info)
Creates a new KiemConfigEvent.

Parameters:
param - the coded event
info - the information