de.pado.dv
Class DVIOHelpers

java.lang.Object
  extended by de.pado.dv.DVIOHelpers

public class DVIOHelpers
extends java.lang.Object

This class contains small helper functions that are the same in each of the three executables. In order to keep the code coherent and small, they have been moved to this auxiliary class, which only contains static methods


Constructor Summary
DVIOHelpers()
           
 
Method Summary
static java.lang.String affix(java.lang.String cs, java.lang.String val)
          Creates a filename by combining the name of a context specification and the name of a path value function.
static void testLocation(java.lang.String filename)
          Tests if the given filename is good for writing by creating a file there and erasing it afterwards.
static void writeToFile(java.lang.String filename, java.lang.String string)
          Opens a file, writes the string to it, closes the file.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DVIOHelpers

public DVIOHelpers()
Method Detail

writeToFile

public static void writeToFile(java.lang.String filename,
                               java.lang.String string)
                        throws java.io.IOException
Opens a file, writes the string to it, closes the file.

Throws:
java.io.IOException

testLocation

public static void testLocation(java.lang.String filename)
                         throws java.io.IOException
Tests if the given filename is good for writing by creating a file there and erasing it afterwards.

Throws:
java.io.IOException

affix

public static java.lang.String affix(java.lang.String cs,
                                     java.lang.String val)
Creates a filename by combining the name of a context specification and the name of a path value function.