Files
sdk/compiler/java/com/google/dart/runner/JavaScriptLauncher.java
T
dgrove@google.com 977977e6ea Initial checkin.
git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@9 260f80e4-7a28-3924-810f-c04153c831b5
2011-10-05 05:00:35 +00:00

21 lines
566 B
Java

// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
package com.google.dart.runner;
import java.io.PrintStream;
import java.util.Set;
/**
* @author floitsch@google.com (Florian Loitsch)
*
*/
interface JavaScriptLauncher {
void execute(String jsScript, String sourceName, String[] args, Set<RunnerFlag> flags,
PrintStream stdout, PrintStream stderr)
throws RunnerError;
}