Changeset 639 for trunk/quest-core-testgeneration/src/main

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-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration

Files:

• DrawFromAllSequencesGenerator.java (modified) (2 diffs)
• HybridGenerator.java (modified) (2 diffs)

trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/DrawFromAllSequencesGenerator.java

@@ -11 +11 @@
 import java.util.Random;
 import java.util.Set;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.eventcore.Event;
@@ -140 +141 @@
             }
         }
-        Console.traceln("" + sequences.size() + " possible");
+        Console.traceln(Level.INFO, "" + sequences.size() + " possible");
         if (!generateAll && numSequences < sequences.size()) {
             List<Double> probabilities = new ArrayList<Double>(sequences.size());

trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/HybridGenerator.java

@@ -9 +9 @@
 import java.util.List;
 import java.util.Random;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.eventcore.Event;
@@ -110 +111 @@
             new ArrayList<List<Event>>(model.generateSequences(maxLengthAll + 1, true));
 
-        Console.traceln("" + seqsTmp.size() + " of length " + maxLengthAll + " possible");
+        Console.traceln(Level.INFO, "" + seqsTmp.size() + " of length " + maxLengthAll + " possible");
         List<Double> probabilities = new ArrayList<Double>(seqsTmp.size());
         double probSum = 0.0;