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