Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/formatter/edit/EditBuilder.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/formatter/edit/EditBuilder.java (revision 15190) |
+++ editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/formatter/edit/EditBuilder.java (working copy) |
@@ -13,6 +13,8 @@ |
*/ |
package com.google.dart.engine.formatter.edit; |
+import java.util.List; |
+ |
/** |
* Implementers translate sequences of {@link Edit} descriptions into concrete {@link EditOperation} |
* s that can apply them. |
@@ -28,6 +30,6 @@ |
* @param edits the sequence of edits to apply |
* @return the resulting edit operation |
*/ |
- EditOperation<D, R> buildEdit(Iterable<Edit> edits); |
+ EditOperation<D, R> buildEdit(List<Edit> edits); |
} |