| java.lang.Object org.hsqldb.lib.java.JavaSystem
JavaSystem | public class JavaSystem (Code) | | Handles the differences between JDK 1.1.x and 1.2.x and above
author: fredt@users version: 1.8.0 |
gcFrequency | public static int gcFrequency(Code) | | |
memoryRecords | public static int memoryRecords(Code) | | |
CompareIngnoreCase | public static int CompareIngnoreCase(String a, String b)(Code) | | Arguments are never null.
|
createNewFile | public static boolean createNewFile(File file)(Code) | | |
deleteOnExit | public static void deleteOnExit(File f)(Code) | | |
gc | public static void gc()(Code) | | |
runFinalizers | public static void runFinalizers()(Code) | | |
setLogToSystem | public static void setLogToSystem(boolean value)(Code) | | |
|
|