resolver_test.go

// Copyright 2015 PingCAP, Inc.
//
// 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,
// See the License for the specific language governing permissions and
// limitations under the License.

package plan_test

import (
	. "github.com/pingcap/check"
	"github.com/pingcap/tidb"
	"github.com/pingcap/tidb/ast"
	"github.com/pingcap/tidb/context"
	"github.com/pingcap/tidb/parser"
	"github.com/pingcap/tidb/plan"
	"github.com/pingcap/tidb/sessionctx"
	"github.com/pingcap/tidb/sessionctx/db"
	"github.com/pingcap/tidb/util/testkit"
)

var _ = Suite(&testNameResolverSuite{})

func (s *testNameResolverSuite) SetUpSuite(c *C) {
	s.Parser = parser.New()
}

type testNameResolverSuite struct {
	*parser.Parser
}

type resolverVerifier struct {
	src string
	c   *C
}

func (rv *resolverVerifier) Enter(node ast.Node) (ast.Node, bool) {
	return node, false
}

func (rv *resolverVerifier) Leave(in ast.Node) (out ast.Node, ok bool) {
	switch v := in.(type) {
	case *ast.ColumnNameExpr:
		rv.c.Assert(v.Refer, NotNil, Commentf("%s", rv.src))
	case *ast.TableName:
		rv.c.Assert(v.TableInfo, NotNil, Commentf("%s", rv.src))
	}
	return in, true
}

type resolverTestCase struct {
	src   string
	valid bool
}

var resolverTestCases = []resolverTestCase{
	{"select c1 from t1", true},
	{"select c3 from t1", false},
	{"select c1 from t4", false},
	{"select c1 from t1, t2", false},
	{"select * from t1", true},
	{"select t1.* from t1", true},
	{"select t2.* from t1", false},
	{"select c1 as a, c2 as a from t1 group by a", false},
	{"select c1 as a, c1 as a from t1 group by a", true},
	{"select 1 as a, c1 as a, c2 as a from t1 group by a", true},
	{"select c1, c2 as c1 from t1 group by c1", false},
	{"select c1, c2 as c1 from t1 group by c1+1", true},
	{"select c1, c2 as c1 from t1 order by c1", false},
	{"select c1, c2 as c1 from t1 order by c1+1", true},
	{"select * from t1, t2 join t3 on t1.c1 = t2.c1", false},
	{"select * from t1, t2 join t3 on t2.c1 = t3.c1", true},
	{"select c1 from t1 group by c1 having c1 = 3", true},
	{"select c1 from t1 group by c1 having c2 = 3", false},
	{"select c1 from t1 where exists (select c2)", true},
}

func (ts *testNameResolverSuite) TestNameResolver(c *C) {
	store, err := tidb.NewStore(tidb.EngineGoLevelDBMemory)
	c.Assert(err, IsNil)
	defer store.Close()
	testKit := testkit.NewTestKit(c, store)
	testKit.MustExec("use test")
	testKit.MustExec("create table t1 (c1 int, c2 int)")
	testKit.MustExec("create table t2 (c1 int, c2 int)")
	testKit.MustExec("create table t3 (c1 int, c2 int)")
	ctx := testKit.Se.(context.Context)
	domain := sessionctx.GetDomain(ctx)
	db.BindCurrentSchema(ctx, "test")
	for _, tc := range resolverTestCases {
		node, err := ts.ParseOneStmt(tc.src, "", "")
		c.Assert(err, IsNil)
		resolveErr := plan.ResolveName(node, domain.InfoSchema(), ctx)
		if tc.valid {
			c.Assert(resolveErr, IsNil)
			verifier := &resolverVerifier{c: c, src: tc.src}
			node.Accept(verifier)
		} else {
			c.Assert(resolveErr, NotNil, Commentf("%s", tc.src))
		}
	}
}