|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RecordingOptionsBuilder | |
---|---|
com.jrockit.mc.rjmx.flr |
Uses of RecordingOptionsBuilder in com.jrockit.mc.rjmx.flr |
---|
Methods in com.jrockit.mc.rjmx.flr that return RecordingOptionsBuilder | |
---|---|
RecordingOptionsBuilder |
RecordingOptionsBuilder.addByKey(java.lang.String key,
java.lang.String property)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.destinationCompressed(boolean compress)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.destinationFile(java.lang.String fileName)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.duration(long duration)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.fromProperties(java.util.Properties props)
Will initialize the builder from a properties collection. |
RecordingOptionsBuilder |
RecordingOptionsBuilder.maxAge(long maxAge)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.maxSize(long maxSize)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.name(java.lang.String name)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.startTime(java.util.Date startTime)
|
RecordingOptionsBuilder |
RecordingOptionsBuilder.toDisk(boolean toDisk)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |