org.basex.gui.view.query
Class QueryStats
java.lang.Object
org.basex.util.Set
org.basex.gui.view.query.QueryStats
public final class QueryStats
- extends Set
This class contains statistics on the current document.
Could later be moved to the database storage to support other
statistical operations on the data.
- Author:
- Workgroup DBIS, University of Konstanz 2005-07, ISC License, Christian Gruen
| Fields inherited from class org.basex.util.Set |
size |
|
Method Summary |
void |
finish()
Finishes the statistics. |
QueryKey |
get(byte[] tok)
Returns the value for the specified key. |
void |
index(byte[] key,
byte[] val)
Indexes the specified keys and values. |
QueryKey |
val(int p)
Returns the specified value. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
QueryStats
public QueryStats()
finish
public void finish()
- Finishes the statistics.
get
public QueryKey get(byte[] tok)
- Returns the value for the specified key.
- Parameters:
tok - key to be found
- Returns:
- value or null if nothing was found
index
public void index(byte[] key,
byte[] val)
- Indexes the specified keys and values.
- Parameters:
key - keyval - value
val
public QueryKey val(int p)
- Returns the specified value.
- Parameters:
p - value index
- Returns:
- value