# HG changeset patch
# User egahlin
# Date 1567098041 -7200
# Node ID f1610739fe86ca4d32b3389e7c34aba5736d20b5
# Parent  c72ed9929e02005af4471289c1fb4cc2bd884f62
Rename RecordingStream::setInterval to setFlushInterval

diff -r c72ed9929e02 -r f1610739fe86 src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java
--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java	Thu Aug 29 15:16:13 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java	Thu Aug 29 19:00:41 2019 +0200
@@ -334,8 +334,8 @@
      *
      * @throws IllegalStateException if the stream is closed
      */
-    public void setInterval(Duration duration) {
-        recording.setFlushInterval(duration);
+    public void setFlushInterval(Duration interval) {
+        recording.setFlushInterval(interval);
     }
 
     @Override
diff -r c72ed9929e02 -r f1610739fe86 src/jdk.jfr/share/classes/jdk/jfr/consumer/UseCasesStream.java
--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/UseCasesStream.java	Thu Aug 29 15:16:13 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/UseCasesStream.java	Thu Aug 29 19:00:41 2019 +0200
@@ -153,7 +153,7 @@
     public static void tooling() throws IOException, ParseException {
         Deque<Double> measurements = new ArrayDeque<>();
         try (RecordingStream rs = new RecordingStream(Configuration.getConfiguration("profile"))) {
-            rs.setInterval(Duration.ofSeconds(1));
+            rs.setFlushInterval(Duration.ofSeconds(1));
             rs.setMaxAge(Duration.ofMinutes(1));
             rs.setOrdered(true); // default
             rs.setReuse(false);
@@ -188,7 +188,6 @@
             rs.onEvent("jdk.JavaMonitorEnter", System.out::println);
             rs.onEvent("jdk.ExceptionThrow", System.out::println);
             rs.start();
-            ;
         }
     }
 }
diff -r c72ed9929e02 -r f1610739fe86 test/jdk/jdk/jfr/api/consumer/recordingstream/TestSetFlushInterval.java
--- a/test/jdk/jdk/jfr/api/consumer/recordingstream/TestSetFlushInterval.java	Thu Aug 29 15:16:13 2019 +0200
+++ b/test/jdk/jdk/jfr/api/consumer/recordingstream/TestSetFlushInterval.java	Thu Aug 29 19:00:41 2019 +0200
@@ -42,7 +42,7 @@
     public static void main(String... args) throws Exception {
         Duration expectedDuration = Duration.ofMillis(1001);
         try (RecordingStream r = new RecordingStream()) {
-            r.setInterval(expectedDuration);
+            r.setFlushInterval(expectedDuration);
             r.enable(EventNames.ActiveRecording);
             r.onEvent(e -> {
                 System.out.println(e);