KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > aspectj > debugger > gui > EnvTextArea


1 /* -*- Mode: JDE; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
2  *
3  * This file is part of the debugger and core tools for the AspectJ(tm)
4  * programming language; see http://aspectj.org
5  *
6  * The contents of this file are subject to the Mozilla Public License
7  * Version 1.1 (the "License"); you may not use this file except in
8  * compliance with the License. You may obtain a copy of the License at
9  * either http://www.mozilla.org/MPL/ or http://aspectj.org/MPL/.
10  *
11  * Software distributed under the License is distributed on an "AS IS" basis,
12  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
13  * for the specific language governing rights and limitations under the
14  * License.
15  *
16  * The Original Code is AspectJ.
17  *
18  * The Initial Developer of the Original Code is Xerox Corporation. Portions
19  * created by Xerox Corporation are Copyright (C) 1999-2002 Xerox Corporation.
20  * All Rights Reserved.
21  */
22
23 package org.aspectj.debugger.gui;
24
25 import org.aspectj.debugger.base.*;
26
27 import java.io.*;
28
29 public class EnvTextArea extends AbstractTextArea {
30
31     private PrintStream oldErr = null;
32     private PrintStream oldOut = null;
33
34     public EnvTextArea(GUIDebugger guiDebugger) {
35         superInit(guiDebugger);
36         TextPrintErrStream err = new TextPrintErrStream(this);
37         oldErr = System.err;
38         //if (!Modes.isForte())
39 System.setErr(err);
40         TextPrintNoticeStream out = new TextPrintNoticeStream(this);
41         oldOut = System.out;
42         //if (!Modes.isForte())
43 System.setOut(out);
44     }
45
46     public void restorePrintStream() {
47         if (oldErr != null) System.setErr(oldErr);
48         if (oldOut != null) System.setOut(oldOut);
49     }
50
51     protected PrintStream createPrintStream() {
52         return new TextPrintOutStream(this);
53     }
54
55     public String JavaDoc toString() { return d(); }
56     public static String JavaDoc d() { return "Env Text Area"; }
57 }
58
Popular Tags