public class Stats
extends java.lang.Object
Example:
// Enable stats, submit a query, then dump to stdout.
Stats.enable();
query.submit();
Stats.dump();
Constructor and Description |
---|
Stats() |
Modifier and Type | Method and Description |
---|---|
static void |
disable()
Disables internal TileDB statistics gathering.
|
static void |
dump()
Dump all statistics counters to stdout.
|
static void |
dump(java.lang.String filename)
Dump all statistics counters to a file
|
static void |
enable()
Enables internal TileDB statistics gathering.
|
static void |
reset()
Reset all internal statistics counters.
|
public static void enable() throws TileDBError
TileDBError
- A TileDB exceptionpublic static void disable() throws TileDBError
TileDBError
- A TileDB exceptionpublic static void reset() throws TileDBError
TileDBError
- A TileDB exceptionpublic static void dump(java.lang.String filename) throws TileDBError
filename
- A path stringTileDBError
- A TileDB exceptionpublic static void dump() throws TileDBError
TileDBError
- A TileDB exception