src/org/mozilla/javascript/debug/DebugReader.java

   1 /* -*- Mode: java; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-\r
   2  *\r
   3  * The contents of this file are subject to the Netscape Public\r
   4  * License Version 1.1 (the "License"); you may not use this file\r
   5  * except in compliance with the License. You may obtain a copy of\r
   6  * the License at http://www.mozilla.org/NPL/\r
   7  *\r
   8  * Software distributed under the License is distributed on an "AS\r
   9  * IS" basis, WITHOUT WARRANTY OF ANY KIND, either express oqr\r
  10  * implied. See the License for the specific language governing\r
  11  * rights and limitations under the License.\r
  12  *\r
  13  * The Original Code is Rhino code, released\r
  14  * May 6, 1998.\r
  15  *\r
  16  * The Initial Developer of the Original Code is Netscape\r
  17  * Communications Corporation.  Portions created by Netscape are\r
  18  * Copyright (C) 1997-1999 Netscape Communications Corporation. All\r
  19  * Rights Reserved.\r
  20  *\r
  21  * Contributor(s): \r
  22  *\r
  23  * Alternatively, the contents of this file may be used under the\r
  24  * terms of the GNU Public License (the "GPL"), in which case the\r
  25  * provisions of the GPL are applicable instead of those above.\r
  26  * If you wish to allow use of your version of this file only\r
  27  * under the terms of the GPL and not to allow others to use your\r
  28  * version of this file under the NPL, indicate your decision by\r
  29  * deleting the provisions above and replace them with the notice\r
  30  * and other provisions required by the GPL.  If you do not delete\r
  31  * the provisions above, a recipient may use your version of this\r
  32  * file under either the NPL or the GPL.\r
  33  */\r
  34 \r
  35 package org.mozilla.javascript.debug;\r
  36 \r
  37 import java.io.*;\r
  38 \r
  39 public class DebugReader extends Reader {\r
  40 \r
  41     public DebugReader(Reader reader) {\r
  42         this.reader = new BufferedReader(reader);  \r
  43         this.saved = new StringBuffer();\r
  44     }\r
  45     \r
  46     public StringBuffer getSaved() {\r
  47         return saved;\r
  48     }\r
  49 \r
  50     public int read() throws IOException {\r
  51         int c = reader.read();\r
  52         if (c != -1)\r
  53             saved.append((char)c);\r
  54         return c;\r
  55     }\r
  56 \r
  57     public int read(char cbuf[]) throws IOException {\r
  58         int i = reader.read(cbuf);\r
  59         if (i != -1) \r
  60             saved.append(cbuf, 0, i);\r
  61         return i;\r
  62     }\r
  63 \r
  64     public int read(char cbuf[], int off, int len) throws IOException {\r
  65         int i = reader.read(cbuf, off, len);\r
  66         if (i > 0) \r
  67             saved.append(cbuf, off, i);\r
  68         return i;\r
  69     }\r
  70 \r
  71     public long skip(long n) throws IOException {\r
  72         return reader.skip(n);\r
  73     }\r
  74 \r
  75     public boolean ready() throws IOException {\r
  76         return reader.ready();\r
  77     }\r
  78 \r
  79     public boolean markSupported() {\r
  80         return reader.markSupported();\r
  81     }\r
  82 \r
  83     public void mark(int readAheadLimit) throws IOException {\r
  84         reader.mark(readAheadLimit);\r
  85     }\r
  86 \r
  87     public void reset() throws IOException {\r
  88         reader.reset();\r
  89     }\r
  90 \r
  91     public void close() throws IOException {\r
  92         reader.close();\r
  93     }\r
  94 \r
  95     protected void finalize() throws Throwable {\r
  96         reader = null;    \r
  97     }\r
  98     \r
  99     private BufferedReader reader;\r
 100     private StringBuffer saved;\r
 101 }\r