X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fjalview%2Fgui%2FConsole.java;h=4ab7586f19205349f44a7bd8dc9a9bb395a320da;hb=c6c94d2adb0d156345065b1a7e18e26c7b8dd2b8;hp=fd403203d2541716a35db72c90166ae0b0b58014;hpb=2385165515a245ce1ff85f1effc1a3c85e2877c3;p=jalview.git
diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java
index fd40320..4ab7586 100644
--- a/src/jalview/gui/Console.java
+++ b/src/jalview/gui/Console.java
@@ -1,22 +1,27 @@
/*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.5)
- * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
*
* This file is part of Jalview.
*
* 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.
- *
+ * 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 Jalview. If not, see .
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview. If not, see .
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
*/
package jalview.gui;
+import jalview.util.MessageManager;
+
import java.io.*;
import java.awt.*;
import java.awt.event.*;
@@ -39,11 +44,12 @@ public class Console extends WindowAdapter implements WindowListener,
private JFrame frame;
private JTextArea textArea;
-/* unused - tally and limit for lines in console window
- int lines = 0;
- int lim = 1000;
-*/
+ /*
+ * 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 reader, reader2, textAppender;
@@ -76,11 +82,13 @@ public class Console extends WindowAdapter implements WindowListener,
{
initConsole(visible, true);
}
-
+
/**
*
- * @param visible - open the window
- * @param redirect - redirect std*
+ * @param visible
+ * - open the window
+ * @param redirect
+ * - redirect std*
*/
private void initConsole(boolean visible, boolean redirect)
{
@@ -88,7 +96,7 @@ public class Console extends WindowAdapter implements WindowListener,
// textArea = cpt.getTextArea();
textArea = new JTextArea();
textArea.setEditable(false);
- JButton button = new JButton("clear");
+ JButton button = new JButton(MessageManager.getString("action.clear"));
// frame = cpt;
frame.getContentPane().setLayout(new BorderLayout());
@@ -102,7 +110,9 @@ public class Console extends WindowAdapter implements WindowListener,
if (redirect)
{
redirectStreams();
- } else {
+ }
+ else
+ {
unredirectStreams();
}
quit = false; // signals the Threads that they should exit
@@ -121,45 +131,50 @@ public class Console extends WindowAdapter implements WindowListener,
textAppender.setDaemon(true);
textAppender.start();
}
- PipedOutputStream pout=null,perr=null;
- public void redirectStreams() {
- if (pout==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);
- }
+ } 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);
- }
+ 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)
+
+ public void unredirectStreams()
+ {
+ if (pout != null)
{
try
{
@@ -167,37 +182,37 @@ public class Console extends WindowAdapter implements WindowListener,
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);
- }
+ 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());
+ 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);
- }
+ } catch (SecurityException se)
+ {
+ textArea.append("Couldn't unredirect STDERR to this console\n"
+ + se.getMessage());
+ se.printStackTrace(stderr);
+ }
}
}
@@ -205,7 +220,7 @@ public class Console extends WindowAdapter implements WindowListener,
{
// 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");
@@ -245,11 +260,13 @@ public class Console extends WindowAdapter implements WindowListener,
{
this(desktop, true);
}
+
/**
* attach a console to the desktop - the desktop will open it if requested.
*
* @param desktop
- * @param showjconsole - if true, then redirect stdout immediately
+ * @param showjconsole
+ * - if true, then redirect stdout immediately
*/
public Console(Desktop desktop, boolean showjconsole)
{
@@ -274,40 +291,37 @@ public class Console extends WindowAdapter implements WindowListener,
org.apache.log4j.Logger.getRootLogger().addAppender(jappender);
}
-
public synchronized void stopConsole()
{
quit = true;
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)
+ /*
+ * reader.notify(); reader2.notify(); if (errorThrower!=null)
+ * errorThrower.notify(); // stop all threads if (textAppender!=null)
+ * textAppender.notify();
+ */
+ if (pout != null)
{
- }
- try
- {
- reader2.join(10);
- pin2.close();
- } catch (Exception e)
- {
- }
- try
- {
- textAppender.join(10);
- } catch (Exception e)
- {
- }
+ try
+ {
+ reader.join(10);
+ pin.close();
+ } catch (Exception e)
+ {
+ }
+ try
+ {
+ reader2.join(10);
+ pin2.close();
+ } catch (Exception e)
+ {
+ }
+ try
+ {
+ textAppender.join(10);
+ } catch (Exception e)
+ {
+ }
}
if (!frame.isVisible())
{
@@ -321,7 +335,9 @@ public class Console extends WindowAdapter implements WindowListener,
frame.setVisible(false);
closeConsoleGui();
}
- private void closeConsoleGui() {
+
+ private void closeConsoleGui()
+ {
updateConsole = false;
if (parent == null)
{
@@ -338,7 +354,7 @@ public class Console extends WindowAdapter implements WindowListener,
{
frame.setVisible(false); // default behaviour of JFrame
closeConsoleGui();
-
+
// frame.dispose();
}
@@ -354,7 +370,7 @@ public class Console extends WindowAdapter implements WindowListener,
{
while (Thread.currentThread() == reader)
{
- if (pin==null || pin.available() == 0)
+ if (pin == null || pin.available() == 0)
{
try
{
@@ -374,8 +390,8 @@ public class Console extends WindowAdapter implements WindowListener,
stdout.print(input);
long time = System.nanoTime();
appendToTextArea(input);
- //stderr.println("Time taken to stdout append:\t"
- // + (System.nanoTime() - time) + " ns");
+ // stderr.println("Time taken to stdout append:\t"
+ // + (System.nanoTime() - time) + " ns");
// lines++;
}
if (quit)
@@ -403,8 +419,8 @@ public class Console extends WindowAdapter implements WindowListener,
stderr.print(input);
long time = System.nanoTime();
appendToTextArea(input);
- //stderr.println("Time taken to stderr append:\t"
- // + (System.nanoTime() - time) + " ns");
+ // stderr.println("Time taken to stderr append:\t"
+ // + (System.nanoTime() - time) + " ns");
// lines++;
}
if (quit)
@@ -485,8 +501,7 @@ public class Console extends WindowAdapter implements WindowListener,
} catch (InterruptedException ie)
{
}
- throw new NullPointerException(
- "Application test: throwing an NullPointerException It should arrive at the console");
+ throw new NullPointerException(MessageManager.getString("exception.application_test_npe"));
}
}
@@ -541,8 +556,8 @@ public class Console extends WindowAdapter implements WindowListener,
{
long time = System.nanoTime();
textArea.replaceRange(header, 0, tlength - bytescut);
- //stderr.println("Time taken to cut:\t"
- // + (System.nanoTime() - time) + " ns");
+ // stderr.println("Time taken to cut:\t"
+ // + (System.nanoTime() - time) + " ns");
}
else
{
@@ -612,19 +627,23 @@ public class Console extends WindowAdapter implements WindowListener,
}
/**
- * set the banner that appears at the top of the console output
+ * 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";
+ if (header.charAt(header.length() - 1) != '\n')
+ {
+ header += "\n";
}
textArea.insert(header, 0);
}
+
/**
* get the banner
+ *
* @return
*/
public String getHeader()