edu.mit.sketch.util
Class LoadStoreModule

java.lang.Object
  |
  +--edu.mit.sketch.util.LoadStoreModule

public class LoadStoreModule

extends Object

This class loads and stores objects used by the ObjectManager. See loadTerminalsFromFile and storeTerminalsInFile functions.

Constructor Summary

LoadStoreModule()

Method Summary

static void	appendStringToFile(String file_name, String string) Append the string the the file
static Vector	loadTerminalsFromFile(String file_name) Load Terminals and NonTerminals from the given file, and return them in a Vector
static Vector	loadVerticesFromFile(String file_name) Load arrays of vertices from the given file, and return them in a Vector
static void	storeStringInFile(String file_name, String string) Store string to the given file.
static void	storeTerminalsInFile(String file_name, Vector objects) Store Terminals and NonTerminals in objects to the given file.
static void	storeVerticesInFile(String file_name, Vector objects) Store arrays of vertices in objects to the given file.

Methods inherited from class java.lang.Object

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

Constructor Detail

LoadStoreModule

public LoadStoreModule()

Method Detail

loadTerminalsFromFile

public static Vector loadTerminalsFromFile(String file_name)

Load Terminals and NonTerminals from the given file, and return them in a Vector

storeTerminalsInFile

public static void storeTerminalsInFile(String file_name,
                                        Vector objects)

Store Terminals and NonTerminals in objects to the given file.

loadVerticesFromFile

public static Vector loadVerticesFromFile(String file_name)

Load arrays of vertices from the given file, and return them in a Vector

storeVerticesInFile

public static void storeVerticesInFile(String file_name,
                                       Vector objects)

Store arrays of vertices in objects to the given file.

storeStringInFile

public static void storeStringInFile(String file_name,
                                     String string)

Store string to the given file.

appendStringToFile

public static void appendStringToFile(String file_name,
                                      String string)

Append the string the the file