edu.mit.csail.sdg.alloy4viz
Class StaticInstanceReader

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

public final class StaticInstanceReader
extends java.lang.Object

This utility class parses an XML file into an AlloyInstance object.

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

Method Summary

static AlloyInstance	parseInstance(java.io.File file) Parse the file into an AlloyInstance if possible.
static AlloyInstance	parseInstance(java.io.Reader reader) Parse the file into an AlloyInstance if possible, then close the Reader afterwards.

Methods inherited from class java.lang.Object

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

Method Detail

parseInstance

public static AlloyInstance parseInstance(java.io.File file)
                                   throws Err

Parse the file into an AlloyInstance if possible.

Throws:

Err

parseInstance

public static AlloyInstance parseInstance(java.io.Reader reader)
                                   throws Err

Parse the file into an AlloyInstance if possible, then close the Reader afterwards.

Throws:

Err