Changeset 674 for trunk/quest-ui-swt/src

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

Location:

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

Files:

• MainWindow.java (modified) (4 diffs)
• SWTConsole.java (modified) (3 diffs)

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

@@ -2 +2 @@
 
 import java.util.List;
+import java.util.logging.Level;
 
 import org.eclipse.swt.widgets.Display;
@@ -29 +30 @@
 
     private List<String> startupCommands;
+    
+    private final Level traceLevel;
 
     protected Shell shlEventbenchConsole;
@@ -45 +48 @@
     protected CommandHistoryDialog historyDialog;
 
-    public MainWindow(List<String> startupCommands) {
+    public MainWindow(List<String> startupCommands, Level traceLevel) {
         this.startupCommands = startupCommands;
+        this.traceLevel = traceLevel;
     }
 
@@ -59 +63 @@
         Display display = Display.getDefault();
         createContents();
-        new SWTConsole(consoleTabComposite.textConsoleOutput);
+        new SWTConsole(consoleTabComposite.textConsoleOutput, traceLevel);
         historyDialog = new CommandHistoryDialog(shlEventbenchConsole, SWT.NONE);
         shlEventbenchConsole.open();

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