public class TypeConstraint extends KeyedEnumerablePConstraint<IInputKey> implements ITypeConstraint
IInputKey.
The InputKey must be enumerable!
ITypeConstraint.TypeConstraintUtilsupplierKeyvariablesTuplepBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
TypeConstraint(PBody pBody,
Tuple variablesTuple,
IInputKey inputKey) |
| Modifier and Type | Method and Description |
|---|---|
void |
doReplaceVariable(PVariable obsolete,
PVariable replacement) |
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.
|
protected java.lang.String |
keyToString() |
getSupplierKey, toStringRestRestgetDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRestcheckSanity, delete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitcheckSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getMonotonousID, replaceVariableprotected java.lang.String keyToString()
keyToString in class KeyedEnumerablePConstraint<IInputKey>public TypeJudgement getEquivalentJudgement()
getEquivalentJudgement in interface ITypeConstraintpublic java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
ITypeInfoProviderConstraintgetImpliedJudgements in interface ITypeInfoProviderConstraintpublic java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraintgetFunctionalDependencies in interface PConstraintgetFunctionalDependencies in class BasePConstraintpublic void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable in class EnumerablePConstraint