Rollback breaking change.

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@188 260f80e4-7a28-3924-810f-c04153c831b5
2011-10-07 01:16:59 +00:00
parent b5b46da81c
commit 5d45b72a3a
10 changed files with 122 additions and 86 deletions
@@ -5,6 +5,7 @@
 package com.google.dart.runner;

 import java.io.PrintStream;
+import java.util.Set;

 /**
 * @author floitsch@google.com (Florian Loitsch)
@@ -12,7 +13,7 @@ import java.io.PrintStream;
 */
 interface JavaScriptLauncher {

-  void execute(String jsScript, String sourceName, String[] args, RunnerOptions flags,
+  void execute(String jsScript, String sourceName, String[] args, Set<RunnerFlag> flags,
               PrintStream stdout, PrintStream stderr)
      throws RunnerError;