public class FileRef
extends Object
File references.
These are not filenames - they are a per-database file id.
-
-
Method Summary
boolean
static void
int
int
static void
-
Field Details
-
Journal
public static final FileRef Journal
-
Method Details
-
register
public static void register(String fn)
-
file
public static void file(String name)
Public - for testing
-
-
-
get
public static FileRef get(int fileId)
-
-
-
-
-