org.grinvin.invariants
Interface InvariantManagerListener
- EventListener
public interface InvariantManagerListener
extends EventListener
Listens to events reported by the invariant manager. Listeners that are
registered with the invariant manager shall be notified of the following changes
- Whenever a new invariant is loaded into the system, presumably
as an indirect result of loading a new invariant computer.
newInvariant
public void newInvariant(Invariant invariant)
Notifies that the given invariant has been introduced into
the system. Will not used for instances of an invariant factory.
newInvariantFactory
public void newInvariantFactory(InvariantFactory factory)
Notifies that the given invariant factory has been introduced into
the system.