Uses of Interface
edu.mit.csail.sdg.alloy4.Listener

Packages that use Listener

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

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

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

void	Listeners.add(Listener listener) Add a listener to this group of listeners (if not already in the list)

Uses of Listener in edu.mit.csail.sdg.alloy4compiler.ast

Methods in edu.mit.csail.sdg.alloy4compiler.ast with parameters of type Listener

javax.swing.JFrame	Browsable.showAsTree(Listener listener) Display this node and its subnodes as a tree; if listener!=null, it will receive OurTree.Event.SELECT events when nodes are selected.
javax.swing.JFrame	Module.showAsTree(Listener listener) Display this object (and so objects) as a tree; if listener!=null, it will receive OurTree.Event.SELECT events.

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

Classes in edu.mit.csail.sdg.alloy4whole that implement Listener

class

SimpleGUI Simple graphical interface for accessing various features of the analyzer.