home *** CD-ROM | disk | FTP | other *** search
/ PC Online 1997 November / PCO1197.ISO / FilesBBS / WIN95 / NET_COM / N32E403.EXE / nav40l.z / java40.jar / netscape / applet / Console.class (.txt) < prev    next >
Encoding:
Java Class File  |  1997-09-04  |  1.9 KB  |  59 lines
  1. package netscape.applet;
  2.  
  3. import java.io.BufferedOutputStream;
  4. import java.io.InputStream;
  5. import java.io.PrintStream;
  6.  
  7. class Console {
  8.    ConsoleFrame frame;
  9.    private InputStream realIn;
  10.    private PrintStream realOut;
  11.    private PrintStream realErr;
  12.  
  13.    Console() {
  14.       SecurityManager.enablePrivilege("UniversalTopLevelWindow");
  15.       this.frame = new ConsoleFrame(this);
  16.       SecurityManager.revertPrivilege();
  17.       ConsoleInputStream var1 = new ConsoleInputStream(this);
  18.       PrintStream var2 = new PrintStream(new BufferedOutputStream(new ConsoleOutputStream(this), 128), true);
  19.       setSystemIO(var1, var2, var2);
  20.       var2.println(System.getProperty("java.vendor") + " -- Java " + System.getProperty("java.version"));
  21.       var2.println("Type '?' for options.");
  22.       var2.flush();
  23.    }
  24.  
  25.    private static native void setSystemIO(InputStream var0, PrintStream var1, PrintStream var2);
  26.  
  27.    static native void dumpNSPRInfo();
  28.  
  29.    static native void dumpMemory(boolean var0);
  30.  
  31.    static native void dumpMemorySummary();
  32.  
  33.    static native void checkpointMemory();
  34.  
  35.    static native void dumpApplicationHeaps();
  36.  
  37.    static native void debugWrite(String var0);
  38.  
  39.    void reset() {
  40.       this.frame.reset();
  41.    }
  42.  
  43.    void show() {
  44.       if (!this.frame.isVisible()) {
  45.          this.frame.show();
  46.          MozillaAppletContext.setConsoleState(1);
  47.       }
  48.  
  49.    }
  50.  
  51.    void hide() {
  52.       if (this.frame.isVisible()) {
  53.          this.frame.hide();
  54.          MozillaAppletContext.setConsoleState(0);
  55.       }
  56.  
  57.    }
  58. }
  59.