vs.worldagent.ui
Class OperatorsChangedEvent

java.lang.Object
  java.util.EventObject
      vs.rationalagent.ui.StoryAgentEvent
          vs.worldagent.ui.OperatorsChangedEvent

All Implemented Interfaces:

java.io.Serializable

public class OperatorsChangedEvent
extends StoryAgentEvent

See Also:

Serialized Form

Constructor Summary

OperatorsChangedEvent(java.lang.Object src)

Method Summary

Methods inherited from class java.util.EventObject

getSource, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OperatorsChangedEvent

public OperatorsChangedEvent(java.lang.Object src)