mirror of https://github.com/sbt/sbt.git
Merge ExtendedReporter into Reporter.
This commit is contained in:
parent
d2d406969b
commit
0a7a579f5b
|
|
@ -27,12 +27,7 @@ private final class DelegatingReporter(warnFatal: Boolean, private[this] var del
|
|||
override def hasErrors = delegate.hasErrors
|
||||
override def hasWarnings = delegate.hasWarnings
|
||||
def problems = delegate.problems
|
||||
override def comment(pos: Position, msg: String) {
|
||||
delegate match {
|
||||
case ext: xsbti.ExtendedReporter => ext.comment(convert(pos), msg)
|
||||
case _ =>
|
||||
}
|
||||
}
|
||||
override def comment(pos: Position, msg: String) = delegate.comment(convert(pos), msg)
|
||||
|
||||
override def reset =
|
||||
{
|
||||
|
|
|
|||
|
|
@ -64,6 +64,7 @@ class LoggerReporter(maximumErrors: Int, log: Logger, sourcePositionMapper: Posi
|
|||
def hasWarnings = count.get(Warn) > 0
|
||||
def hasErrors = count.get(Error) > 0
|
||||
def problems: Array[Problem] = allProblems.toArray
|
||||
def comment(pos: Position, msg: String) {}
|
||||
|
||||
def printSummary()
|
||||
{
|
||||
|
|
|
|||
|
|
@ -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);
|
||||
}
|
||||
|
|
@ -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);
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue