guiserver/java/FilterFileReader.java

   1 //
   2 //  FilterFileReader.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 7/17/07.
   6
   7 import java.awt.event.*;
   8 import java.io.*;
   9 import java.io.InputStreamReader;
  10 // import java.io.FileReader;
  11 import java.io.FileInputStream;
  12
  13
  14 public class FilterFileReader extends InputStreamReader {
  15
  16 public FilterFileReader(String path, String charSet) throws java.io.FileNotFoundException, UnsupportedEncodingException
  17         {
  18         super(new FileInputStream(path), charSet);
  19         }
  20
  21 public FilterFileReader(String path) throws java.io.FileNotFoundException, UnsupportedEncodingException
  22         {
  23         super(new FileInputStream(path));
  24         }
  25
  26 /*
  27 public class FilterFileReader extends FileReader  {
  28
  29 public FilterFileReader(String path) throws java.io.FileNotFoundException
  30         {
  31         super(path);
  32         }
  33 */
  34
  35 public int read() throws java.io.IOException
  36         {
  37         int chr = super.read();
  38
  39         if(chr  == 13)
  40                 chr = super.read();
  41
  42         return(chr);
  43         }
  44
  45 public int read(char[] cbuf, int offset, int length) throws IOException
  46         {
  47         int chr;
  48         int len = 0;
  49
  50         //System.out.println("reading:" + offset + " " + length);
  51
  52         for(int i = 0; i < length; i++)
  53                 {
  54                 chr = super.read();
  55
  56                 if(chr == 13)
  57                         chr = super.read();
  58
  59                 if(chr == -1) break;
  60
  61                 cbuf[offset + i] = (char)chr;
  62                 ++len;
  63                 }
  64
  65         if(len == 0) return(-1);
  66
  67         return(len);
  68         }
  69
  70
  71 }