edu.mit.csail.sdg.alloy4
Class Listeners

java.lang.Object
  edu.mit.csail.sdg.alloy4.Listeners

public final class Listeners
extends java.lang.Object

This stores a list of listeners.

Constructor Summary

Listeners()
Construct a empty list of listeners.

Method Summary

void	add(Listener listener) Add a listener to this group of listeners (if not already in the list)
void	fire(java.lang.Object sender, Listener.Event event) Send the following zero-argument event to every listener.
void	fire(java.lang.Object sender, Listener.Event event, java.lang.Object arg) Send the following one-argument event to every listener.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Listeners

public Listeners()

Construct a empty list of listeners.

Method Detail

add

public void add(Listener listener)

Add a listener to this group of listeners (if not already in the list)

fire

public void fire(java.lang.Object sender,
                 Listener.Event event)

Send the following zero-argument event to every listener.

fire

public void fire(java.lang.Object sender,
                 Listener.Event event,
                 java.lang.Object arg)

Send the following one-argument event to every listener.