gate.util
Class Scratch
java.lang.Object
|
+--gate.util.Scratch
- public class Scratch
- extends Object
A scratch pad for experimenting.
Inner Class Summary |
(package private) class |
Scratch.SessionState
Inner class for holding CR and DSR for serialisation experiments |
Field Summary |
private static boolean |
DEBUG
Debug flag |
protected static Random |
randomiser
Random number generator |
Method Summary |
static void |
dumpGuiState()
***** Failed *****
attempt to serialise whole gui state - various swing components
don't like to be serialised :-(. |
static void |
exitTimeHook()
Example of using an exit-time hook. |
static void |
main(String[] args)
|
protected static int |
random()
Generate a random integer for file naming. |
void |
runNerc()
Run NERC and print out the various stages (doesn't actually
use Nerc but the individual bits), and serialise then deserialise
the NERC system. |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
DEBUG
private static final boolean DEBUG
- Debug flag
randomiser
protected static Random randomiser
- Random number generator
Scratch
public Scratch()
main
public static void main(String[] args)
throws Exception
exitTimeHook
public static void exitTimeHook()
- Example of using an exit-time hook.
dumpGuiState
public static void dumpGuiState()
- ***** Failed *****
attempt to serialise whole gui state - various swing components
don't like to be serialised :-(. might be worth trying again when
jdk1.4 arrives.
runNerc
public void runNerc()
throws Exception
- Run NERC and print out the various stages (doesn't actually
use Nerc but the individual bits), and serialise then deserialise
the NERC system.
random
protected static int random()
- Generate a random integer for file naming.