Class FileManager

java.lang.Object

FileManager

public class FileManager
extends java.lang.Object

A class for writing, saving, and loading files of various types.

Method Summary

Methods

Modifier and Type	Method and Description
static char	getChar(int n) Get the character at position n in the alphabet.
static RhombBoundary	loadRhombBoundary(java.lang.String filename) Load a RhombBoundary from the file with the given name.
static SubstitutionEditorSaveState	loadSubstitutionEditor(java.lang.String filename) Load a SubstitutionEditorSaveState from the file with the given name.
static void	main(java.lang.String[] args) For testing.
static void	postscriptDump(java.lang.String fileName, PatchDisplay patch) Write a patch to a postscript file.
static void	postscriptHeader(java.lang.String fileName, java.lang.String box) Write a header for a postscript file to the given file.
static int[][]	readEdgeSequenceList(int n) Read an edge sequence list from a file in ./edges
static void	saveRhombBoundary(java.lang.String path, RhombBoundary r) Save a RhombBoundary to the file with the given name.
static void	saveSubstitutionEditor(java.lang.String filename, SubstitutionEditorSaveState state) Save a SubstitutionEditorSaveState to the file with the given name.

Methods inherited from class java.lang.Object

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

Method Detail

getChar

public static char getChar(int n)

Get the character at position n in the alphabet.

Parameters:

n - The index in the alphabet at which we want to find a character.

Returns:

The character at index n in the alphabet.

postscriptHeader

public static void postscriptHeader(java.lang.String fileName,
                    java.lang.String box)

Write a header for a postscript file to the given file.

Parameters:

fileName - The name of the file on which to write.

box - Coordinates of the bounding box for the image, in the form "xmin ymin xmax ymax"

postscriptDump

public static void postscriptDump(java.lang.String fileName,
                  PatchDisplay patch)

Write a patch to a postscript file.

Parameters:

fileName - The name of the file on which to write.

patch - The PatchDisplay to be depicted in the file.

loadRhombBoundary

public static RhombBoundary loadRhombBoundary(java.lang.String filename)

Load a RhombBoundary from the file with the given name.

Parameters:

filename - The name of the file from which to load.

saveRhombBoundary

public static void saveRhombBoundary(java.lang.String path,
                     RhombBoundary r)

Save a RhombBoundary to the file with the given name.

Parameters:

path - The name of the file to which to save.

r - The RhombBoundary that we wish to save.

loadSubstitutionEditor

public static SubstitutionEditorSaveState loadSubstitutionEditor(java.lang.String filename)

Load a SubstitutionEditorSaveState from the file with the given name.

Parameters:

filename - The name of the file from which to load.

saveSubstitutionEditor

public static void saveSubstitutionEditor(java.lang.String filename,
                          SubstitutionEditorSaveState state)

Save a SubstitutionEditorSaveState to the file with the given name.

Parameters:

filename - The name of the file to which to save.

state - The SubstitutionEditor to be saved.

readEdgeSequenceList

public static int[][] readEdgeSequenceList(int n)

Read an edge sequence list from a file in ./edges

Parameters:

n - The value of Point.N() for which to read edge sequences.

Returns:

The contents of edges$i.txt, formatted and converted to int[][].

main

public static void main(java.lang.String[] args)

For testing.