Uses of Class
edu.mit.csail.sdg.alloy4.Listener.Event

Packages that use Listener.Event

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4whole	This package contains a simple GUI client, as well as several examples on using the API.

Uses of Listener.Event in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 that return Listener.Event

static Listener.Event	Listener.Event.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Listener.Event[]	Listener.Event.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in edu.mit.csail.sdg.alloy4 with parameters of type Listener.Event

java.lang.Object	Listener.do_action(java.lang.Object sender, Listener.Event event) This method is called when the given zero-argument-event occurs.
java.lang.Object	Listener.do_action(java.lang.Object sender, Listener.Event event, java.lang.Object arg) This method is called when the given single-argument-event occurs.
void	Listeners.fire(java.lang.Object sender, Listener.Event event) Send the following zero-argument event to every listener.
void	Listeners.fire(java.lang.Object sender, Listener.Event event, java.lang.Object arg) Send the following one-argument event to every listener.

Uses of Listener.Event in edu.mit.csail.sdg.alloy4whole

Methods in edu.mit.csail.sdg.alloy4whole with parameters of type Listener.Event

java.lang.Object	SimpleGUI.do_action(java.lang.Object sender, Listener.Event e) This method is called when the given zero-argument-event occurs.
java.lang.Object	SimpleGUI.do_action(java.lang.Object sender, Listener.Event e, java.lang.Object arg) This method is called when the given single-argument-event occurs.