edu.mit.csail.sdg.alloy4viz
Class StaticGraphMaker

java.lang.Object
  edu.mit.csail.sdg.alloy4viz.StaticGraphMaker

public final class StaticGraphMaker
extends java.lang.Object

This utility class generates a graph for a particular index of the projection.

Thread Safety: Can be called only by the AWT event thread.

Method Summary

static javax.swing.JPanel

produceGraph(AlloyInstance instance, VizState view, AlloyProjection proj) Produces a single Graph from the given Instance and View and choice of Projection

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

produceGraph

public static javax.swing.JPanel produceGraph(AlloyInstance instance,
                                              VizState view,
                                              AlloyProjection proj)
                                       throws ErrorFatal

Produces a single Graph from the given Instance and View and choice of Projection

Throws:

ErrorFatal