|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object blog.DefaultEvalContext blog.ParentRecEvalContext
public class ParentRecEvalContext
Implementation of the EvalContext interface that records the basic
random variables used by calls to the access methods. The
getParents
method returns this set of variables.
Field Summary | |
---|---|
protected BasicVar |
latestUninstParent
|
protected java.util.Set |
parents
|
Fields inherited from class blog.DefaultEvalContext |
---|
errorIfUndet, world |
Constructor Summary | |
---|---|
ParentRecEvalContext(PartialWorld world)
Creates a new ParentRecEvalContext using the given world. |
|
ParentRecEvalContext(PartialWorld world,
boolean errorIfUndet)
Creates a new ParentRecEvalContext using the given world. |
Method Summary | |
---|---|
BasicVar |
getLatestUninstParent()
Returns the variable whose value was most recently needed by an access method, but which is not instantiated. |
java.util.Set |
getParents()
Returns the set of basic random variables that are instantiated and whose values have been used in calls to the access methods. |
NumberVar |
getPOPAppSatisfied(java.lang.Object obj)
Returns the NumberVar (i.e., POP and generating objects) such that the given object satisfies that POP applied to those generating objects in this world. |
java.lang.Object |
getValue(BasicVar var)
Returns the value of the given basic random variable in this partial world, or null if the given variable is not instantiated. |
Methods inherited from class blog.DefaultEvalContext |
---|
assign, assignTuple, getAssignmentStr, getLogicalVarValue, getLogicalVarValues, getSatisfiers, handleMissingVar, objectExists, popEvaluee, printEvalTrace, pushEvaluee, unassign, unassignTuple, usesIdentifiers |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.util.Set parents
protected BasicVar latestUninstParent
Constructor Detail |
---|
public ParentRecEvalContext(PartialWorld world)
public ParentRecEvalContext(PartialWorld world, boolean errorIfUndet)
errorIfUndet
flag is true, the access
methods on this instance will print error messages and exit the
program if the world is not complete enough to determine the
correct return value. Otherwise they will just return null in
such cases.
Method Detail |
---|
public java.lang.Object getValue(BasicVar var)
EvalContext
getValue
in interface EvalContext
getValue
in class DefaultEvalContext
public NumberVar getPOPAppSatisfied(java.lang.Object obj)
EvalContext
getPOPAppSatisfied
in interface EvalContext
getPOPAppSatisfied
in class DefaultEvalContext
public java.util.Set getParents()
public BasicVar getLatestUninstParent()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |