uk.ac.umist.co.brailletrans.utils
Class Translator

java.lang.Object
  |
  +--uk.ac.umist.co.brailletrans.utils.Translator

public class Translator
extends java.lang.Object

Superclass of translation tools that use the Language programs. Contains various commonly-used utilities for reading from disk, converting arrays and so forth.


Constructor Summary
Translator()
           
 
Method Summary
static int[] readIntArrayFromDisk(java.lang.String filename)
          Reads an array of ints from a local file using BufferedInputStream.
static java.lang.String readStringFromDisk(java.lang.String filename)
          Reads text as a String from a local file using java.io.BufferedReader.
static void writeIntArrayToDisk(int[] toWrite, java.lang.String filename)
          Saves an array of integers to disk using FileOutputStream
static void writeStringToDisk(java.lang.String filename, java.lang.String toWrite)
          Writes a String to a local file using BufferedWriter
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Translator

public Translator()
Method Detail

writeStringToDisk

public static void writeStringToDisk(java.lang.String filename,
                                     java.lang.String toWrite)
                              throws java.io.IOException
Writes a String to a local file using BufferedWriter
Parameters:
filename - String containing full path and name of file to write to.
toWrite - String to be written to file in filename.

readStringFromDisk

public static java.lang.String readStringFromDisk(java.lang.String filename)
                                           throws java.io.FileNotFoundException,
                                                  java.io.IOException
Reads text as a String from a local file using java.io.BufferedReader.
Parameters:
filename - String containing the full path and filename of the local file to read text from.
Returns:
toReturn The String read from the local file.

readIntArrayFromDisk

public static int[] readIntArrayFromDisk(java.lang.String filename)
                                  throws java.io.FileNotFoundException,
                                         java.io.IOException
Reads an array of ints from a local file using BufferedInputStream.
Parameters:
filename - String containing the full path and filename of the local file to read from.
Returns:
toReturn An int[] containing ints read from file.

writeIntArrayToDisk

public static void writeIntArrayToDisk(int[] toWrite,
                                       java.lang.String filename)
                                throws java.io.IOException
Saves an array of integers to disk using FileOutputStream
Parameters:
toWrite - Array of ints to write to disk.
filename - String holding the full path and filename to write to.