Uses of Class
edu.mit.csail.sdg.alloy4.Runner

Packages that use Runner

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4viz	This package displays Alloy4 instances.

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

Methods in edu.mit.csail.sdg.alloy4 that return Runner

static Runner

Runner.createDispose(java.awt.Window window) This helper method returns a Runnable whose run() method will call window.dispose()

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

static void

MacUtil.registerApplicationListener(java.lang.Runnable reopen, java.lang.Runnable about, Runner open, java.lang.Runnable quit) Register a Mac OS X "ApplicationListener"; if there was a previous listener, it will be removed first.

Uses of Runner in edu.mit.csail.sdg.alloy4viz

Methods in edu.mit.csail.sdg.alloy4viz that return Runner

Runner	VizGUI.doShowTree() This method changes the display mode to show the instance as a tree (the return value is always null).
Runner	VizGUI.doShowTxt() This method changes the display mode to show the equivalent dot text (the return value is always null).
Runner	VizGUI.doShowViz() This method changes the display mode to show the instance as a graph (the return value is always null).