summaryrefslogtreecommitdiffstats
path: root/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/shell/ConsoleTextArea.java
diff options
context:
space:
mode:
Diffstat (limited to 'trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/shell/ConsoleTextArea.java')
-rw-r--r--trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/shell/ConsoleTextArea.java300
1 files changed, 0 insertions, 300 deletions
diff --git a/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/shell/ConsoleTextArea.java b/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/shell/ConsoleTextArea.java
deleted file mode 100644
index 08cac62..0000000
--- a/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/shell/ConsoleTextArea.java
+++ /dev/null
@@ -1,300 +0,0 @@
-/* -*- Mode: java; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-
- *
- * ***** BEGIN LICENSE BLOCK *****
- * Version: MPL 1.1/GPL 2.0
- *
- * The contents of this file are subject to the Mozilla Public License Version
- * 1.1 (the "License"); you may not use this file except in compliance with
- * the License. You may obtain a copy of the License at
- * http://www.mozilla.org/MPL/
- *
- * Software distributed under the License is distributed on an "AS IS" basis,
- * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
- * for the specific language governing rights and limitations under the
- * License.
- *
- * The Original Code is Rhino JavaScript Debugger code, released
- * November 21, 2000.
- *
- * The Initial Developer of the Original Code is
- * See Beyond Corporation.
- * Portions created by the Initial Developer are Copyright (C) 2000
- * the Initial Developer. All Rights Reserved.
- *
- * Contributor(s):
- * Christopher Oliver
- *
- * Alternatively, the contents of this file may be used under the terms of
- * the GNU General Public License Version 2 or later (the "GPL"), in which
- * case the provisions of the GPL are applicable instead of those above. If
- * you wish to allow use of your version of this file only under the terms of
- * the GPL and not to allow others to use your version of this file under the
- * MPL, indicate your decision by deleting the provisions above and replacing
- * them with the notice and other provisions required by the GPL. If you do
- * not delete the provisions above, a recipient may use your version of this
- * file under either the MPL or the GPL.
- *
- * ***** END LICENSE BLOCK ***** */
-package org.mozilla.javascript.tools.shell;
-import java.io.*;
-import java.awt.*;
-import java.awt.event.*;
-import javax.swing.*;
-import javax.swing.event.*;
-import javax.swing.text.Document;
-import javax.swing.text.Segment;
-
-class ConsoleWrite implements Runnable {
- private ConsoleTextArea textArea;
- private String str;
-
- public ConsoleWrite(ConsoleTextArea textArea, String str) {
- this.textArea = textArea;
- this.str = str;
- }
-
- public void run() {
- textArea.write(str);
- }
-}
-
-class ConsoleWriter extends java.io.OutputStream {
-
- private ConsoleTextArea textArea;
- private StringBuffer buffer;
-
- public ConsoleWriter(ConsoleTextArea textArea) {
- this.textArea = textArea;
- buffer = new StringBuffer();
- }
-
- public synchronized void write(int ch) {
- buffer.append((char)ch);
- if(ch == '\n') {
- flushBuffer();
- }
- }
-
- public synchronized void write (char[] data, int off, int len) {
- for(int i = off; i < len; i++) {
- buffer.append(data[i]);
- if(data[i] == '\n') {
- flushBuffer();
- }
- }
- }
-
- public synchronized void flush() {
- if (buffer.length() > 0) {
- flushBuffer();
- }
- }
-
- public void close () {
- flush();
- }
-
- private void flushBuffer() {
- String str = buffer.toString();
- buffer.setLength(0);
- SwingUtilities.invokeLater(new ConsoleWrite(textArea, str));
- }
-}
-
-public class ConsoleTextArea
- extends JTextArea implements KeyListener, DocumentListener
-{
- static final long serialVersionUID = 8557083244830872961L;
-
- private ConsoleWriter console1;
- private ConsoleWriter console2;
- private PrintStream out;
- private PrintStream err;
- private PrintWriter inPipe;
- private PipedInputStream in;
- private java.util.Vector history;
- private int historyIndex = -1;
- private int outputMark = 0;
-
- public void select(int start, int end) {
- requestFocus();
- super.select(start, end);
- }
-
- public ConsoleTextArea(String[] argv) {
- super();
- history = new java.util.Vector();
- console1 = new ConsoleWriter(this);
- console2 = new ConsoleWriter(this);
- out = new PrintStream(console1);
- err = new PrintStream(console2);
- PipedOutputStream outPipe = new PipedOutputStream();
- inPipe = new PrintWriter(outPipe);
- in = new PipedInputStream();
- try {
- outPipe.connect(in);
- } catch(IOException exc) {
- exc.printStackTrace();
- }
- getDocument().addDocumentListener(this);
- addKeyListener(this);
- setLineWrap(true);
- setFont(new Font("Monospaced", 0, 12));
- }
-
-
- synchronized void returnPressed() {
- Document doc = getDocument();
- int len = doc.getLength();
- Segment segment = new Segment();
- try {
- doc.getText(outputMark, len - outputMark, segment);
- } catch(javax.swing.text.BadLocationException ignored) {
- ignored.printStackTrace();
- }
- if(segment.count > 0) {
- history.addElement(segment.toString());
- }
- historyIndex = history.size();
- inPipe.write(segment.array, segment.offset, segment.count);
- append("\n");
- outputMark = doc.getLength();
- inPipe.write("\n");
- inPipe.flush();
- console1.flush();
- }
-
- public void eval(String str) {
- inPipe.write(str);
- inPipe.write("\n");
- inPipe.flush();
- console1.flush();
- }
-
- public void keyPressed(KeyEvent e) {
- int code = e.getKeyCode();
- if(code == KeyEvent.VK_BACK_SPACE || code == KeyEvent.VK_LEFT) {
- if(outputMark == getCaretPosition()) {
- e.consume();
- }
- } else if(code == KeyEvent.VK_HOME) {
- int caretPos = getCaretPosition();
- if(caretPos == outputMark) {
- e.consume();
- } else if(caretPos > outputMark) {
- if(!e.isControlDown()) {
- if(e.isShiftDown()) {
- moveCaretPosition(outputMark);
- } else {
- setCaretPosition(outputMark);
- }
- e.consume();
- }
- }
- } else if(code == KeyEvent.VK_ENTER) {
- returnPressed();
- e.consume();
- } else if(code == KeyEvent.VK_UP) {
- historyIndex--;
- if(historyIndex >= 0) {
- if(historyIndex >= history.size()) {
- historyIndex = history.size() -1;
- }
- if(historyIndex >= 0) {
- String str = (String)history.elementAt(historyIndex);
- int len = getDocument().getLength();
- replaceRange(str, outputMark, len);
- int caretPos = outputMark + str.length();
- select(caretPos, caretPos);
- } else {
- historyIndex++;
- }
- } else {
- historyIndex++;
- }
- e.consume();
- } else if(code == KeyEvent.VK_DOWN) {
- int caretPos = outputMark;
- if(history.size() > 0) {
- historyIndex++;
- if(historyIndex < 0) {historyIndex = 0;}
- int len = getDocument().getLength();
- if(historyIndex < history.size()) {
- String str = (String)history.elementAt(historyIndex);
- replaceRange(str, outputMark, len);
- caretPos = outputMark + str.length();
- } else {
- historyIndex = history.size();
- replaceRange("", outputMark, len);
- }
- }
- select(caretPos, caretPos);
- e.consume();
- }
- }
-
- public void keyTyped(KeyEvent e) {
- int keyChar = e.getKeyChar();
- if(keyChar == 0x8 /* KeyEvent.VK_BACK_SPACE */) {
- if(outputMark == getCaretPosition()) {
- e.consume();
- }
- } else if(getCaretPosition() < outputMark) {
- setCaretPosition(outputMark);
- }
- }
-
- public synchronized void keyReleased(KeyEvent e) {
- }
-
- public synchronized void write(String str) {
- insert(str, outputMark);
- int len = str.length();
- outputMark += len;
- select(outputMark, outputMark);
- }
-
- public synchronized void insertUpdate(DocumentEvent e) {
- int len = e.getLength();
- int off = e.getOffset();
- if(outputMark > off) {
- outputMark += len;
- }
- }
-
- public synchronized void removeUpdate(DocumentEvent e) {
- int len = e.getLength();
- int off = e.getOffset();
- if(outputMark > off) {
- if(outputMark >= off + len) {
- outputMark -= len;
- } else {
- outputMark = off;
- }
- }
- }
-
- public synchronized void postUpdateUI() {
- // this attempts to cleanup the damage done by updateComponentTreeUI
- requestFocus();
- setCaret(getCaret());
- select(outputMark, outputMark);
- }
-
- public synchronized void changedUpdate(DocumentEvent e) {
- }
-
-
- public InputStream getIn() {
- return in;
- }
-
- public PrintStream getOut() {
- return out;
- }
-
- public PrintStream getErr() {
- return err;
- }
-
-}
generated by cgit v1.2.3-1-g7c22 (git 2.25.1) at 2024-06-27 21:35:16 +0000