org.grinvin.invariants

Interface InvariantManagerListener

All Superinterfaces:
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

Method Summary

void
newInvariant(Invariant invariant)
Notifies that the given invariant has been introduced into the system.
void
newInvariantFactory(InvariantFactory factory)
Notifies that the given invariant factory has been introduced into the system.

Method Details

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.