zeus.rete
Class DataReader

java.lang.Object
  java.io.Reader
      java.io.BufferedReader
          zeus.rete.DataReader

public class DataReader

extends java.io.BufferedReader

this class is a "value add" extension to BufferedReader. It used to be local in zeus.rete.ConflictSet

Field Summary

Fields inherited from class java.io.BufferedReader

Fields inherited from class java.io.Reader

lock

Constructor Summary

DataReader(java.io.Reader r)

Method Summary

java.lang.String

nextToken()

Methods inherited from class java.io.BufferedReader

close, mark, markSupported, read, read, readLine, 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

DataReader

public DataReader(java.io.Reader r)

Method Detail

nextToken

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

Throws:

java.io.IOException