main
Class GlobalIO
java.lang.Object
main.GlobalIO
- public class GlobalIO
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GlobalIO
public GlobalIO()
setGlobalOutfile
public static void setGlobalOutfile(java.lang.String filename)
throws java.io.IOException
- Throws:
java.io.IOException
closeGlobalOutfile
public static void closeGlobalOutfile()
printGeneral
public static void printGeneral(java.lang.String str)
printGeneral
public static void printGeneral(java.lang.String str,
boolean to_script)
printlnGeneral
public static void printlnGeneral(java.lang.String str)
printlnGeneral
public static void printlnGeneral(java.lang.String str,
boolean to_script)
printScript
public static void printScript(java.lang.String str)
printlnScript
public static void printlnScript(java.lang.String str)