public class AggregatorConstraint extends PatternCallBasedDeferred implements ITypeInfoProviderConstraint
| Modifier and Type | Field and Description |
|---|---|
protected int |
aggregatedColumn |
protected PVariable |
resultVariable |
actualParametersTuple, querypBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
AggregatorConstraint(BoundAggregator aggregator,
PBody pBody,
Tuple actualParametersTuple,
PQuery query,
PVariable resultVariable,
int aggregatedColumn) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
doDoReplaceVariables(PVariable obsolete,
PVariable replacement) |
int |
getAggregatedColumn() |
BoundAggregator |
getAggregator() |
protected java.util.Set<PVariable> |
getCandidateQuantifiedVariables() |
java.util.Set<PVariable> |
getDeducedVariables()
The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
|
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
getFunctionalDependencies(IQueryMetaContext context)
A (preferably minimal) cover of known functional dependencies between variables.
|
java.util.Set<TypeJudgement> |
getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.
|
PVariable |
getResultVariable() |
protected java.lang.String |
toStringRest() |
checkSanity, doReplaceVariable, getActualParametersTuple, getDeferringVariables, getReferredQueryisReadyAtdelete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitcheckSanity, delete, getAffectedVariables, getBody, getMonotonousID, replaceVariablegetReferredQueriesprotected PVariable resultVariable
protected int aggregatedColumn
public AggregatorConstraint(BoundAggregator aggregator, PBody pBody, Tuple actualParametersTuple, PQuery query, PVariable resultVariable, int aggregatedColumn)
public int getAggregatedColumn()
public BoundAggregator getAggregator()
public java.util.Set<PVariable> getDeducedVariables()
PConstraintgetDeducedVariables in interface PConstraintpublic java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraintgetFunctionalDependencies in interface PConstraintgetFunctionalDependencies in class BasePConstraintprotected void doDoReplaceVariables(PVariable obsolete, PVariable replacement)
doDoReplaceVariables in class PatternCallBasedDeferredprotected java.util.Set<PVariable> getCandidateQuantifiedVariables()
getCandidateQuantifiedVariables in class PatternCallBasedDeferredprotected java.lang.String toStringRest()
toStringRest in class BasePConstraintpublic PVariable getResultVariable()
public java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
ITypeInfoProviderConstraintgetImpliedJudgements in interface ITypeInfoProviderConstraint