story.dbcore.parameters
Class SatisfactionResult

java.lang.Object
  extended by story.dbcore.parameters.SatisfactionResult

public class SatisfactionResult
extends java.lang.Object

A return value for the satisfaction routines of Parameters and ParameterSets that include the essential true/false as well as further debugging information.


Constructor Summary
SatisfactionResult(boolean satisfied, SymbolTable references)
          Constructor with only a result and reference table.
SatisfactionResult(boolean satisfied, SymbolTable references, java.lang.StringBuffer notes)
          Constructor with result, symbol table and notes.
SatisfactionResult(boolean satisfied, SymbolTable references, java.lang.StringBuffer notes, int problemParameter, Scheherexception reason)
          Constructor with result, symbol table, notes, and semantic info about the problem.
 
Method Summary
 java.util.Vector getLeftoverArgs()
           
 java.lang.StringBuffer getNotes()
           
 SymbolTable getReferences()
           
 boolean isSatisfied()
           
 int problemParameter()
           
 Scheherexception reason()
           
 void setLeftoverArgs(java.util.Vector args)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SatisfactionResult

public SatisfactionResult(boolean satisfied,
                          SymbolTable references)
Constructor with only a result and reference table.


SatisfactionResult

public SatisfactionResult(boolean satisfied,
                          SymbolTable references,
                          java.lang.StringBuffer notes)
Constructor with result, symbol table and notes.


SatisfactionResult

public SatisfactionResult(boolean satisfied,
                          SymbolTable references,
                          java.lang.StringBuffer notes,
                          int problemParameter,
                          Scheherexception reason)
Constructor with result, symbol table, notes, and semantic info about the problem.

Method Detail

setLeftoverArgs

public void setLeftoverArgs(java.util.Vector args)

getLeftoverArgs

public java.util.Vector getLeftoverArgs()

isSatisfied

public boolean isSatisfied()

getReferences

public SymbolTable getReferences()

getNotes

public java.lang.StringBuffer getNotes()

problemParameter

public int problemParameter()
                     throws Scheherexception
Throws:
Scheherexception

reason

public Scheherexception reason()
                        throws Scheherexception
Throws:
Scheherexception


Copyright © 2011 David K. Elson. All Rights Reserved.