Changeset 639 for trunk/quest-ui-core/src/main/java/de/ugoe

Timestamp:

08/27/12 15:53:25 (12 years ago)

Author:

sherbold

Message:

• all usages of the Console tracing API now define log levels

Location:

trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest

Files:

• CommandHelpers.java (modified) (2 diffs)
• ReplayGenerator.java (modified) (2 diffs)
• ui/commands/CMDgenerateGreedy.java (modified) (3 diffs)
• ui/commands/CMDshowTimer.java (modified) (2 diffs)

trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/CommandHelpers.java

@@ -1 +1 @@
 package de.ugoe.cs.quest;
+
+import java.util.logging.Level;
 
 import de.ugoe.cs.util.console.Console;
@@ -50 +52 @@
          */
         public static void dataOverwritten(String objectName) {
-                Console.traceln("Existing object " + objectName + " overwritten.");
+                Console.traceln(Level.INFO, "Existing object " + objectName + " overwritten.");
         }
 }

trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ReplayGenerator.java

@@ -8 +8 @@
 import java.util.Collection;
 import java.util.List;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.IReplayDecorator;
@@ -137 +138 @@
             fileCreated = file.createNewFile();
             if (!fileCreated) {
-                Console.traceln("Created logfile " + filename);
+                Console.traceln(Level.INFO, "Created logfile " + filename);
             }
             else {
-                Console.traceln("Overwrote existing logfile " + filename);
+                Console.traceln(Level.INFO, "Overwrote existing logfile " + filename);
             }
         }

trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateGreedy.java

@@ -9 +9 @@
 import java.util.Map;
 import java.util.Set;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.CommandHelpers;
@@ -86 +87 @@
                         }
                 }
-                Console.traceln("" + allSequences.size() + " possible");
+                Console.traceln(Level.INFO, "" + allSequences.size() + " possible");
 
                 Collection<List<Event>> allSubSeqs = model
@@ -139 +140 @@
                         }
                         if (maxIndex < 0 || sequenceGain[maxIndex] <= 0.0 + eps) {
-                                Console.traceln("No gain anymore! Desired coverage cannot be satisfied!");
+                                Console.traceln(Level.WARNING, "No gain anymore! Desired coverage cannot be satisfied!");
                                 break;
                         }

trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDshowTimer.java

@@ -3 +3 @@
 import java.security.InvalidParameterException;
 import java.util.List;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.CommandHelpers;
@@ -45 +46 @@
                 long startTime = (Long) dataObject;
                 long currentTime = System.currentTimeMillis();
-                Console.traceln("" + (currentTime - startTime) + " milliseconds");
+                Console.traceln(Level.INFO, "" + (currentTime - startTime) + " milliseconds");
         }