nenok.parser
Class ResultSet

java.lang.Object
  extended by nenok.parser.ResultSet

public class ResultSet
extends Object

This class is a content holder to store the components that were constructed by the parsing method. Essentially, it enables the parsing method to return valuations as well as queries.

Version:
1.1
Author:
Marc Pouly

Field Summary
 Domain[] queries
          An array of queries (i.e. domains).
 Valuation[] vals
          An array of valuations.
 
Constructor Summary
ResultSet(Valuation[] vals, Domain[] queries)
          Constructor:
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

vals

public Valuation[] vals
An array of valuations.


queries

public Domain[] queries
An array of queries (i.e. domains).

Constructor Detail

ResultSet

public ResultSet(Valuation[] vals,
                 Domain[] queries)
Constructor:

Parameters:
vals - An array of valuations.
queries - An array of queries (i.e. domains).