commit 8243cf55dcd0b847f918f460c586055819159d5b
author Ian Zerny <zerny@google.com> Wed Aug 21 08:42:03 2019 +0200
committer Ian Zerny <zerny@google.com> Wed Aug 21 07:50:30 2019 +0000
tree f18803d26a866bbf2143ee31c301baf196e85b59
parent af633eb30e62e5bed5fbf9ca18bba052767cf720

Make StringConsumer.finished an empty default method.

Change-Id: I6f2c0ed84c93eb64c2ad42836708db18c38293c3

src/main/java/com/android/tools/r8/StringConsumer.java

diff --git a/src/main/java/com/android/tools/r8/StringConsumer.java b/src/main/java/com/android/tools/r8/StringConsumer.java
index 5d02846..6e440eb 100644
--- a/src/main/java/com/android/tools/r8/StringConsumer.java
+++ b/src/main/java/com/android/tools/r8/StringConsumer.java
@@ -41,7 +41,7 @@
    *
    * @param handler Diagnostics handler for reporting.
    */
-  void finished(DiagnosticsHandler handler);
+  default void finished(DiagnosticsHandler handler) {}
 
   static EmptyConsumer emptyConsumer() {
     return EmptyConsumer.EMPTY_CONSUMER;