seda.sandStorm.main
Class SandstormConfig.directiveReader
java.lang.Object
java.io.Reader
seda.sandStorm.main.SandstormConfig.directiveReader
- All Implemented Interfaces:
- java.io.Closeable, java.lang.Readable
- Enclosing class:
- SandstormConfig
class SandstormConfig.directiveReader
- extends java.io.Reader
Internal class to preprocess special directives in the
config file.
Fields inherited from class java.io.Reader |
lock |
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 |
under
private java.io.Reader under
includedFile
private java.io.Reader includedFile
markStream
private java.io.Reader markStream
markIsIncluded
private boolean markIsIncluded
closed
private boolean closed
inComment
private boolean inComment
SandstormConfig.directiveReader
SandstormConfig.directiveReader(java.io.Reader under)
throws java.io.IOException
- Throws:
java.io.IOException
read
public int read()
throws java.io.IOException
- Overrides:
read
in class java.io.Reader
- Throws:
java.io.IOException
read
public int read(char[] cbuf)
throws java.io.IOException
- Overrides:
read
in class java.io.Reader
- Throws:
java.io.IOException
read
public int read(char[] cbuf,
int off,
int len)
throws java.io.IOException
- Specified by:
read
in class java.io.Reader
- Throws:
java.io.IOException
skip
public long skip(long n)
throws java.io.IOException
- Overrides:
skip
in class java.io.Reader
- Throws:
java.io.IOException
ready
public boolean ready()
throws java.io.IOException
- Overrides:
ready
in class java.io.Reader
- Throws:
java.io.IOException
markSupported
public boolean markSupported()
- Overrides:
markSupported
in class java.io.Reader
mark
public void mark(int readAheadLimit)
throws java.io.IOException
- Overrides:
mark
in class java.io.Reader
- Throws:
java.io.IOException
reset
public void reset()
throws java.io.IOException
- Overrides:
reset
in class java.io.Reader
- Throws:
java.io.IOException
close
public void close()
throws java.io.IOException
- Specified by:
close
in interface java.io.Closeable
- Specified by:
close
in class java.io.Reader
- Throws:
java.io.IOException