TransMessages - make field private and add a reader if needed

diff --git a/src/com/qumaster/transformations/TransMessages.java b/src/com/qumaster/transformations/TransMessages.java
index 286a3d09be0782f1159f2539411c39763f9d8e4c..140bd47875333b45cad2a2ef0b7defe7effbfd4b 100644 (file)
--- a/src/com/qumaster/transformations/TransMessages.java
+++ b/src/com/qumaster/transformations/TransMessages.java
@@ -26,7 +26,7 @@ import java.io.PrintStream;
  */
 public class TransMessages {
        private int printLevel;
-       public int[] messageCounters;
+       private int[] messageCounters;
        public static final int M_DEB = 0;
        public static final int M_WAR = 1;
        public static final int M_ERR = 2;
@@ -45,6 +45,13 @@ public class TransMessages {
                        messageCounters[level]++;
        }
 
+       public int getLevelMessageCount(int level){
+               if (level < messageCounters.length){
+                       return messageCounters[level];
+               }
+               return 0;
+       }
+
        public void printMessageCounters(PrintStream out){
                        out.println("total errors:"+messageCounters[TransMessages.M_ERR]+" warnings:"+messageCounters[TransMessages.M_WAR]);
        }