RBNio
Class AtomListReader

java.lang.Object
  extended by RBNio.AtomListReader

public class AtomListReader
extends java.lang.Object


Constructor Summary
AtomListReader()
           
 
Method Summary
 void addCandidateType(Rel rel)
           
 void addElement(java.lang.String elname, java.lang.String rname)
           
 void addRelation(java.lang.String relname, java.util.Vector<java.lang.String> args)
           
 void addTuple(java.lang.String relname, java.util.Vector<java.lang.String> tup, boolean tv)
           
 RelData readAL(java.io.File alfile)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AtomListReader

public AtomListReader()
Method Detail

readAL

public RelData readAL(java.io.File alfile)
               throws java.io.FileNotFoundException,
                      ParseException,
                      java.lang.InterruptedException
Throws:
java.io.FileNotFoundException
ParseException
java.lang.InterruptedException

addElement

public void addElement(java.lang.String elname,
                       java.lang.String rname)

addRelation

public void addRelation(java.lang.String relname,
                        java.util.Vector<java.lang.String> args)

addTuple

public void addTuple(java.lang.String relname,
                     java.util.Vector<java.lang.String> tup,
                     boolean tv)

addCandidateType

public void addCandidateType(Rel rel)