|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.timeindexing.io.IndexTyper
This opens an Index file and determines what type of of index is represented.
Constructor Summary | |
protected |
IndexTyper()
Construct a typer |
|
IndexTyper(java.io.File file)
Construct a decoder. |
|
IndexTyper(java.lang.String filename)
Construct a decoder. |
Method Summary | |
long |
close()
Operation on close |
boolean |
exists(java.lang.String filename)
Does the index header file exist |
protected long |
getHeaderLength()
Determine the length of a Header |
ID |
getID()
Get an ID of an index. |
IndexType |
getIndexType()
Get the data style. |
java.lang.String |
getName()
Get the name of the index. |
java.lang.String |
getPathName()
Get the path name. |
boolean |
isOpen()
Is the IndexHeader open |
boolean |
open(java.lang.String filename)
Open an index header to read it. |
boolean |
open(java.lang.String filename,
java.lang.String extention)
Open an index header to read it. |
long |
read()
Read an index header from the header stream. |
long |
readFromChannel(java.nio.channels.FileChannel channel,
long headerSize)
Read an index header from the header stream. |
void |
setID(ID id)
Set the ID of the index. |
void |
setIndexType(IndexType type)
Set the data style. |
void |
setName(java.lang.String name)
Set the name of the index. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
protected IndexTyper()
public IndexTyper(java.lang.String filename) throws java.io.IOException
public IndexTyper(java.io.File file) throws java.io.IOException
Method Detail |
public java.lang.String getPathName()
public boolean open(java.lang.String filename) throws java.io.IOException
java.io.IOException
public boolean open(java.lang.String filename, java.lang.String extention) throws java.io.IOException
java.io.IOException
public boolean exists(java.lang.String filename)
public boolean isOpen()
public long close() throws java.io.IOException
java.io.IOException
public long read() throws java.io.IOException
java.io.IOException
public long readFromChannel(java.nio.channels.FileChannel channel, long headerSize) throws java.io.IOException
java.io.IOException
public java.lang.String getName()
public void setName(java.lang.String name)
public ID getID()
public void setID(ID id)
public IndexType getIndexType()
public void setIndexType(IndexType type)
protected long getHeaderLength() throws java.io.IOException
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |