|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.basex.io.IO
org.basex.io.IOFile
public final class IOFile
File reference, wrapped into an IO representation.
Field Summary |
---|
Fields inherited from class org.basex.io.IO |
---|
BASEXSUFFIX, BLOCKFILL, BLOCKSIZE, DUMMY, GZSUFFIX, MAXHEIGHT, NODEPOWER, NUMOFF, XMLSUFFIX, XQSUFFIX, ZIPSUFFIX |
Constructor Summary | |
---|---|
IOFile(File f)
Constructor. |
|
IOFile(String f)
Constructor. |
Method Summary | |
---|---|
BufferInput |
buffer()
Returns a buffered reader for the file. |
void |
cache()
Caches the contents. |
IO[] |
children()
Returns the children of a document. |
long |
date()
Returns the modification date of this file. |
boolean |
delete()
Chops the path and the XML suffix of the specified filename. |
String |
dir()
Returns the directory. |
boolean |
exists()
Verifies if the file exists. |
static String |
file(String url)
Creates a file path from the specified URL. |
InputSource |
inputSource()
Returns the next input source. |
boolean |
isDir()
Returns if this is a directory instance. |
long |
length()
Returns the file length. |
boolean |
md()
Creates the directory. |
IO |
merge(String f)
Merges two filenames. |
boolean |
more()
Checks if more input streams are found. |
String |
url()
Creates a URL from the specified path. |
void |
write(byte[] c)
Writes the specified file contents. |
Methods inherited from class org.basex.io.IO |
---|
content, dbname, eq, get, getDir, name, path, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public IOFile(String f)
f
- file pathpublic IOFile(File f)
f
- file referenceMethod Detail |
---|
public void cache() throws IOException
IO
cache
in class IO
IOException
- I/O exceptionpublic boolean exists()
IO
exists
in class IO
public boolean isDir()
IO
isDir
in class IO
public long date()
IO
date
in class IO
public long length()
IO
length
in class IO
public boolean more() throws IOException
IO
more
in class IO
IOException
- I/O exceptionpublic InputSource inputSource()
IO
inputSource
in class IO
public BufferInput buffer() throws IOException
IO
buffer
in class IO
IOException
- I/O exceptionpublic IO merge(String f)
IO
merge
in class IO
f
- filename of the file
public boolean md()
IO
md
in class IO
public String dir()
IO
dir
in class IO
public IO[] children()
IO
children
in class IO
public void write(byte[] c) throws IOException
IO
write
in class IO
c
- contents
IOException
- I/O exceptionpublic boolean delete()
IO
delete
in class IO
public String url()
IO
url
in class IO
public static String file(String url)
url
- url to be converted
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |