RBNio
Class RBNReader

java.lang.Object
  extended by RBNio.RBNReader

public class RBNReader
extends java.lang.Object


Constructor Summary
RBNReader()
          Creates new RBNReader
 
Method Summary
 java.lang.String[] GetStrings(java.lang.String filename)
          Returns the contents of file as an array of strings.
 RBN ReadRBNfromFile(java.lang.String filename)
           
 java.lang.String[] splitOnCConstr(java.lang.String str)
           
 java.lang.String[] splitOnDelim(java.lang.String str, int delim)
           
 java.lang.String[] splitOnName(java.lang.String str)
          Splits string of the form with : valid name : first illegal character for names into and
 java.lang.String[] splitOnProbForm(java.lang.String str)
          Splits string of the form into and
 CConstr stringToCConstr(java.lang.String ccstr)
          Parses string into CConstr
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RBNReader

public RBNReader()
Creates new RBNReader

Method Detail

ReadRBNfromFile

public RBN ReadRBNfromFile(java.lang.String filename)
                    throws java.io.IOException,
                           RBNSyntaxException,
                           java.lang.IllegalArgumentException
Throws:
java.io.IOException
RBNSyntaxException
java.lang.IllegalArgumentException

GetStrings

public java.lang.String[] GetStrings(java.lang.String filename)
                              throws java.io.IOException
Returns the contents of file as an array of strings. Each relation declaration or formula definition in the file becomes one entry in the array.

Throws:
java.io.IOException

stringToCConstr

public CConstr stringToCConstr(java.lang.String ccstr)
                        throws RBNSyntaxException
Parses string into CConstr

Throws:
RBNSyntaxException

splitOnDelim

public java.lang.String[] splitOnDelim(java.lang.String str,
                                       int delim)
                                throws RBNSyntaxException
Throws:
RBNSyntaxException

splitOnName

public java.lang.String[] splitOnName(java.lang.String str)
Splits string of the form with : valid name : first illegal character for names into and


splitOnCConstr

public java.lang.String[] splitOnCConstr(java.lang.String str)
                                  throws RBNSyntaxException
Throws:
RBNSyntaxException

splitOnProbForm

public java.lang.String[] splitOnProbForm(java.lang.String str)
                                   throws RBNSyntaxException
Splits string of the form into and

Throws:
RBNSyntaxException