| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
BASEXSUFFIX
Database file suffix.
|
static int |
BLOCKSIZE
Disk block/page size (default: 4096).
|
static java.lang.String |
CSVSUFFIX
CSV file suffix.
|
static java.text.SimpleDateFormat |
DATE
Date format which is appended to backups.
|
static java.lang.String |
DATEPATTERN
Date pattern.
|
static int |
ENTRIES
Entries per block (default: 256).
|
static java.lang.String |
FILEPREF
File prefix.
|
static java.lang.String |
GZSUFFIX
GZIP file suffix.
|
static java.lang.String[] |
HTMLSUFFIXES
HTML suffixes.
|
static java.lang.String |
JSONSUFFIX
JSON file suffix.
|
static int |
MAXATTS
Maximum number of attributes (see bit layout in
Data class). |
static int |
NODEPOWER
Table node size power (default: 4).
|
static int |
NODESIZE
Table node size power (default: 4).
|
static long |
OFFCOMP
Offset for compressing texts (see bit layout in
Data class). |
static long |
OFFNUM
Offset for inlining numbers (see bit layout in
Data class). |
static java.lang.String[] |
TXTSUFFIXES
Text suffixes.
|
static java.lang.String |
XARSUFFIX
XAR file suffix.
|
static java.lang.String |
XMLSUFFIX
XML file suffix.
|
static java.lang.String[] |
XMLSUFFIXES
XML suffixes.
|
static java.lang.String |
XQMSUFFIX
XQuery module suffix.
|
static java.lang.String |
XQSUFFIX
XQuery file suffix.
|
static java.lang.String[] |
XQSUFFIXES
XQuery suffixes.
|
static java.lang.String |
ZIPSUFFIX
ZIP file suffix.
|
static java.lang.String[] |
ZIPSUFFIXES
ZIP suffixes.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
dbname()
Chops the path and the file suffix of the specified filename
and returns the database name.
|
java.lang.String |
dir()
Returns the directory.
|
boolean |
eq(IO io)
Compares the filename of the specified IO reference.
|
boolean |
exists()
Tests if the file exists.
|
static IO |
get(java.lang.String source)
Returns a class instance for the specified string.
|
abstract org.xml.sax.InputSource |
inputSource()
Returns an input source.
|
abstract java.io.InputStream |
inputStream()
Returns an input stream.
|
boolean |
isArchive()
Checks if this file is an archive.
|
boolean |
isDir()
Tests if this is a directory instance.
|
boolean |
isXML()
Checks if this file contains XML.
|
abstract long |
length()
Returns the file length.
|
abstract IO |
merge(java.lang.String fn)
Merges two filenames.
|
boolean |
more(boolean archive)
Checks if more input streams are found.
|
java.lang.String |
name()
Returns the name of the resource.
|
void |
name(java.lang.String n)
Sets the name of the resource.
|
java.lang.String |
path()
Returns the path.
|
abstract byte[] |
read()
Returns the contents.
|
long |
timeStamp()
Returns the modification date of this file.
|
java.lang.String |
toString() |
java.lang.String |
url()
Creates a URL from the specified path.
|
public static final java.lang.String BASEXSUFFIX
public static final java.lang.String XQSUFFIX
public static final java.lang.String XQMSUFFIX
public static final java.lang.String XMLSUFFIX
public static final java.lang.String ZIPSUFFIX
public static final java.lang.String CSVSUFFIX
public static final java.lang.String JSONSUFFIX
public static final java.lang.String GZSUFFIX
public static final java.lang.String XARSUFFIX
public static final java.lang.String FILEPREF
public static final java.text.SimpleDateFormat DATE
public static final java.lang.String DATEPATTERN
public static final java.lang.String[] XQSUFFIXES
public static final java.lang.String[] ZIPSUFFIXES
public static final java.lang.String[] XMLSUFFIXES
public static final java.lang.String[] HTMLSUFFIXES
public static final java.lang.String[] TXTSUFFIXES
public static final int BLOCKSIZE
public static final int NODEPOWER
public static final int NODESIZE
public static final int ENTRIES
public static final int MAXATTS
Data class).public static final long OFFNUM
Data class).public static final long OFFCOMP
Data class).public static IO get(java.lang.String source)
Returns a class instance for the specified string. The type of the returned instance depends on the string value:
IOContent: if the string starts with an angle bracket (<)
or if it is a null reference, it is interpreted as XML fragment
and handled as byte arrayIOFile: if the string starts with file:, or if it
does not contain the substring ://, it is interpreted as
local file instanceIOUrl: otherwise, it is handled as URLsource - source stringpublic abstract byte[] read()
throws java.io.IOException
java.io.IOException - I/O exceptionpublic boolean exists()
true by default.public boolean isDir()
public long timeStamp()
public abstract long length()
public boolean more(boolean archive)
throws java.io.IOException
archive - parse archivesjava.io.IOException - I/O exceptionpublic abstract org.xml.sax.InputSource inputSource()
public abstract java.io.InputStream inputStream()
throws java.io.IOException
java.io.IOException - I/O exceptionpublic abstract IO merge(java.lang.String fn)
fn - file name/path to be appendedpublic boolean isArchive()
public boolean isXML()
public final java.lang.String dbname()
public final java.lang.String name()
public final void name(java.lang.String n)
n - file namepublic final java.lang.String path()
public java.lang.String url()
public java.lang.String dir()
public final boolean eq(IO io)
io - io referencepublic java.lang.String toString()
toString in class java.lang.Object