edu.mit.csail.sdg.alloy4
Interface Listener

All Known Implementing Classes:

SimpleGUI

public interface Listener

This defines an interface for receiving events.

Nested Class Summary

static class

Listener.Event This defines the list of possible events.

Method Summary

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

Method Detail

do_action

java.lang.Object do_action(java.lang.Object sender,
                           Listener.Event event)

This method is called when the given zero-argument-event occurs.

do_action

java.lang.Object do_action(java.lang.Object sender,
                           Listener.Event event,
                           java.lang.Object arg)

This method is called when the given single-argument-event occurs.