Changeset 639 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin

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

Files:

• JFCLogParser.java (modified) (2 diffs)
• commands/CMDparseDirJFC.java (modified) (2 diffs)
• commands/CMDpreprocessDirJFC.java (modified) (3 diffs)

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCLogParser.java

@@ -17 +17 @@
 import java.util.List;
 import java.util.Map;
+import java.util.logging.Level;
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
@@ -311 +312 @@
         }
         if (qName.equals("newsession")) {
-            Console.traceln("start of session");
+            Console.traceln(Level.FINE, "start of session");
             if (currentSequence != null && !currentSequence.isEmpty()) {
                 // create a copy of the list just to have a correctly typed one.

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/commands/CMDparseDirJFC.java

@@ -6 +6 @@
 import java.util.Collection;
 import java.util.List;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.CommandHelpers;
@@ -57 +58 @@
         for (String filename : folder.list()) {
             String source = absolutPath + "/" + filename;
-            Console.traceln("Processing file: " + source);
+            Console.traceln(Level.INFO, "Processing file: " + source);
 
             parser.parseFile(source);

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/commands/CMDpreprocessDirJFC.java

@@ -11 +11 @@
 import java.security.InvalidParameterException;
 import java.util.List;
+import java.util.logging.Level;
 
 import de.ugoe.cs.util.console.Command;
@@ -57 +58 @@
                 for (String filename : sourceFolder.list()) {
                         String source = absolutPathSource + "/" + filename;
-                        Console.traceln("Preprocessing file: " + source);
+                        Console.traceln(Level.INFO, "Preprocessing file: " + source);
                         File file = new File(source);
                         InputStreamReader reader;
@@ -85 +86 @@
                                         + filename.substring(0, index) + ".xml";
 
-                        Console.traceln("   Saving as: " + target);
+                        Console.traceln(Level.INFO, "   Saving as: " + target);
 
                         OutputStreamWriter writer;