X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FConsole.java;h=41da01fc2da4b49da87360308c47e4b6034ae3db;hb=5640ec0623c6d1205e62f9fe15292f32bfdab7d9;hp=ad186eca41c893f6d1b845bbb01e982cb6c813ac;hpb=587aceacc56c474f2769ee2cf03d059de4a87ef3;p=jalview.git
diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java
index ad186ec..41da01f 100644
--- a/src/jalview/gui/Console.java
+++ b/src/jalview/gui/Console.java
@@ -1,29 +1,65 @@
/*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.4.1)
- * Copyright (C) 2009 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
*
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or (at your option) any later version.
+ * This file is part of Jalview.
*
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *
+ * Jalview is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See the GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
+ * along with Jalview. If not, see .
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
*/
package jalview.gui;
-import java.io.*;
-import java.awt.*;
-import java.awt.event.*;
-import javax.swing.*;
-
-import org.apache.log4j.SimpleLayout;
+import java.awt.BorderLayout;
+import java.awt.Color;
+import java.awt.Dimension;
+import java.awt.GraphicsEnvironment;
+import java.awt.GridBagConstraints;
+import java.awt.GridBagLayout;
+import java.awt.Rectangle;
+import java.awt.Toolkit;
+import java.awt.datatransfer.Clipboard;
+import java.awt.datatransfer.StringSelection;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
+import java.awt.event.MouseAdapter;
+import java.awt.event.MouseEvent;
+import java.awt.event.WindowAdapter;
+import java.awt.event.WindowEvent;
+import java.awt.event.WindowListener;
+import java.io.IOException;
+import java.io.PipedInputStream;
+import java.io.PipedOutputStream;
+import java.io.PrintStream;
+
+import javax.swing.BorderFactory;
+import javax.swing.JButton;
+import javax.swing.JComboBox;
+import javax.swing.JFrame;
+import javax.swing.JLabel;
+import javax.swing.JPanel;
+import javax.swing.JScrollPane;
+import javax.swing.JTextArea;
+import javax.swing.SwingUtilities;
+import javax.swing.border.Border;
+import javax.swing.text.DefaultCaret;
+
+import jalview.log.JLoggerI.LogLevel;
+import jalview.log.JLoggerLog4j;
+import jalview.log.JalviewAppender;
+import jalview.util.ChannelProperties;
+import jalview.util.MessageManager;
+import jalview.util.Platform;
/**
* Simple Jalview Java Console. Version 1 - allows viewing of console output
@@ -34,91 +70,225 @@ import org.apache.log4j.SimpleLayout;
* own applications RJHM van den Bergh , rvdb@comweb.nl
*/
-public class Console extends WindowAdapter implements WindowListener,
- ActionListener, Runnable
+public class Console extends WindowAdapter
+ implements WindowListener, ActionListener, Runnable
{
private JFrame frame;
private JTextArea textArea;
- int lines = 0;
-
- int lim=1000;
-
- private Thread reader;
+ /*
+ * unused - tally and limit for lines in console window int lines = 0;
+ *
+ * int lim = 1000;
+ */
+ int byteslim = 102400, bytescut = 76800; // 100k and 75k cut point.
- private Thread reader2;
+ private Thread reader, reader2, textAppender;
private boolean quit;
- private final PrintStream stdout = System.out;
+ private final PrintStream stdout = System.out, stderr = System.err;
- private final PrintStream stderr = System.err;
+ private PipedInputStream pin = new PipedInputStream();
- private final PipedInputStream pin = new PipedInputStream();
+ private PipedInputStream pin2 = new PipedInputStream();
- private final PipedInputStream pin2 = new PipedInputStream();
+ private StringBuffer displayPipe = new StringBuffer();
Thread errorThrower; // just for testing (Throws an Exception at this Console
// are we attached to some parent Desktop
Desktop parent = null;
+ private int MIN_WIDTH = 300;
+
+ private int MIN_HEIGHT = 250;
+
+ private JComboBox logLevelCombo = new JComboBox();
+
+ protected LogLevel startingLogLevel = null;
+
public Console()
{
// create all components and add them
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
frame = initFrame("Java Console", screenSize.width / 2,
screenSize.height / 2, -1, -1);
+ frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
initConsole(true);
}
private void initConsole(boolean visible)
{
+ initConsole(visible, true);
+ }
+
+ /**
+ *
+ * @param visible
+ * - open the window
+ * @param redirect
+ * - redirect std*
+ */
+ private void initConsole(boolean visible, boolean redirect)
+ {
// CutAndPasteTransfer cpt = new CutAndPasteTransfer();
// textArea = cpt.getTextArea();
textArea = new JTextArea();
textArea.setEditable(false);
- JButton button = new JButton("clear");
+ // autoscroll
+ DefaultCaret caret = (DefaultCaret) textArea.getCaret();
+ caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
+ // toggle autoscroll by clicking on the text area
+ Border pausedBorder = BorderFactory.createMatteBorder(2, 2, 2, 2,
+ textArea.getForeground());
+ Border noBorder = BorderFactory.createEmptyBorder(2, 2, 2, 2);
+ JScrollPane scrollPane = new JScrollPane(textArea);
+ scrollPane.setBorder(noBorder);
+ textArea.addMouseListener(new MouseAdapter()
+ {
+ @Override
+ public void mouseClicked(MouseEvent e)
+ {
+ if (e.getButton() == MouseEvent.BUTTON1)
+ {
+ if (caret.getUpdatePolicy() == DefaultCaret.ALWAYS_UPDATE)
+ {
+ caret.setUpdatePolicy(DefaultCaret.NEVER_UPDATE);
+ scrollPane.setBorder(pausedBorder);
+ }
+ else
+ {
+ caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
+ textArea.setCaretPosition(textArea.getDocument().getLength());
+ scrollPane.setBorder(noBorder);
+ }
+ }
+ }
+ });
- // frame = cpt;
- frame.getContentPane().setLayout(new BorderLayout());
- frame.getContentPane().add(new JScrollPane(textArea),
- BorderLayout.CENTER);
- frame.getContentPane().add(button, BorderLayout.SOUTH);
- frame.setVisible(visible);
+ JButton clearButton = new JButton(
+ MessageManager.getString("action.clear"));
+ JButton copyToClipboardButton = new JButton(
+ MessageManager.getString("label.copy_to_clipboard"));
+ copyToClipboardButton.addActionListener(new ActionListener()
+ {
+ @Override
+ public void actionPerformed(ActionEvent e)
+ {
+ copyConsoleTextToClipboard();
+ }
+ });
+ copyToClipboardButton.addMouseListener(new MouseAdapter()
+ {
+ private Color bg = textArea.getBackground();
- frame.addWindowListener(this);
- button.addActionListener(this);
+ private Color fg = textArea.getForeground();
- try
- {
- PipedOutputStream pout = new PipedOutputStream(this.pin);
- System.setOut(new PrintStream(pout, true));
- } catch (java.io.IOException io)
+ @Override
+ public void mousePressed(MouseEvent e)
+ {
+ textArea.setBackground(textArea.getSelectionColor());
+ textArea.setForeground(textArea.getSelectedTextColor());
+ }
+
+ @Override
+ public void mouseReleased(MouseEvent e)
+ {
+ textArea.setBackground(bg);
+ textArea.setForeground(fg);
+ }
+
+ });
+ copyToClipboardButton.setToolTipText(
+ MessageManager.getString("label.copy_to_clipboard_tooltip"));
+
+ JLabel logLevelLabel = new JLabel(
+ MessageManager.getString("label.log_level") + ":");
+
+ // logLevelCombo.addItem(LogLevel.ALL);
+ logLevelCombo.addItem(LogLevel.TRACE);
+ logLevelCombo.addItem(LogLevel.DEBUG);
+ logLevelCombo.addItem(LogLevel.INFO);
+ logLevelCombo.addItem(LogLevel.WARN);
+ // logLevelCombo.addItem(LogLevel.ERROR);
+ // logLevelCombo.addItem(LogLevel.FATAL);
+ // logLevelCombo.addItem(LogLevel.ERROR);
+ // logLevelCombo.addItem(LogLevel.OFF);
+ // set startingLogLevel
+
+ if (jalview.bin.Console.getLogger() == null)
{
- textArea.append("Couldn't redirect STDOUT to this console\n"
- + io.getMessage());
- } catch (SecurityException se)
+ startingLogLevel = jalview.bin.Console.getCachedLogLevel();
+ }
+ else
{
- textArea.append("Couldn't redirect STDOUT to this console\n"
- + se.getMessage());
+ startingLogLevel = jalview.bin.Console.getLogger().getLevel();
}
-
- try
+ setChosenLogLevelCombo();
+ logLevelCombo.addActionListener(new ActionListener()
{
- PipedOutputStream pout2 = new PipedOutputStream(this.pin2);
- System.setErr(new PrintStream(pout2, true));
- } catch (java.io.IOException io)
+ @Override
+ public void actionPerformed(ActionEvent e)
+ {
+ if (jalview.bin.Console.log != null)
+ {
+ jalview.bin.Console.log
+ .setLevel((LogLevel) logLevelCombo.getSelectedItem());
+ }
+ }
+
+ });
+
+ // frame = cpt;
+ frame.getContentPane().setLayout(new BorderLayout());
+ frame.getContentPane().add(scrollPane, BorderLayout.CENTER);
+ JPanel southPanel = new JPanel();
+ southPanel.setLayout(new GridBagLayout());
+
+ JPanel logLevelPanel = new JPanel();
+ logLevelPanel.setAlignmentX(JPanel.LEFT_ALIGNMENT);
+ logLevelPanel.add(logLevelLabel);
+ logLevelPanel.add(logLevelCombo);
+ String logLevelTooltip = MessageManager.formatMessage(
+ "label.log_level_tooltip", startingLogLevel.toString());
+ logLevelLabel.setToolTipText(logLevelTooltip);
+ logLevelCombo.setToolTipText(logLevelTooltip);
+
+ GridBagConstraints gbc = new GridBagConstraints();
+ gbc.gridx = 0;
+ gbc.gridy = 0;
+ gbc.gridwidth = 1;
+ gbc.gridheight = 1;
+ gbc.weightx = 0.1;
+ southPanel.add(logLevelPanel, gbc);
+
+ gbc.gridx++;
+ gbc.weightx = 0.8;
+ gbc.fill = GridBagConstraints.HORIZONTAL;
+ southPanel.add(clearButton, gbc);
+
+ gbc.gridx++;
+ gbc.weightx = 0.1;
+ gbc.fill = GridBagConstraints.NONE;
+ southPanel.add(copyToClipboardButton, gbc);
+
+ southPanel.setVisible(true);
+ frame.getContentPane().add(southPanel, BorderLayout.SOUTH);
+ frame.setVisible(visible);
+ updateConsole = visible;
+ frame.addWindowListener(this);
+ clearButton.addActionListener(this);
+
+ if (redirect)
{
- textArea.append("Couldn't redirect STDERR to this console\n"
- + io.getMessage());
- } catch (SecurityException se)
+ redirectStreams();
+ }
+ else
{
- textArea.append("Couldn't redirect STDERR to this console\n"
- + se.getMessage());
+ unredirectStreams();
}
-
quit = false; // signals the Threads that they should exit
// Starting two seperate threads to read from the PipedInputStreams
@@ -130,26 +300,166 @@ public class Console extends WindowAdapter implements WindowListener,
reader2 = new Thread(this);
reader2.setDaemon(true);
reader2.start();
+ // and a thread to append text to the textarea
+ textAppender = new Thread(this);
+ textAppender.setDaemon(true);
+ textAppender.start();
+
+ // set icons
+ frame.setIconImages(ChannelProperties.getIconList());
+ }
+
+ private void setChosenLogLevelCombo()
+ {
+ setChosenLogLevelCombo(startingLogLevel);
+ }
+
+ private void setChosenLogLevelCombo(LogLevel setLogLevel)
+ {
+ logLevelCombo.setSelectedItem(setLogLevel);
+ if (!logLevelCombo.getSelectedItem().equals(setLogLevel))
+ {
+ // setLogLevel not (yet) in list
+ if (setLogLevel != null && setLogLevel instanceof LogLevel)
+ {
+ // add new item to list (might be set via .jalview_properties)
+ boolean added = false;
+ for (int i = 0; i < logLevelCombo.getItemCount(); i++)
+ {
+ LogLevel l = logLevelCombo.getItemAt(i);
+ if (l.compareTo(setLogLevel) >= 0)
+ {
+ logLevelCombo.insertItemAt(setLogLevel, i);
+ added = true;
+ break;
+ }
+ }
+ if (!added) // lower priority than others or some confusion -- add to
+ // end of list
+ {
+ logLevelCombo.addItem(setLogLevel);
+ }
+ logLevelCombo.setSelectedItem(setLogLevel);
+ }
+ else
+ {
+ logLevelCombo.setSelectedItem(LogLevel.INFO);
+ }
+ }
+ }
+
+ private void copyConsoleTextToClipboard()
+ {
+ String consoleText = textArea.getText();
+ StringSelection consoleTextSelection = new StringSelection(consoleText);
+ Clipboard cb = Toolkit.getDefaultToolkit().getSystemClipboard();
+ cb.setContents(consoleTextSelection, null);
+ }
+
+ PipedOutputStream pout = null, perr = null;
+
+ public void redirectStreams()
+ {
+ if (pout == null)
+ {
+ try
+ {
+ pout = new PipedOutputStream(this.pin);
+ System.setOut(new PrintStream(pout, true));
+ } catch (java.io.IOException io)
+ {
+ textArea.append("Couldn't redirect STDOUT to this console\n"
+ + io.getMessage());
+ io.printStackTrace(stderr);
+ } catch (SecurityException se)
+ {
+ textArea.append("Couldn't redirect STDOUT to this console\n"
+ + se.getMessage());
+ se.printStackTrace(stderr);
+ }
+
+ try
+ {
+ perr = new PipedOutputStream(this.pin2);
+ System.setErr(new PrintStream(perr, true));
+ } catch (java.io.IOException io)
+ {
+ textArea.append("Couldn't redirect STDERR to this console\n"
+ + io.getMessage());
+ io.printStackTrace(stderr);
+ } catch (SecurityException se)
+ {
+ textArea.append("Couldn't redirect STDERR to this console\n"
+ + se.getMessage());
+ se.printStackTrace(stderr);
+ }
+ }
+ }
+
+ public void unredirectStreams()
+ {
+ if (pout != null)
+ {
+ try
+ {
+ System.setOut(stdout);
+ pout.flush();
+ pout.close();
+ pin = new PipedInputStream();
+ pout = null;
+ } catch (java.io.IOException io)
+ {
+ textArea.append("Couldn't unredirect STDOUT to this console\n"
+ + io.getMessage());
+ io.printStackTrace(stderr);
+ } catch (SecurityException se)
+ {
+ textArea.append("Couldn't unredirect STDOUT to this console\n"
+ + se.getMessage());
+ se.printStackTrace(stderr);
+ }
+
+ try
+ {
+ System.setErr(stderr);
+ perr.flush();
+ perr.close();
+ pin2 = new PipedInputStream();
+ perr = null;
+ } catch (java.io.IOException io)
+ {
+ textArea.append("Couldn't unredirect STDERR to this console\n"
+ + io.getMessage());
+ io.printStackTrace(stderr);
+ } catch (SecurityException se)
+ {
+ textArea.append("Couldn't unredirect STDERR to this console\n"
+ + se.getMessage());
+ se.printStackTrace(stderr);
+ }
+ }
}
public void test()
{
// testing part
// you may omit this part for your application
- //
+ //
- System.out.println("Hello World 2");
- System.out.println("All fonts available to Graphic2D:\n");
+ jalview.bin.Console.outPrintln("Hello World 2");
+ jalview.bin.Console.outPrintln("All fonts available to Graphic2D:\n");
GraphicsEnvironment ge = GraphicsEnvironment
.getLocalGraphicsEnvironment();
String[] fontNames = ge.getAvailableFontFamilyNames();
for (int n = 0; n < fontNames.length; n++)
- System.out.println(fontNames[n]);
+ {
+ jalview.bin.Console.outPrintln(fontNames[n]);
+ }
// Testing part: simple an error thrown anywhere in this JVM will be printed
// on the Console
// We do it with a seperate Thread becasue we don't wan't to break a Thread
// used by the Console.
- System.out.println("\nLets throw an error on this console");
+ jalview.bin.Console.outPrintln("\nLets throw an error on this console");
errorThrower = new Thread(this);
errorThrower.setDaemon(true);
errorThrower.start();
@@ -160,9 +470,13 @@ public class Console extends WindowAdapter implements WindowListener,
JFrame frame = new JFrame(string);
frame.setName(string);
if (x == -1)
- x = (int) (i / 2);
+ {
+ x = i / 2;
+ }
if (y == -1)
- y = (int) (j / 2);
+ {
+ y = j / 2;
+ }
frame.setBounds(x, y, i, j);
return frame;
}
@@ -176,49 +490,99 @@ public class Console extends WindowAdapter implements WindowListener,
{
parent = desktop;
// window name - get x,y,width, height possibly scaled
- Rectangle bounds = desktop.getLastKnownDimensions("JAVA_CONSOLE_");
- if (bounds == null)
+ Rectangle bounds = parent == null ? null
+ : parent.getLastKnownDimensions("JAVA_CONSOLE_");
+ if (bounds != null)
+ {
+ frame = initFrame(
+ ChannelProperties.getProperty("app_name") + " Java Console",
+ bounds.width, bounds.height, bounds.x, bounds.y);
+ }
+ else if (parent != null && parent.getWidth() > 0
+ && parent.getHeight() > 0)
{
- frame = initFrame("Jalview Java Console", desktop.getWidth() / 2,
- desktop.getHeight() / 4, desktop.getX(), desktop.getY());
+ frame = initFrame(
+ ChannelProperties.getProperty("app_name") + " Java Console",
+ parent.getWidth() / 2, parent.getHeight() / 4, parent.getX(),
+ parent.getY());
}
else
{
- frame = initFrame("Jalview Java Console", bounds.width,
- bounds.height, bounds.x, bounds.y);
+ frame = initFrame(
+ ChannelProperties.getProperty("app_name") + " Java Console",
+ MIN_WIDTH, MIN_HEIGHT, 10, 10);
}
- // desktop.add(frame);
+ frame.setMinimumSize(new Dimension(MIN_WIDTH, MIN_HEIGHT));
+ // parent.add(frame);
initConsole(false);
- JalviewAppender jappender = new JalviewAppender();
- jappender.setLayout(new SimpleLayout());
- JalviewAppender.setTextArea(textArea);
- org.apache.log4j.Logger.getRootLogger().addAppender(jappender);
+ LogLevel level = (LogLevel) logLevelCombo.getSelectedItem();
+ if (!Platform.isJS())
+ {
+ JalviewAppender jappender = new JalviewAppender(level);
+ JalviewAppender.setTextArea(textArea);
+ jappender.start();
+ if (jalview.bin.Console.log != null
+ && jalview.bin.Console.log instanceof JLoggerLog4j)
+ {
+ JLoggerLog4j.addAppender(jalview.bin.Console.log, jappender);
+ }
+ }
}
public synchronized void stopConsole()
{
quit = true;
- this.notifyAll(); // stop all threads
- try
- {
- reader.join(10);
- pin.close();
- } catch (Exception e)
+ this.notifyAll();
+ /*
+ * reader.notify(); reader2.notify(); if (errorThrower!=null)
+ * errorThrower.notify(); // stop all threads if (textAppender!=null)
+ * textAppender.notify();
+ */
+ if (pout != null)
{
+ try
+ {
+ reader.join(10);
+ pin.close();
+ } catch (Exception e)
+ {
+ jalview.bin.Console.debug("pin.close() error", e);
+ }
+ try
+ {
+ reader2.join(10);
+ pin2.close();
+ } catch (Exception e)
+ {
+ jalview.bin.Console.debug("pin2.close() error", e);
+ }
+ try
+ {
+ textAppender.join(10);
+ } catch (Exception e)
+ {
+ jalview.bin.Console.debug("textAppender.join(10) error", e);
+ }
}
- try
- {
- reader2.join(10);
- pin2.close();
- } catch (Exception e)
+ /*
+ if (!frame.isVisible())
{
+ frame.dispose();
}
+ */
// System.exit(0);
}
+ @Override
public synchronized void windowClosed(WindowEvent evt)
{
frame.setVisible(false);
+ closeConsoleGui();
+ }
+
+ private void closeConsoleGui()
+ {
+ updateConsole = false;
if (parent == null)
{
@@ -230,68 +594,158 @@ public class Console extends WindowAdapter implements WindowListener,
}
}
+ @Override
public synchronized void windowClosing(WindowEvent evt)
{
frame.setVisible(false); // default behaviour of JFrame
+ closeConsoleGui();
+
// frame.dispose();
}
+ @Override
public synchronized void actionPerformed(ActionEvent evt)
{
trimBuffer(true);
// textArea.setText("");
}
+ @Override
public synchronized void run()
{
try
{
while (Thread.currentThread() == reader)
{
- try
- {
- this.wait(100);
- } catch (InterruptedException ie)
+ if (pin == null || pin.available() == 0)
{
+ try
+ {
+ this.wait(100);
+ } catch (InterruptedException ie)
+ {
+ jalview.bin.Console.debug("pin.available() error", ie);
+ }
}
+
while (pin.available() != 0)
{
String input = this.readLine(pin);
stdout.print(input);
- textArea.append(input);
+ long time = System.nanoTime();
+ appendToTextArea(input);
+ // stderr.println("Time taken to stdout append:\t"
+ // + (System.nanoTime() - time) + " ns");
// lines++;
}
if (quit)
+ {
return;
- trimBuffer(false);
+ }
}
while (Thread.currentThread() == reader2)
{
- try
- {
- this.wait(100);
- } catch (InterruptedException ie)
+ if (pin2.available() == 0)
{
+ try
+ {
+ this.wait(100); // ##### implicated BLOCKED
+ if (pin2.available() == 0)
+ {
+ trimBuffer(false);
+ }
+ } catch (InterruptedException ie)
+ {
+ jalview.bin.Console.debug("pin.available() error", ie);
+ }
}
while (pin2.available() != 0)
{
String input = this.readLine(pin2);
stderr.print(input);
- textArea.append(input);
+ long time = System.nanoTime();
+ appendToTextArea(input);
+ // stderr.println("Time taken to stderr append:\t"
+ // + (System.nanoTime() - time) + " ns");
// lines++;
}
if (quit)
+ {
+ return;
+ }
+ }
+ while (Thread.currentThread() == textAppender)
+ {
+ if (updateConsole)
+ {
+ // check string buffer - if greater than console, clear console and
+ // replace with last segment of content, otherwise, append all to
+ // content.
+ while (displayPipe.length() > 0)
+ {
+ StringBuffer tmp = new StringBuffer(), replace;
+ synchronized (displayPipe)
+ {
+ replace = displayPipe;
+ displayPipe = tmp;
+ }
+ // Append formatted message to textarea using the Swing Thread.
+ SwingUtilities.invokeLater(new Runnable()
+ {
+ public void run()
+ {
+ textArea.append(replace.toString());
+ trimBuffer(false);
+ }
+ });
+ }
+ if (displayPipe.length() == 0)
+ {
+ try
+ {
+ this.wait(100);
+ if (displayPipe.length() == 0)
+ {
+ // post a trim on Swing Thread.
+ SwingUtilities.invokeLater(new Runnable()
+ {
+ public void run()
+ {
+ trimBuffer(false);
+ }
+ });
+ }
+ } catch (InterruptedException e)
+ {
+ jalview.bin.Console.debug("displayPipe.length() error", e);
+ }
+ }
+ }
+ else
+ {
+ try
+ {
+ this.wait(100);
+ } catch (InterruptedException e)
+ {
+ jalview.bin.Console.debug("this.wait(100) error", e);
+ }
+ }
+ if (quit)
+ {
return;
- trimBuffer(false);
+ }
+
}
} catch (Exception e)
{
textArea.append("\nConsole reports an Internal error.");
textArea.append("The error is: " + e.getMessage());
- lines += 2;
- stderr.println("Console reports an Internal error.\nThe error is: "
- + e);
+ // Need to uncomment this to ensure that line tally is synched.
+ // lines += 2;
+ stderr.println(
+ "Console reports an Internal error.\nThe error is: " + e);
}
// just for testing (Throw a Nullpointer after 1 second)
@@ -302,44 +756,76 @@ public class Console extends WindowAdapter implements WindowListener,
this.wait(1000);
} catch (InterruptedException ie)
{
+ jalview.bin.Console.debug("this.wait(1000) error", ie);
}
throw new NullPointerException(
- "Application test: throwing an NullPointerException It should arrive at the console");
+ MessageManager.getString("exception.application_test_npe"));
+ }
+ }
+
+ private void appendToTextArea(final String input)
+ {
+ if (updateConsole == false)
+ {
+ // do nothing;
+ return;
}
+ long time = System.nanoTime();
+ javax.swing.SwingUtilities.invokeLater(new Runnable()
+ {
+ @Override
+ public void run()
+ {
+ displayPipe.append(input);
+ }
+ });
+ // stderr.println("Time taken to Spawnappend:\t" + (System.nanoTime() -
+ // time)
+ // + " ns");
}
+ private String header = null;
+
+ private boolean updateConsole = false;
+
private synchronized void trimBuffer(boolean clear)
{
- // trim the buffer
- if (clear || lines > lim)
+ if (header == null && textArea.getLineCount() > 5)
{
try
{
- if (lines > 5)
+ header = textArea.getText(0, textArea.getLineStartOffset(5))
+ + "\nTruncated...\n";
+ } catch (Exception e)
+ {
+ jalview.bin.Console.warn("textArea Exception", e);
+ }
+ }
+ // trim the buffer
+ int tlength = textArea.getDocument().getLength();
+ if (header != null)
+ {
+ if (clear || (tlength > byteslim))
+ {
+ try
{
- // minimum length for truncation/clearing
- String header = textArea.getText(0, textArea.getLineEndOffset(5))
- + "\n..Truncated..\n"; // keep first 5 lines for startup info
- int truncate;
if (!clear)
{
- truncate = textArea.getLineEndOffset(lines - lim - 7);
- textArea.setText(header
- + textArea.getText(truncate, textArea.getText()
- .length()
- - truncate));
+ long time = System.nanoTime();
+ textArea.replaceRange(header, 0, tlength - bytescut);
+ // stderr.println("Time taken to cut:\t"
+ // + (System.nanoTime() - time) + " ns");
}
else
{
textArea.setText(header);
}
+ } catch (Exception e)
+ {
+ jalview.bin.Console.warn("textArea Exception", e);
}
-
- } catch (Exception e)
- {
- e.printStackTrace();
+ // lines = textArea.getLineCount();
}
- lines = textArea.getLineCount();
}
}
@@ -353,18 +839,25 @@ public class Console extends WindowAdapter implements WindowListener,
{
int available = in.available();
if (available == 0)
+ {
break;
+ }
byte b[] = new byte[available];
in.read(b);
input = input + new String(b, 0, b.length);
- while ((lp = input.indexOf("\n", lp + 1)) > -1)
- {
- lines++;
- }
+ // counts lines - we don't do this for speed.
+ // while ((lp = input.indexOf("\n", lp + 1)) > -1)
+ // {
+ // lines++;
+ // }
} while (!input.endsWith("\n") && !input.endsWith("\r\n") && !quit);
return input;
}
+ /**
+ * @j2sIgnore
+ * @param arg
+ */
public static void main(String[] arg)
{
new Console().test(); // create console with not reference
@@ -376,8 +869,22 @@ public class Console extends WindowAdapter implements WindowListener,
frame.setVisible(selected);
if (selected == true)
{
+ setChosenLogLevelCombo();
+ redirectStreams();
+ updateConsole = true;
frame.toFront();
}
+ else
+ {
+ // reset log level to what it was before
+ if (jalview.bin.Console.log != null)
+ {
+ jalview.bin.Console.log.setLevel(startingLogLevel);
+ }
+
+ unredirectStreams();
+ updateConsole = false;
+ }
}
public Rectangle getBounds()
@@ -388,4 +895,29 @@ public class Console extends WindowAdapter implements WindowListener,
}
return null;
}
+
+ /**
+ * set the banner that appears at the top of the console output
+ *
+ * @param string
+ */
+ public void setHeader(String string)
+ {
+ header = string;
+ if (header.charAt(header.length() - 1) != '\n')
+ {
+ header += "\n";
+ }
+ textArea.insert(header, 0);
+ }
+
+ /**
+ * get the banner
+ *
+ * @return
+ */
+ public String getHeader()
+ {
+ return header;
+ }
}