summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/util/Reporter.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler/scala/tools/util/Reporter.java')
-rw-r--r--src/compiler/scala/tools/util/Reporter.java62
1 files changed, 62 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/util/Reporter.java b/src/compiler/scala/tools/util/Reporter.java
new file mode 100644
index 0000000000..b2411e0649
--- /dev/null
+++ b/src/compiler/scala/tools/util/Reporter.java
@@ -0,0 +1,62 @@
+/* ____ ____ ____ ____ ______ *\
+** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
+** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
+** /_____/\____/\___/\____/____/ **
+\* */
+
+// $Id$
+
+package scala.tools.util;
+
+/**
+ * This interface provides methods to issue information, warning and
+ * error messages.
+ */
+public interface Reporter {
+
+ //########################################################################
+ // Public Methods - Flags
+
+ /** Are information messages issued? */
+ public boolean verbose();
+ /** Are warnings issued? */
+ public boolean nowarn();
+ /** Is a prompt displayed after errors and warnings? */
+ public boolean prompt();
+
+ /** Sets whether information messages are issued. */
+ public void verbose(boolean verbose);
+ /** Sets whether warnings are issued. */
+ public void nowarn(boolean nowarn);
+ /** Sets whether a prompt is displayed after errors and warnings. */
+ public void prompt(boolean prompt);
+
+ //########################################################################
+ // Public Methods - Count
+
+ /** Returns the number of warnings issued. */
+ public int warnings();
+
+ /** Returns the number of errors issued. */
+ public int errors();
+
+ /** Resets all counters. */
+ public void resetCounters();
+
+ //########################################################################
+ // Public Methods - Report
+
+ /**
+ * Issues an information. The position may be null. If force is
+ * true, the message is displayed even in non-verbose mode.
+ */
+ public void info(Position position, String message, boolean force);
+
+ /** Issues a warning. The position may be null. */
+ public void warning(Position position, String message);
+
+ /** Issues an error. The position may be null. */
+ public void error(Position position, String message);
+
+ //########################################################################
+}