package ai

import (
	rulepkg "github.com/actiontech/sqle/sqle/driver/mysql/rule"
	util "github.com/actiontech/sqle/sqle/driver/mysql/rule/ai/util"
	driverV2 "github.com/actiontech/sqle/sqle/driver/v2"
	"github.com/pingcap/parser/ast"
	"github.com/pingcap/parser/mysql"

	"github.com/actiontech/sqle/sqle/driver/mysql/plocale"
)

const (
	SQLE00120 = "SQLE00120"
)

func init() {
	rh := rulepkg.SourceHandler{
		Rule: rulepkg.SourceRule{
			Name:       SQLE00120,
			Desc:       plocale.Rule00120Desc,
			Annotation: plocale.Rule00120Annotation,
			Category:   plocale.RuleTypeDMLConvention,
			CategoryTags: map[string][]string{
				plocale.RuleCategoryOperand.ID:              {plocale.RuleTagBusiness.ID},
				plocale.RuleCategorySQL.ID:                  {plocale.RuleTagDML.ID},
				plocale.RuleCategoryAuditPurpose.ID:         {plocale.RuleTagCorrection.ID},
				plocale.RuleCategoryAuditAccuracy.ID:        {plocale.RuleTagOffline.ID},
				plocale.RuleCategoryAuditPerformanceCost.ID: {},
			},
			Level:        driverV2.RuleLevelError,
			Params:       []*rulepkg.SourceParam{},
			Knowledge:    driverV2.RuleKnowledge{},
			AllowOffline: true,
			Version:      2,
		},
		Message: plocale.Rule00120Message,
		Func:    RuleSQLE00120,
	}
	sourceRuleHandlers = append(sourceRuleHandlers, &rh)
}

/*
==== Prompt start ====
在 MySQL 中，您应该检查 SQL 是否违反了规则(SQLE00120): "在 MySQL 中，避免使用 IN (NULL) 或者 NOT IN (NULL)."
您应遵循以下逻辑：
1. 针对所有 DML 语句（包括 SELECT、UPDATE、DELETE、UNION、INSERT...SELECT、WITH），执行以下检查：
   1. 在 WHERE 子句的语法节点中查找 IN (NULL) 的使用。
   2. 在 WHERE 子句的语法节点中查找 NOT IN (NULL) 的使用。
   如果发现上述任一情况，立即报告为规则违规。
==== Prompt end ====
*/

// ==== Rule code start ====
// 规则函数实现开始
func RuleSQLE00120(input *rulepkg.RuleHandlerInput) error {
	// 获取所有 DML 语句的 WHERE 子句
	whereList := util.GetWhereExprFromDMLStmt(input.Node)

	containsNull := func(exprList []ast.ExprNode) bool {
		for _, expr := range exprList {
			if expr.GetType().Tp == mysql.TypeNull {
				return true
			}
		}
		return false
	}

	// 遍历每个 WHERE 条件表达式
	for _, whereExpr := range whereList {
		util.ScanWhereStmt(func(expr ast.ExprNode) (skip bool) {
			switch x := expr.(type) {
			case *ast.PatternInExpr:
				// 检查 IN、NOT IN 子句中的值是否包含 NULL
				if containsNull(x.List) {
					rulepkg.AddResult(input.Res, input.Rule, SQLE00120)
					return true
				}
			}
			return false
		}, whereExpr)
	}
	// TODO WHIT语法

	return nil
}

// 规则函数实现结束
// ==== Rule code end ====
