sbt/internal/util-interface/src/main/java/xsbti/Problem.java

/* sbt -- Simple Build Tool
 * Copyright 2008, 2009, 2010  Mark Harrah
 */
package xsbti;

public interface Problem
{
	String category();
	Severity severity();
	String message();
	Position position();
}
more flexible scalac logging the custom scalac Reporter now delegates to an instance of an sbt interface called xsbti.Reporter handling compilation logging is now mainly done on the sbt-side of the compiler interface the xsbti.Reporter interface provides access to richer information about errors and warnings, including source file, line, and offset xsbti.Reporter can be implemented by users to get access to detailed information without needing to parse the logging output the CompileFailed exception that is thrown when compilation fails now includes an array of the problems, providing detailed error and warning information that can, for example, be consumed by doing a mapFailure on 'compile' and using 'Compile.allProblems' 2010-10-23 22:34:22 +02:00			`/* sbt -- Simple Build Tool`
			`* Copyright 2008, 2009, 2010 Mark Harrah`
			`*/`
			`package xsbti;`

			`public interface Problem`
			`{`
move to revised warning interface in the compiler 2012-05-06 20:15:03 +02:00			`String category();`
more flexible scalac logging the custom scalac Reporter now delegates to an instance of an sbt interface called xsbti.Reporter handling compilation logging is now mainly done on the sbt-side of the compiler interface the xsbti.Reporter interface provides access to richer information about errors and warnings, including source file, line, and offset xsbti.Reporter can be implemented by users to get access to detailed information without needing to parse the logging output the CompileFailed exception that is thrown when compilation fails now includes an array of the problems, providing detailed error and warning information that can, for example, be consumed by doing a mapFailure on 'compile' and using 'Compile.allProblems' 2010-10-23 22:34:22 +02:00			`Severity severity();`
			`String message();`
			`Position position();`
			`}`