my.control
Class IO

java.lang.Object
  my.control.IO

public class IO
extends java.lang.Object

Constructor Summary

IO(java.io.File fileToLoad)

IO(java.io.File fileToSave, java.util.Enumeration liste)

Method Summary

java.util.Vector<Literal>	getListe()
java.lang.String	schreibeDatei(java.util.Enumeration liste)

Methods inherited from class java.lang.Object

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

Constructor Detail

IO

public IO(java.io.File fileToSave,
          java.util.Enumeration liste)

IO

public IO(java.io.File fileToLoad)

Method Detail

schreibeDatei

public java.lang.String schreibeDatei(java.util.Enumeration liste)

getListe

public java.util.Vector<Literal> getListe()