gate.util
Class Tools
java.lang.Object
|
+--gate.util.Tools
- public class Tools
- extends Object
Constructor Summary |
Tools()
|
Method Summary |
static Long |
gensym()
Returns a Long wich is unique during the current run. |
static Long |
genTime()
|
static boolean |
isUnicodeEnabled()
Checks wheter Gate is Unicode enabled |
static void |
setUnicodeEnabled(boolean value)
Specifies whether Gate should or shouldn't know about Unicode |
Tools
public Tools()
gensym
public static Long gensym()
- Returns a Long wich is unique during the current run.
Maybe we should use serializaton in order to save the state on
System.exit...
genTime
public static Long genTime()
setUnicodeEnabled
public static void setUnicodeEnabled(boolean value)
- Specifies whether Gate should or shouldn't know about Unicode
isUnicodeEnabled
public static boolean isUnicodeEnabled()
- Checks wheter Gate is Unicode enabled