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.