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

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/ui/commands

Files:

• CMDgenerateGreedy.java (modified) (3 diffs)
• CMDshowTimer.java (modified) (2 diffs)

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");
         }