public class TypeFilterConstraint extends VariableDeferredPConstraint implements ITypeConstraint
IInputKey.
The InputKey is typically not enumerable. If it is enumerable, use TypeConstraint instead, so that the PConstraint carries over the property of enumerability.
ITypeConstraint.TypeConstraintUtilpBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
TypeFilterConstraint(PBody pBody,
Tuple variablesTuple,
IInputKey inputKey) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
doReplaceVariable(PVariable obsolete,
PVariable replacement) |
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.Set<PVariable> |
getDeferringVariables() |
TypeJudgement |
getEquivalentJudgement() |
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.
|
IInputKey |
getInputKey() |
Tuple |
getVariablesTuple() |
protected java.lang.String |
toStringRest() |
isReadyAtcheckSanity, delete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitcheckSanity, delete, getAffectedVariables, getBody, getMonotonousID, replaceVariablepublic Tuple getVariablesTuple()
public IInputKey getInputKey()
public TypeJudgement getEquivalentJudgement()
getEquivalentJudgement in interface ITypeConstraintprotected void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable in class BasePConstraintpublic java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
ITypeInfoProviderConstraintgetImpliedJudgements in interface ITypeInfoProviderConstraintpublic java.util.Set<PVariable> getDeducedVariables()
PConstraintgetDeducedVariables in interface PConstraintpublic java.util.Set<PVariable> getDeferringVariables()
getDeferringVariables in class VariableDeferredPConstraintprotected java.lang.String toStringRest()
toStringRest in class BasePConstraintpublic java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraintgetFunctionalDependencies in interface PConstraintgetFunctionalDependencies in class BasePConstraint