*/
public String getPath();
+ /**
+ * @return the trace cache size
+ */
+ public int getCacheSize();
+
// ------------------------------------------------------------------------
// Trace characteristics getters
// ------------------------------------------------------------------------
// ------------------------------------------------------------------------
// ------------------------------------------------------------------------
- /**
- * @return the trace index page size
- */
- public int getIndexPageSize();
-
/**
* @return the streaming interval in ms (0 if not a streaming trace)
*/