alice.tuprolog.event

Class TheoryEvent

java.lang.Object

java.util.EventObject

alice.tuprolog.event.PrologEvent

alice.tuprolog.event.TheoryEvent

All Implemented Interfaces:

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

Constructors

Constructor and Description
TheoryEvent(Prolog source, Theory oldth, Theory newth)

Method Summary

Methods

Modifier and Type	Method and Description
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