zeus.generator.event
Class FactModelEvent

java.lang.Object
  java.util.EventObject
      javax.swing.event.ChangeEvent
          zeus.generator.event.FactModelEvent

All Implemented Interfaces:

java.io.Serializable

public class FactModelEvent

extends javax.swing.event.ChangeEvent

See Also:

Serialized Form

Field Summary

protected java.lang.String	current
protected Fact	fact
static int	FACT_ADDED
static int	FACT_ID_CHANGED
static int	FACT_REMOVED
protected java.lang.String	original
protected int	type

Fields inherited from class java.util.EventObject

source

Constructor Summary

FactModelEvent(java.lang.Object source, Fact fact, int type)

FactModelEvent(java.lang.Object source, Fact fact, int type, java.lang.String original, java.lang.String current)

Method Summary

java.lang.String	getCurrentId()
int	getEventType()
Fact	getFact()
java.lang.String	getPreviousId()

Methods inherited from class java.util.EventObject

getSource, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

FACT_ADDED

public static final int FACT_ADDED

See Also:

Constant Field Values

FACT_REMOVED

public static final int FACT_REMOVED

See Also:

Constant Field Values

FACT_ID_CHANGED

public static final int FACT_ID_CHANGED

See Also:

Constant Field Values

fact

protected Fact fact

type

protected int type

original

protected java.lang.String original

current

protected java.lang.String current

Constructor Detail

FactModelEvent

public FactModelEvent(java.lang.Object source,
                      Fact fact,
                      int type)

FactModelEvent

public FactModelEvent(java.lang.Object source,
                      Fact fact,
                      int type,
                      java.lang.String original,
                      java.lang.String current)

Method Detail

getFact

public Fact getFact()

getPreviousId

public java.lang.String getPreviousId()

getCurrentId

public java.lang.String getCurrentId()

getEventType

public int getEventType()