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

Class LeftJoinConstraint

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.PatternCallBasedDeferred

tools.refinery.interpreter.matchers.psystem.basicdeferred.LeftJoinConstraint

All Implemented Interfaces:

IMultiQueryReference, IQueryReference, ITypeInfoProviderConstraint, PConstraint, PTraceable

public class LeftJoinConstraint
extends PatternCallBasedDeferred
implements ITypeInfoProviderConstraint

Field Summary

Fields

Modifier and Type	Field	Description
protected Object	defaultValue
protected int	optionalColumn
protected PVariable	resultVariable

Fields inherited from class tools.refinery.interpreter.matchers.psystem.basicdeferred.PatternCallBasedDeferred

actualParametersTuple, query

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
LeftJoinConstraint(PBody pBody, Tuple actualParametersTuple, PQuery query, PVariable resultVariable, int optionalColumn, Object defaultValue)

Method Summary

Modifier and Type	Method	Description
protected void	doDoReplaceVariables(PVariable obsolete, PVariable replacement)
protected Set<PVariable>	getCandidateQuantifiedVariables()
Set<PVariable>	getDeducedVariables()	The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
Object	getDefaultValue()
Set<TypeJudgement>	getImpliedJudgements(IQueryMetaContext context)	Returns type information implied by this constraint.
int	getOptionalColumn()
PVariable	getResultVariable()
protected String	toStringRest()

Methods inherited from class tools.refinery.interpreter.matchers.psystem.basicdeferred.PatternCallBasedDeferred

checkSanity, doReplaceVariable, getActualParametersTuple, getDeferringVariables, getReferredQuery

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

isReadyAt

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.IQueryReference

getReferredQueries

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

checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, replaceVariable

Field Details

resultVariable

protected PVariable resultVariable

optionalColumn

protected int optionalColumn

defaultValue

protected Object defaultValue

Constructor Details

LeftJoinConstraint

public LeftJoinConstraint(PBody pBody,
 Tuple actualParametersTuple,
 PQuery query,
 PVariable resultVariable,
 int optionalColumn,
 Object defaultValue)

Method Details

getResultVariable

public PVariable getResultVariable()

getOptionalColumn

public int getOptionalColumn()

getDefaultValue

public Object getDefaultValue()

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).

Specified by:

getDeducedVariables in interface PConstraint

doDoReplaceVariables

protected void doDoReplaceVariables(PVariable obsolete,
 PVariable replacement)

Specified by:

doDoReplaceVariables in class PatternCallBasedDeferred

getCandidateQuantifiedVariables

protected Set<PVariable> getCandidateQuantifiedVariables()

Specified by:

getCandidateQuantifiedVariables in class PatternCallBasedDeferred

toStringRest

protected String toStringRest()

Specified by:

toStringRest in class BasePConstraint

getImpliedJudgements

public Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)

Description copied from interface: ITypeInfoProviderConstraint

Returns type information implied by this constraint.

Specified by:

getImpliedJudgements in interface ITypeInfoProviderConstraint