com.judoscript.parser.helper
Class JavaReader

java.lang.Object
  extended by java.io.Reader
      extended by com.judoscript.util.NamedReader
          extended by com.judoscript.parser.helper.JavaReader
All Implemented Interfaces:
java.io.Closeable, java.lang.Readable

public class JavaReader
extends NamedReader

This class name is now effectively a misnomer: it's not just for Java/C/C++ style only.


Field Summary
 
Fields inherited from class java.io.Reader
lock
 
Constructor Summary
JavaReader(java.io.File file, java.lang.String begin, java.lang.String end)
           
JavaReader(java.io.InputStream s, java.lang.String name, java.lang.String begin, java.lang.String end)
           
JavaReader(java.io.Reader r, java.lang.String name, java.lang.String begin, java.lang.String end)
           
JavaReader(java.lang.String fname, java.lang.String begin, java.lang.String end)
           
 
Method Summary
 int read()
           
 int read(char[] buf)
           
 int read(char[] buf, int offset, int len)
           
 
Methods inherited from class com.judoscript.util.NamedReader
close, getName, getReader, mark, markSupported, ready, reset, skip
 
Methods inherited from class java.io.Reader
read
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JavaReader

public JavaReader(java.lang.String fname,
                  java.lang.String begin,
                  java.lang.String end)
           throws java.io.IOException
Throws:
java.io.IOException

JavaReader

public JavaReader(java.io.File file,
                  java.lang.String begin,
                  java.lang.String end)
           throws java.io.IOException
Throws:
java.io.IOException

JavaReader

public JavaReader(java.io.InputStream s,
                  java.lang.String name,
                  java.lang.String begin,
                  java.lang.String end)
           throws java.io.IOException
Throws:
java.io.IOException

JavaReader

public JavaReader(java.io.Reader r,
                  java.lang.String name,
                  java.lang.String begin,
                  java.lang.String end)
           throws java.io.IOException
Throws:
java.io.IOException
Method Detail

read

public int read()
         throws java.io.IOException
Overrides:
read in class NamedReader
Throws:
java.io.IOException

read

public int read(char[] buf)
         throws java.io.IOException
Overrides:
read in class NamedReader
Throws:
java.io.IOException

read

public int read(char[] buf,
                int offset,
                int len)
         throws java.io.IOException
Overrides:
read in class NamedReader
Throws:
java.io.IOException