public class PositivePatternCall extends KeyedEnumerablePConstraint<PQuery> implements IQueryReference, ITypeInfoProviderConstraint
supplierKeyvariablesTuplepBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
PositivePatternCall(PBody pBody,
Tuple variablesTuple,
PQuery pattern) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<TypeJudgement> |
getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.
|
PQuery |
getReferredQuery() |
static java.util.Set<TypeJudgement> |
getTypesImpliedByCall(PQuery calledQuery,
Tuple actualParametersTuple) |
protected java.lang.String |
keyToString() |
getSupplierKey, toStringRestRestdoReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRestcheckSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetReferredQueriescheckSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariableprotected java.lang.String keyToString()
keyToString in class KeyedEnumerablePConstraint<PQuery>public PQuery getReferredQuery()
getReferredQuery in interface IQueryReferencepublic java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)
ITypeInfoProviderConstraintgetImpliedJudgements in interface ITypeInfoProviderConstraintpublic static java.util.Set<TypeJudgement> getTypesImpliedByCall(PQuery calledQuery, Tuple actualParametersTuple)