|
||||||||||
| 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 | |||||||||