Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance. Project price only 1 $
You can buy this project and download/modify it how often you want.
/*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package io.trino.sql.planner.sanity;
import com.google.common.collect.ImmutableListMultimap;
import com.google.common.collect.Multimap;
import io.trino.Session;
import io.trino.cost.StatsAndCosts;
import io.trino.execution.warnings.WarningCollector;
import io.trino.sql.PlannerContext;
import io.trino.sql.planner.TypeAnalyzer;
import io.trino.sql.planner.TypeProvider;
import io.trino.sql.planner.plan.PlanNode;
import static io.trino.sql.planner.planprinter.PlanPrinter.textLogicalPlan;
/**
* It is going to be executed to verify logical planner correctness
*/
public final class PlanSanityChecker
{
public static final PlanSanityChecker DISTRIBUTED_PLAN_SANITY_CHECKER = new PlanSanityChecker(false);
private final Multimap checkers;
public PlanSanityChecker(boolean forceSingleNode)
{
checkers = ImmutableListMultimap.builder()
.putAll(
Stage.INTERMEDIATE,
new ValidateDependenciesChecker(),
new NoDuplicatePlanNodeIdsChecker(),
new AllFunctionsResolved(),
new TypeValidator(),
new NoSubqueryExpressionLeftChecker(),
new NoIdentifierLeftChecker(),
new VerifyOnlyOneOutputNode())
.putAll(
Stage.FINAL,
new ValidateDependenciesChecker(),
new NoDuplicatePlanNodeIdsChecker(),
new SugarFreeChecker(),
new AllFunctionsResolved(),
new TypeValidator(),
new NoSubqueryExpressionLeftChecker(),
new NoIdentifierLeftChecker(),
new VerifyOnlyOneOutputNode(),
new VerifyNoFilteredAggregations(),
new VerifyUseConnectorNodePartitioningSet(),
new ValidateAggregationsWithDefaultValues(forceSingleNode),
new ValidateScaledWritersUsage(),
new ValidateStreamingAggregations(),
new DynamicFiltersChecker(),
new TableScanValidator(),
new TableExecuteStructureValidator())
.build();
}
public void validateFinalPlan(
PlanNode planNode,
Session session,
PlannerContext plannerContext,
TypeAnalyzer typeAnalyzer,
TypeProvider types,
WarningCollector warningCollector)
{
try {
checkers.get(Stage.FINAL).forEach(checker -> checker.validate(planNode, session, plannerContext, typeAnalyzer, types, warningCollector));
}
catch (RuntimeException e) {
try {
int nestLevel = 4; // so that it renders reasonably within exception stacktrace
String explain = textLogicalPlan(
planNode,
types,
plannerContext.getMetadata(),
plannerContext.getFunctionManager(),
StatsAndCosts.empty(),
session,
nestLevel,
false);
e.addSuppressed(new Exception("Current plan:\n" + explain));
}
catch (RuntimeException ignore) {
// ignored
}
throw e;
}
}
public void validateIntermediatePlan(
PlanNode planNode,
Session session,
PlannerContext plannerContext,
TypeAnalyzer typeAnalyzer,
TypeProvider types,
WarningCollector warningCollector)
{
try {
checkers.get(Stage.INTERMEDIATE).forEach(checker -> checker.validate(planNode, session, plannerContext, typeAnalyzer, types, warningCollector));
}
catch (RuntimeException e) {
try {
int nestLevel = 4; // so that it renders reasonably within exception stacktrace
String explain = textLogicalPlan(
planNode,
types,
plannerContext.getMetadata(),
plannerContext.getFunctionManager(),
StatsAndCosts.empty(),
session,
nestLevel,
false);
e.addSuppressed(new Exception("Current plan:\n" + explain));
}
catch (RuntimeException ignore) {
// ignored
}
throw e;
}
}
public interface Checker
{
void validate(
PlanNode planNode,
Session session,
PlannerContext plannerContext,
TypeAnalyzer typeAnalyzer,
TypeProvider types,
WarningCollector warningCollector);
}
private enum Stage
{
INTERMEDIATE, FINAL
}
}
