gzz.slices
Class YAMLVersionReader

java.lang.Object
  |
  +--gzz.slices.YAMLVersionReader

Direct Known Subclasses:

SliceVersionReader

public class YAMLVersionReader

extends java.lang.Object

Field Summary

protected int	expectedIndent
protected java.io.PushbackInputStream	in
protected int	line
protected int	realIndent

Constructor Summary

YAMLVersionReader(java.io.InputStream in)

Method Summary

void	check(boolean what)
void	endList()
boolean	inBlock()
void	readColon() Read a colon character and the end of the line.
void	readComma() Read a comma and a space following it.
void	readEndOfFile() Throw an exception if we're not at the end of the file.
void	readIndent()
int	readInt() Read an integer represented as a decimal number.
void	readNewline()
void	readSeparator()
java.lang.String	readString() Read a double-quote-delimited string.
java.lang.String	readTag() Read a sequence of letters ([a-zA-Z]).
void	startBlock()
void	startList()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

in

protected java.io.PushbackInputStream in

line

protected int line

realIndent

protected int realIndent

expectedIndent

protected int expectedIndent

Constructor Detail

YAMLVersionReader

public YAMLVersionReader(java.io.InputStream in)
                  throws java.io.IOException

Method Detail

check

public void check(boolean what)
           throws java.io.IOException

java.io.IOException

startBlock

public void startBlock()

inBlock

public boolean inBlock()
                throws java.io.IOException

java.io.IOException

readColon

public void readColon()
               throws java.io.IOException

Read a colon character and the end of the line. Throw an exception if something else is read.

java.io.IOException

readComma

public void readComma()
               throws java.io.IOException

Read a comma and a space following it. Throw an exception if something else is read.

java.io.IOException

readEndOfFile

public void readEndOfFile()
                   throws java.io.IOException

Throw an exception if we're not at the end of the file.

java.io.IOException

readTag

public java.lang.String readTag()
                         throws java.io.IOException

Read a sequence of letters ([a-zA-Z]). Any character other than a letter ends the sequence. (After reading such a character, it is pushed back into the input stream.)

java.io.IOException

readString

public java.lang.String readString()
                            throws java.io.IOException

Read a double-quote-delimited string. Cannot handle escaping of double quotes...

java.io.IOException

readInt

public int readInt()
            throws java.io.IOException

Read an integer represented as a decimal number. Signs are not handled. Any character that is not in the range [0-9] terminates the int and is pushed back into the input stream.

java.io.IOException

startList

public void startList()
               throws java.io.IOException

java.io.IOException

endList

public void endList()
             throws java.io.IOException

java.io.IOException

readNewline

public void readNewline()
                 throws java.io.IOException

java.io.IOException

readIndent

public void readIndent()
                throws java.io.IOException

java.io.IOException

readSeparator

public void readSeparator()
                   throws java.io.IOException

java.io.IOException