net.sf.bddbddb
Class DatalogParser

java.lang.Object
  net.sf.bddbddb.DatalogParser

public class DatalogParser
extends java.lang.Object

DatalogParser

Version:

$Id: DatalogParser.java 649 2006-09-16 05:51:04Z joewhaley $

Author:

jwhaley

Field Summary

java.io.PrintStream	err
java.io.PrintStream	out Trace output stream.

Constructor Summary

DatalogParser(Solver solver)
Construct a new Datalog parser with the given solver.

Method Summary

void	parseAndAddConstraint(Relation r, java.util.regex.Matcher m) Parse and add an attribute constraint.
void	readDatalogProgram(Solver.MyReader in) Read and parse a Datalog program.
void	readDatalogProgram(java.lang.String inputFilename) Read and parse a Datalog program.

Methods inherited from class java.lang.Object

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

Field Detail

out

public java.io.PrintStream out

Trace output stream.

err

public java.io.PrintStream err

Constructor Detail

DatalogParser

public DatalogParser(Solver solver)

Construct a new Datalog parser with the given solver.

Parameters:

solver - add rules, relations, etc. to this solver

Method Detail

readDatalogProgram

public void readDatalogProgram(java.lang.String inputFilename)
                        throws java.io.IOException

Read and parse a Datalog program.

Parameters:

inputFilename - name of file to read

Throws:

java.io.IOException

readDatalogProgram

public void readDatalogProgram(Solver.MyReader in)
                        throws java.io.IOException

Read and parse a Datalog program.

Parameters:

in - input reader

Throws:

java.io.IOException

parseAndAddConstraint

public void parseAndAddConstraint(Relation r,
                                  java.util.regex.Matcher m)

Parse and add an attribute constraint.

Parameters:

r - relation to add constraint for

m - constraint pattern matcher