luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge ExtendedReporter into Reporter.

This commit is contained in:
Mark Harrah 2013-05-27 19:12:39 -04:00
parent 61decef972
commit a1b793dc1e
2 changed files with 3 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
interface/src/main/java/xsbti/ExtendedReporter.java
View File

@ -1,10 +0,0 @@
/* 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);
}

4
interface/src/main/java/xsbti/Reporter.java
View File

@ -17,4 +17,6 @@ public interface Reporter
public Problem[] problems();
/** Logs a message.*/
public void log(Position pos, String msg, Severity sev);
}
/** Reports a comment. */
public void comment(Position pos, String msg);
}