X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=src%2FTransMessages.java;fp=src%2FTransMessages.java;h=0000000000000000000000000000000000000000;hp=5880c7903228cdd9b294f623e9736556151e626b;hb=5d39cc364ece8fd933eb1b8612e7b7dfd1432dcc;hpb=eef0ddbd915d0f1d2df423a3265266b5c6651537 diff --git a/src/TransMessages.java b/src/TransMessages.java deleted file mode 100644 index 5880c79..0000000 --- a/src/TransMessages.java +++ /dev/null @@ -1,62 +0,0 @@ -/* - Copyright (C) 2014 Doni Pracner - - This file is part of mjc2wsl. - - mjc2wsl is free software: you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - - mjc2wsl is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License - along with mjc2wsl. If not, see . -*/ -import java.io.PrintStream; - -/** - * Handle the messages that the translator (or someone else) will - * give to this class depending on the print level. - * - */ -public class TransMessages { - private int printLevel; - public int[] messageCounters; - public static final int M_DEB = 0; - public static final int M_WAR = 1; - public static final int M_ERR = 2; - public static final int M_QUIET = 3; - private PrintStream outStream = System.out; - - public TransMessages() { - this.setPrintLevel(M_ERR); - this.messageCounters = new int[TransMessages.M_QUIET]; - } - - void message(String mes, int level){ - if (level>=getPrintLevel()) { - outStream.println(mes); - } - messageCounters[level]++; - } - - void printMessageCounters(PrintStream out){ - out.println("total errors:"+messageCounters[TransMessages.M_ERR]+" warnings:"+messageCounters[TransMessages.M_WAR]); - } - - void printMessageCounters(){ - printMessageCounters(outStream); - } - - public int getPrintLevel() { - return printLevel; - } - - public void setPrintLevel(int printLevel) { - this.printLevel = printLevel; - } -} \ No newline at end of file