Changeset 674 for trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/SWTConsole.java

Timestamp:

08/28/12 16:42:22 (12 years ago)

Author:

sherbold

Message:

• modified startup-parameter trace of runner from binary into java.util.Logger.Level to define the tracing granularity; defaults to WARNING)
• modified TextConsole? and SWTConsole to trace according to trace-parameter

File:

• trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/SWTConsole.java (modified) (3 diffs)

trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/SWTConsole.java

@@ -18 +18 @@
 {
 
-    StyledText output;
+    private StyledText output;
+    
+    private Level traceLevel;
 
-    public SWTConsole(StyledText styledText) {
+    public SWTConsole(StyledText styledText, Level traceLevel) {
         Console.getInstance().registerOutputListener(this);
         Console.getInstance().registerErrorListener(this);
@@ -26 +28 @@
         Console.getInstance().registerCommandListener(this);
         this.output = styledText;
+        this.traceLevel = traceLevel;
     }
 
@@ -40 +43 @@
     @Override
     public void traceMsg(String traceMessage, Level level) {
-        appendColored("[" + level.toString() + "] " + traceMessage, SWT.COLOR_BLUE);
+        if( level.intValue()>=traceLevel.intValue()) {
+            appendColored("[" + level.toString() + "] " + traceMessage, SWT.COLOR_BLUE);
+        }
     }