| Constructor and Description |
|---|
AbstractTypeSystem(IQueryMetaContext context) |
| Modifier and Type | Class and Description |
|---|---|
class |
EMFQueryMetaContext
The singleton meta context information for EMF scopes.
|
| Modifier and Type | Method and Description |
|---|---|
IQueryMetaContext |
EMFQueryRuntimeContext.getMetaContext() |
| Modifier and Type | Method and Description |
|---|---|
void |
LocalSearchPlanner.initializePlanner(PQueryFlattener pQueryFlattener,
org.apache.log4j.Logger logger,
IQueryMetaContext metaContext,
IQueryRuntimeContext runtimeContext,
PBodyNormalizer pBodyNormalizer,
LocalSearchRuntimeBasedStrategy localSearchPlannerStrategy,
POperationCompiler pOperationCompiler,
java.util.Map<java.lang.String,java.lang.Object> hints) |
SubPlan |
LocalSearchPlannerStrategy.plan(PBody pBody,
org.apache.log4j.Logger logger,
IQueryMetaContext context)
Deprecated.
The implementation of a local search-based algorithm to create a search plan for a flattened (and normalized)
PBody
|
SubPlan |
LocalSearchRuntimeBasedStrategy.plan(PBody pBody,
org.apache.log4j.Logger logger,
java.util.Set<PVariable> initialBoundVariables,
IQueryMetaContext metaContext,
IQueryRuntimeContext runtimeContext,
java.util.Map<java.lang.String,java.lang.Object> hints)
The implementation of a local search-based algorithm to create a search plan for a flattened (and normalized)
PBody
|
| Constructor and Description |
|---|
OrderingHeuristics(SubPlan plan,
IQueryMetaContext context)
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
IQueryMetaContext |
IQueryRuntimeContext.getMetaContext()
Provides metamodel-specific info independent of the runtime instance model.
|
| 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.
|
SubPlan |
IQueryPlannerStrategy.plan(PBody pSystem,
org.apache.log4j.Logger logger,
IQueryMetaContext context) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
BuildHelper.areAllVariablesDetermined(SubPlan plan,
java.util.Collection<PVariable> determining,
IQueryMetaContext context) |
static boolean |
BuildHelper.areVariablesDetermined(SubPlan plan,
java.util.Collection<PVariable> determining,
java.util.Collection<PVariable> determined,
IQueryMetaContext context) |
static void |
BuildHelper.finalCheck(PBody pSystem,
SubPlan plan,
IQueryMetaContext context)
Verifies whether all constraints are enforced and exported parameters are present.
|
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 SubPlan |
BuildHelper.trimUnneccessaryVariables(SubPlanFactory planFactory,
SubPlan plan,
boolean onlyIfNotDetermined,
IQueryMetaContext context)
Reduces the number of tuples by trimming (existentially quantifying) the set of variables that
are visible in the subplan,
are not exported parameters,
have all their constraints already enforced in the subplan,
and thus will not be needed anymore.
|
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.
|
| 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.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
BasePConstraint.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
PConstraint.getFunctionalDependencies(IQueryMetaContext context)
A (preferably minimal) cover of known functional dependencies between variables.
|
static java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
ITypeConstraint.TypeConstraintUtil.getFunctionalDependencies(IQueryMetaContext context,
IInputKey inputKey,
Tuple variablesTuple) |
java.util.Set<TypeJudgement> |
ITypeInfoProviderConstraint.getImpliedJudgements(IQueryMetaContext context)
Returns type information implied by this constraint.
|
abstract boolean |
DeferredPConstraint.isReadyAt(SubPlan plan,
IQueryMetaContext context) |
boolean |
VariableDeferredPConstraint.isReadyAt(SubPlan plan,
IQueryMetaContext context)
Refine further if needed
|
| Modifier and Type | Method and Description |
|---|---|
PVariable |
BaseTypeSafeConstraint.checkTypeSafety(SubPlan plan,
IQueryMetaContext context)
Checks whether all type restrictions are already enforced on affected variables.
|
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
TypeFilterConstraint.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
PatternMatchCounter.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
ExpressionEvaluation.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
Equality.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Set<TypeJudgement> |
TypeFilterConstraint.getImpliedJudgements(IQueryMetaContext context) |
boolean |
Equality.isReadyAt(SubPlan plan,
IQueryMetaContext context) |
boolean |
BaseTypeSafeConstraint.isReadyAt(SubPlan plan,
IQueryMetaContext context) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
TypeConstraint.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
PositivePatternCall.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
ConstantValue.getFunctionalDependencies(IQueryMetaContext context) |
java.util.Set<TypeJudgement> |
TypeConstraint.getImpliedJudgements(IQueryMetaContext context) |
| Modifier and Type | Method and Description |
|---|---|
void |
PBodyNormalizer.setContext(IQueryMetaContext context) |
| Constructor and Description |
|---|
PBodyNormalizer(IQueryMetaContext context) |
PBodyNormalizer(IQueryMetaContext context,
boolean calculateImpliedTypes) |
| Modifier and Type | Method and Description |
|---|---|
SubPlan |
BasicLinearLayout.plan(PBody pSystem,
org.apache.log4j.Logger logger,
IQueryMetaContext context) |
| Constructor and Description |
|---|
OrderingHeuristics(SubPlan plan,
IQueryMetaContext context) |
| Constructor and Description |
|---|
ReteRecipeCompiler(IQueryPlannerStrategy plannerStrategy,
org.apache.log4j.Logger logger,
IQueryMetaContext metaContext,
IQueryCacheContext queryCacheContext,
IQueryBackendHintProvider hintProvider) |
| Modifier and Type | Method and Description |
|---|---|
SubPlan |
QuasiTreeLayout.plan(PBody pSystem,
org.apache.log4j.Logger logger,
IQueryMetaContext context) |