class Recorder extends Object
Recorder(File file, Threshold threshold)
(package private) File
getFile()
(package private) Threshold
getThreshold()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
file
threshold
File getFile()
Threshold getThreshold()