edu.mit.csail.sdg.alloy4viz
Class StaticThemeReaderWriter

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

public final class StaticThemeReaderWriter
extends java.lang.Object

This utility class contains methods to read and write VizState customizations.

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

Method Summary

static void	readAlloy(java.lang.String filename, VizState theme) Read the XML file and merge its settings into an existing VizState object.
static void	writeAlloy(java.lang.String filename, VizState theme) Write the VizState's customizations into a new file (which will be overwritten if it exists).

Methods inherited from class java.lang.Object

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

Method Detail

readAlloy

public static void readAlloy(java.lang.String filename,
                             VizState theme)
                      throws java.io.IOException

Read the XML file and merge its settings into an existing VizState object.

Throws:

java.io.IOException

writeAlloy

public static void writeAlloy(java.lang.String filename,
                              VizState theme)
                       throws java.io.IOException

Write the VizState's customizations into a new file (which will be overwritten if it exists).

Throws:

java.io.IOException