diff --git a/interface/src/main/java/xsbti/ExtendedReporter.java b/interface/src/main/java/xsbti/ExtendedReporter.java new file mode 100755 index 000000000..7bc4acc47 --- /dev/null +++ b/interface/src/main/java/xsbti/ExtendedReporter.java @@ -0,0 +1,10 @@ +/* sbt -- Simple Build Tool + * Copyright 2012 Eugene Vigdorchik + */ +package xsbti; + +/** An addition to standard reporter. Used by the IDE. */ +public interface ExtendedReporter extends Reporter +{ + public void comment(Position pos, String msg); +}