alice.tuprolog
Class TheoryEvent

java.lang.Object
  java.util.EventObject
      alice.tuprolog.PrologEvent
          alice.tuprolog.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

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.PrologEvent

getTime

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

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