alice.tuprolog.event
Class TheoryEvent

java.lang.Object
  extended byjava.util.EventObject
      extended byalice.tuprolog.event.PrologEvent
          extended byalice.tuprolog.event.TheoryEvent
All Implemented Interfaces:
java.io.Serializable

public class TheoryEvent
extends PrologEvent

This class represents events occurring in theory management.

Since:
1.3
See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
TheoryEvent(Prolog source, Theory oldth, Theory newth)
           
 
Method Summary
 Theory getNewTheory()
          Gets the new theory
 Theory getOldTheory()
          Gets the old theory
 
Methods inherited from class alice.tuprolog.event.PrologEvent
getTime
 
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
 

Constructor Detail

TheoryEvent

public TheoryEvent(Prolog source,
                   Theory oldth,
                   Theory newth)
Method Detail

getOldTheory

public Theory getOldTheory()
Gets the old theory

Returns:
the old theory

getNewTheory

public Theory getNewTheory()
Gets the new theory

Returns:
the new theory