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:
$LastChangedRevision: 555 $
$LastChangedDate: 2008-03-26 14:20:40 +0100 (Mi, 26 Mrz 2008) $
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).