nenok.parser
Class ResultSet
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
vals
public Valuation[] vals
- An array of valuations.
queries
public Domain[] queries
- An array of queries (i.e. domains).
ResultSet
public ResultSet(Valuation[] vals,
Domain[] queries)
- Constructor:
- Parameters:
vals
- An array of valuations.queries
- An array of queries (i.e. domains).