Uses of Class
org.eclipse.incquery.runtime.matchers.psystem.TypeJudgement

Packages that use TypeJudgement

Package	Description
org.eclipse.incquery.runtime.matchers.planning
org.eclipse.incquery.runtime.matchers.planning.helpers
org.eclipse.incquery.runtime.matchers.psystem
org.eclipse.incquery.runtime.matchers.psystem.basicdeferred
org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

Uses of TypeJudgement in org.eclipse.incquery.runtime.matchers.planning

Methods in org.eclipse.incquery.runtime.matchers.planning that return types with arguments of type TypeJudgement

Modifier and Type	Method and Description
java.util.Set<TypeJudgement>	SubPlan.getAllImpliedTypeJudgements(IQueryMetaContext context) The closure of all type judgments of enforced constraints at this point.

Uses of TypeJudgement in org.eclipse.incquery.runtime.matchers.planning.helpers

Methods in org.eclipse.incquery.runtime.matchers.planning.helpers that return types with arguments of type TypeJudgement

Modifier and Type	Method and Description
static java.util.Set<TypeJudgement>	TypeHelper.getDirectJudgements(java.util.Set<PConstraint> constraints, IQueryMetaContext context) Gets direct judgements reported by constraints.
static java.util.Map<PVariable,java.util.Set<TypeJudgement>>	TypeHelper.inferUnaryTypes(java.util.Set<PConstraint> constraints, IQueryMetaContext context) Infers unary type information for variables, based on the given constraints.
static java.util.Set<TypeJudgement>	TypeHelper.subsumeTypes(java.util.Set<TypeJudgement> subsumableTypes, java.util.Set<TypeJudgement> subsumingTypes, IQueryMetaContext context) Calculates a remainder set of types from a larger set, that are not subsumed by a given set of subsuming types.
static java.util.Set<TypeJudgement>	TypeHelper.typeClosure(java.util.Set<TypeJudgement> typesToClose, IQueryMetaContext context) Calculates the closure of a set of type judgements, with respect to supertyping.

Method parameters in org.eclipse.incquery.runtime.matchers.planning.helpers with type arguments of type TypeJudgement

Modifier and Type	Method and Description
static java.util.Set<TypeJudgement>	TypeHelper.subsumeTypes(java.util.Set<TypeJudgement> subsumableTypes, java.util.Set<TypeJudgement> subsumingTypes, IQueryMetaContext context) Calculates a remainder set of types from a larger set, that are not subsumed by a given set of subsuming types.
static java.util.Set<TypeJudgement>	TypeHelper.subsumeTypes(java.util.Set<TypeJudgement> subsumableTypes, java.util.Set<TypeJudgement> subsumingTypes, IQueryMetaContext context) Calculates a remainder set of types from a larger set, that are not subsumed by a given set of subsuming types.
static java.util.Set<TypeJudgement>	TypeHelper.typeClosure(java.util.Set<TypeJudgement> typesToClose, IQueryMetaContext context) Calculates the closure of a set of type judgements, with respect to supertyping.

Uses of TypeJudgement in org.eclipse.incquery.runtime.matchers.psystem

Methods in org.eclipse.incquery.runtime.matchers.psystem that return TypeJudgement

Modifier and Type	Method and Description
TypeJudgement	ITypeConstraint.getEquivalentJudgement()

Methods in org.eclipse.incquery.runtime.matchers.psystem that return types with arguments of type TypeJudgement

Modifier and Type	Method and Description
java.util.Map<PVariable,java.util.Set<TypeJudgement>>	PBody.getAllUnaryTypeRestrictions(IQueryMetaContext context) All unary input keys directly prescribed by constraints, grouped by variable.
java.util.Set<TypeJudgement>	TypeJudgement.getDirectlyImpliedJudgements(IQueryMetaContext context)
java.util.Set<TypeJudgement>	ITypeInfoProviderConstraint.getImpliedJudgements(IQueryMetaContext context) Returns type information implied by this constraint.

Uses of TypeJudgement in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred that return TypeJudgement

Modifier and Type	Method and Description
TypeJudgement	TypeFilterConstraint.getEquivalentJudgement()

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred that return types with arguments of type TypeJudgement

Modifier and Type	Method and Description
java.util.Set<TypeJudgement>	TypeFilterConstraint.getImpliedJudgements(IQueryMetaContext context)

Uses of TypeJudgement in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables that return TypeJudgement

Modifier and Type	Method and Description
TypeJudgement	TypeConstraint.getEquivalentJudgement()

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables that return types with arguments of type TypeJudgement

Modifier and Type	Method and Description
java.util.Set<TypeJudgement>	TypeConstraint.getImpliedJudgements(IQueryMetaContext context)