Merge remote-tracking branch 'cancel-bug' into 0.13

2013-07-19 18:56:01 -04:00 · 2013-07-19 18:56:01 -04:00 · f6141d2862
parent 1d829e2512 66a48b08c7
commit f6141d2862
1 changed files with 9 additions and 0 deletions
--- a/interface/src/main/java/xsbti/CompileCancelled.java
+++ b/interface/src/main/java/xsbti/CompileCancelled.java
@ -0,0 +1,9 @@
+package xsbti;
+
+/**
+ * An exception thrown when compilation cancellation has been requested during
+ * Scala compiler run.
+ */
+public abstract class CompileCancelled extends RuntimeException {
+	public abstract String[] arguments();
+}