|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ErrorFatal | |
|---|---|
| edu.mit.csail.sdg.alloy4viz | This package displays Alloy4 instances. |
| Uses of ErrorFatal in edu.mit.csail.sdg.alloy4viz |
|---|
| Methods in edu.mit.csail.sdg.alloy4viz that throw ErrorFatal | |
|---|---|
static javax.swing.JPanel |
StaticGraphMaker.produceGraph(AlloyInstance instance,
VizState view,
AlloyProjection proj)
Produces a single Graph from the given Instance and View and choice of Projection |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||