Package tools.refinery.interpreter.matchers.psystem.basicdeferred

Class BaseTypeSafeConstraint

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.DeferredPConstraint

tools.refinery.interpreter.matchers.psystem.VariableDeferredPConstraint

tools.refinery.interpreter.matchers.psystem.basicdeferred.BaseTypeSafeConstraint

All Implemented Interfaces:

PConstraint, PTraceable

Direct Known Subclasses:

ExpressionEvaluation

public abstract class BaseTypeSafeConstraint
extends VariableDeferredPConstraint

Field Summary

Fields

Modifier and Type	Field	Description
protected Set<PVariable>	inputVariables
protected PVariable	outputVariable

Fields inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

pBody

Fields inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
BaseTypeSafeConstraint(PBody pBody, Set<PVariable> inputVariables, PVariable outputVariable)

Method Summary

Modifier and Type	Method	Description
PVariable	checkTypeSafety(SubPlan plan, IQueryMetaContext context)	Checks whether all type restrictions are already enforced on affected variables.
protected void	doReplaceVariable(PVariable obsolete, PVariable replacement)
Set<PVariable>	getDeducedVariables()	The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
Set<PVariable>	getDeferringVariables()
PVariable	getOutputVariable()
boolean	isReadyAt(SubPlan plan, IQueryMetaContext context)	Refine further if needed

Methods inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString, toStringRest

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

inputVariables

protected Set<PVariable> inputVariables

outputVariable

protected PVariable outputVariable

Constructor Details

BaseTypeSafeConstraint

public BaseTypeSafeConstraint(PBody pBody,
 Set<PVariable> inputVariables,
 PVariable outputVariable)

Parameters:

pBody -

inputVariables -

outputVariable - null iff no output (check-only)

Method Details

getOutputVariable

public PVariable getOutputVariable()

getDeducedVariables

public Set<PVariable> getDeducedVariables()

Description copied from interface: PConstraint

The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).

getDeferringVariables

public Set<PVariable> getDeferringVariables()

Specified by:

getDeferringVariables in class VariableDeferredPConstraint

isReadyAt

public boolean isReadyAt(SubPlan plan,
 IQueryMetaContext context)

Description copied from class: VariableDeferredPConstraint

Refine further if needed

Overrides:

isReadyAt in class VariableDeferredPConstraint

checkTypeSafety

public PVariable checkTypeSafety(SubPlan plan,
 IQueryMetaContext context)

Checks whether all type restrictions are already enforced on affected variables.

Parameters:

plan -

Returns:

a variable whose type safety is not enforced yet, or null if the plan is typesafe

doReplaceVariable

protected void doReplaceVariable(PVariable obsolete,
 PVariable replacement)

Specified by:

doReplaceVariable in class BasePConstraint