src/TransMessages.java

   1 import java.io.PrintStream;
   2
   3
   4 /**
   5  * Handle the messages that the translator (or someone else) will
   6  * give to this class depending on the print level.
   7  *
   8  */
   9 public class TransMessages {
  10         private int printLevel;
  11         public int[] messageCounters;
  12         public static final int M_DEB = 0;
  13         public static final int M_WAR = 1;
  14         public static final int M_ERR = 2;
  15         public static final int M_QUIET = 3;
  16         private PrintStream outStream;
  17
  18         public TransMessages() {
  19                 this.setPrintLevel(M_ERR);
  20                 this.messageCounters = new int[TransMessages.M_QUIET];
  21         }
  22
  23         void message(String mes, int level){
  24                         if (level>=getPrintLevel()) {
  25                                 outStream = System.out;
  26                                 outStream.println(mes);
  27                         }
  28                         messageCounters[level]++;
  29         }
  30
  31         void printMessageCounters(PrintStream out){
  32                         out.println("total errors:"+messageCounters[TransMessages.M_ERR]+" warnings:"+messageCounters[TransMessages.M_WAR]);
  33         }
  34
  35         void printMessageCounters(){
  36                         printMessageCounters(outStream);
  37         }
  38
  39         public int getPrintLevel() {
  40                 return printLevel;
  41         }
  42
  43         public void setPrintLevel(int printLevel) {
  44                 this.printLevel = printLevel;
  45         }
  46 }