// Package explain provides EXPLAIN AST output functionality for ClickHouse SQL.
package explain

import (
	"fmt"
	"strings"

	"github.com/sqlc-dev/doubleclick/ast"
)

// inSubqueryContext is a package-level flag to track when we're inside a Subquery
// This affects how negated literals with aliases are formatted
var inSubqueryContext bool

// inCreateQueryContext is a package-level flag to track when we're inside a CreateQuery
// This affects whether FORMAT is output at SelectWithUnionQuery level (it shouldn't be, as CreateQuery outputs it)
var inCreateQueryContext bool

// Explain returns the EXPLAIN AST output for a statement, matching ClickHouse's format.
func Explain(stmt ast.Statement) string {
	var sb strings.Builder
	Node(&sb, stmt, 0)
	return sb.String()
}

// ExplainStatements returns the EXPLAIN AST output for multiple statements.
// This handles the special ClickHouse behavior where INSERT VALUES followed by SELECT
// on the same line outputs the INSERT AST and then executes the SELECT, printing its result.
func ExplainStatements(stmts []ast.Statement) string {
	if len(stmts) == 0 {
		return ""
	}

	var sb strings.Builder
	Node(&sb, stmts[0], 0)

	// If the first statement is an INSERT and there are subsequent SELECT statements
	// with simple literals, append those literal values (matching ClickHouse's behavior)
	if _, isInsert := stmts[0].(*ast.InsertQuery); isInsert {
		for i := 1; i < len(stmts); i++ {
			if result := getSimpleSelectResult(stmts[i]); result != "" {
				sb.WriteString(result)
				sb.WriteString("\n")
			}
		}
	}

	return sb.String()
}

// getSimpleSelectResult extracts the literal value from a simple SELECT statement
// like "SELECT 11111" and returns it as a string. Returns empty string if not a simple SELECT.
func getSimpleSelectResult(stmt ast.Statement) string {
	// Check if it's a SelectWithUnionQuery
	selectUnion, ok := stmt.(*ast.SelectWithUnionQuery)
	if !ok {
		return ""
	}

	// Must have exactly one select query
	if len(selectUnion.Selects) != 1 {
		return ""
	}

	// Get the inner select query
	selectQuery, ok := selectUnion.Selects[0].(*ast.SelectQuery)
	if !ok {
		return ""
	}

	// Must have exactly one expression in the select list
	if len(selectQuery.Columns) != 1 {
		return ""
	}

	// Must be a literal
	literal, ok := selectQuery.Columns[0].(*ast.Literal)
	if !ok {
		return ""
	}

	// Format the literal value
	return formatLiteralValue(literal)
}

// formatLiteralValue formats a literal value as it would appear in query results
func formatLiteralValue(lit *ast.Literal) string {
	switch v := lit.Value.(type) {
	case int64:
		return fmt.Sprintf("%d", v)
	case float64:
		return fmt.Sprintf("%v", v)
	case string:
		return v
	case bool:
		if v {
			return "1"
		}
		return "0"
	default:
		return fmt.Sprintf("%v", v)
	}
}

// Node writes the EXPLAIN AST output for an AST node.
func Node(sb *strings.Builder, node interface{}, depth int) {
	if node == nil {
		// nil can represent an empty tuple in function arguments
		indent := strings.Repeat(" ", depth)
		fmt.Fprintf(sb, "%sFunction tuple (children %d)\n", indent, 1)
		fmt.Fprintf(sb, "%s ExpressionList\n", indent)
		return
	}

	indent := strings.Repeat(" ", depth)

	switch n := node.(type) {
	// Select statements
	case *ast.SelectWithUnionQuery:
		explainSelectWithUnionQuery(sb, n, indent, depth)
	case *ast.SelectIntersectExceptQuery:
		explainSelectIntersectExceptQuery(sb, n, indent, depth)
	case *ast.SelectQuery:
		explainSelectQuery(sb, n, indent, depth)

	// Tables
	case *ast.TablesInSelectQuery:
		explainTablesInSelectQuery(sb, n, indent, depth)
	case *ast.TablesInSelectQueryElement:
		explainTablesInSelectQueryElement(sb, n, indent, depth)
	case *ast.TableExpression:
		explainTableExpression(sb, n, indent, depth)
	case *ast.TableIdentifier:
		explainTableIdentifier(sb, n, indent)
	case *ast.ArrayJoinClause:
		explainArrayJoinClause(sb, n, indent, depth)
	case *ast.TableJoin:
		explainTableJoin(sb, n, indent, depth)

	// Expressions
	case *ast.OrderByElement:
		explainOrderByElement(sb, n, indent, depth)
	case *ast.InterpolateElement:
		explainInterpolateElement(sb, n, indent, depth)
	case *ast.Identifier:
		explainIdentifier(sb, n, indent)
	case *ast.Literal:
		explainLiteral(sb, n, indent, depth)
	case *ast.BinaryExpr:
		explainBinaryExpr(sb, n, indent, depth)
	case *ast.UnaryExpr:
		explainUnaryExpr(sb, n, indent, depth)
	case *ast.Subquery:
		explainSubquery(sb, n, indent, depth)
	case *ast.AliasedExpr:
		explainAliasedExpr(sb, n, depth)
	case *ast.WithElement:
		explainWithElement(sb, n, indent, depth)
	case *ast.Asterisk:
		explainAsterisk(sb, n, indent, depth)
	case *ast.ColumnsMatcher:
		explainColumnsMatcher(sb, n, indent, depth)

	// Functions
	case *ast.FunctionCall:
		explainFunctionCall(sb, n, indent, depth)
	case *ast.Lambda:
		explainLambda(sb, n, indent, depth)
	case *ast.CastExpr:
		explainCastExpr(sb, n, indent, depth)
	case *ast.InExpr:
		explainInExpr(sb, n, indent, depth)
	case *ast.TernaryExpr:
		explainTernaryExpr(sb, n, indent, depth)
	case *ast.ArrayAccess:
		explainArrayAccess(sb, n, indent, depth)
	case *ast.TupleAccess:
		explainTupleAccess(sb, n, indent, depth)
	case *ast.LikeExpr:
		explainLikeExpr(sb, n, indent, depth)
	case *ast.BetweenExpr:
		explainBetweenExpr(sb, n, indent, depth)
	case *ast.IsNullExpr:
		explainIsNullExpr(sb, n, indent, depth)
	case *ast.CaseExpr:
		explainCaseExpr(sb, n, indent, depth)
	case *ast.IntervalExpr:
		explainIntervalExpr(sb, n, "", indent, depth)
	case *ast.ExistsExpr:
		explainExistsExpr(sb, n, indent, depth)
	case *ast.ExtractExpr:
		explainExtractExpr(sb, n, indent, depth)

	// DDL statements
	case *ast.InsertQuery:
		explainInsertQuery(sb, n, indent, depth)
	case *ast.CreateQuery:
		explainCreateQuery(sb, n, indent, depth)
	case *ast.DropQuery:
		explainDropQuery(sb, n, indent, depth)
	case *ast.UndropQuery:
		explainUndropQuery(sb, n, indent, depth)
	case *ast.RenameQuery:
		explainRenameQuery(sb, n, indent, depth)
	case *ast.ExchangeQuery:
		explainExchangeQuery(sb, n, indent)
	case *ast.SetQuery:
		explainSetQuery(sb, indent)
	case *ast.SetRoleQuery:
		fmt.Fprintf(sb, "%sSetRoleQuery\n", indent)
	case *ast.SystemQuery:
		explainSystemQuery(sb, n, indent)
	case *ast.TransactionControlQuery:
		fmt.Fprintf(sb, "%sASTTransactionControl\n", indent)
	case *ast.ExplainQuery:
		explainExplainQuery(sb, n, indent, depth)
	case *ast.ShowQuery:
		explainShowQuery(sb, n, indent)
	case *ast.ShowPrivilegesQuery:
		fmt.Fprintf(sb, "%sShowPrivilegesQuery\n", indent)
	case *ast.ShowCreateQuotaQuery:
		if n.Format != "" {
			fmt.Fprintf(sb, "%sSHOW CREATE QUOTA query (children 1)\n", indent)
			fmt.Fprintf(sb, "%s Identifier %s\n", indent, n.Format)
		} else {
			fmt.Fprintf(sb, "%sSHOW CREATE QUOTA query\n", indent)
		}
	case *ast.CreateQuotaQuery:
		fmt.Fprintf(sb, "%sCreateQuotaQuery\n", indent)
	case *ast.CreateSettingsProfileQuery:
		fmt.Fprintf(sb, "%sCreateSettingsProfileQuery\n", indent)
	case *ast.AlterSettingsProfileQuery:
		// ALTER SETTINGS PROFILE uses CreateSettingsProfileQuery in ClickHouse's explain
		fmt.Fprintf(sb, "%sCreateSettingsProfileQuery\n", indent)
	case *ast.DropSettingsProfileQuery:
		fmt.Fprintf(sb, "%sDROP SETTINGS PROFILE query\n", indent)
	case *ast.CreateNamedCollectionQuery:
		fmt.Fprintf(sb, "%sCreateNamedCollectionQuery\n", indent)
	case *ast.AlterNamedCollectionQuery:
		fmt.Fprintf(sb, "%sAlterNamedCollectionQuery\n", indent)
	case *ast.DropNamedCollectionQuery:
		fmt.Fprintf(sb, "%sDropNamedCollectionQuery\n", indent)
	case *ast.ShowCreateSettingsProfileQuery:
		// Use PROFILES (plural) when multiple profiles are specified
		queryName := "SHOW CREATE SETTINGS PROFILE query"
		if len(n.Names) > 1 {
			queryName = "SHOW CREATE SETTINGS PROFILES query"
		}
		if n.Format != "" {
			fmt.Fprintf(sb, "%s%s (children 1)\n", indent, queryName)
			fmt.Fprintf(sb, "%s Identifier %s\n", indent, n.Format)
		} else {
			fmt.Fprintf(sb, "%s%s\n", indent, queryName)
		}
	case *ast.CreateRowPolicyQuery:
		fmt.Fprintf(sb, "%sCREATE ROW POLICY or ALTER ROW POLICY query\n", indent)
	case *ast.DropRowPolicyQuery:
		fmt.Fprintf(sb, "%sDROP ROW POLICY query\n", indent)
	case *ast.ShowCreateRowPolicyQuery:
		// ClickHouse uses "ROW POLICIES" (plural) when FORMAT is present
		if n.Format != "" {
			fmt.Fprintf(sb, "%sSHOW CREATE ROW POLICIES query (children 1)\n", indent)
			fmt.Fprintf(sb, "%s Identifier %s\n", indent, n.Format)
		} else {
			fmt.Fprintf(sb, "%sSHOW CREATE ROW POLICY query\n", indent)
		}
	case *ast.CreateRoleQuery:
		fmt.Fprintf(sb, "%sCreateRoleQuery\n", indent)
	case *ast.DropRoleQuery:
		fmt.Fprintf(sb, "%sDROP ROLE query\n", indent)
	case *ast.ShowCreateRoleQuery:
		// Use ROLES (plural) when multiple roles are specified
		queryName := "SHOW CREATE ROLE query"
		if n.RoleCount > 1 {
			queryName = "SHOW CREATE ROLES query"
		}
		if n.Format != "" {
			fmt.Fprintf(sb, "%s%s (children 1)\n", indent, queryName)
			fmt.Fprintf(sb, "%s Identifier %s\n", indent, n.Format)
		} else {
			fmt.Fprintf(sb, "%s%s\n", indent, queryName)
		}
	case *ast.CreateResourceQuery:
		fmt.Fprintf(sb, "%sCreateResourceQuery %s (children 1)\n", indent, n.Name)
		childIndent := indent + " "
		explainIdentifier(sb, &ast.Identifier{Parts: []string{n.Name}}, childIndent)
	case *ast.DropResourceQuery:
		fmt.Fprintf(sb, "%sDropResourceQuery\n", indent)
	case *ast.CreateWorkloadQuery:
		childIndent := indent + " "
		if n.Parent != "" {
			fmt.Fprintf(sb, "%sCreateWorkloadQuery %s (children 2)\n", indent, n.Name)
			explainIdentifier(sb, &ast.Identifier{Parts: []string{n.Name}}, childIndent)
			explainIdentifier(sb, &ast.Identifier{Parts: []string{n.Parent}}, childIndent)
		} else {
			fmt.Fprintf(sb, "%sCreateWorkloadQuery %s (children 1)\n", indent, n.Name)
			explainIdentifier(sb, &ast.Identifier{Parts: []string{n.Name}}, childIndent)
		}
	case *ast.DropWorkloadQuery:
		fmt.Fprintf(sb, "%sDropWorkloadQuery\n", indent)
	case *ast.ShowGrantsQuery:
		if n.Format != "" {
			fmt.Fprintf(sb, "%sShowGrantsQuery (children 1)\n", indent)
			fmt.Fprintf(sb, "%s Identifier %s\n", indent, n.Format)
		} else {
			fmt.Fprintf(sb, "%sShowGrantsQuery\n", indent)
		}
	case *ast.GrantQuery:
		fmt.Fprintf(sb, "%sGrantQuery\n", indent)
	case *ast.UseQuery:
		explainUseQuery(sb, n, indent)
	case *ast.DescribeQuery:
		explainDescribeQuery(sb, n, indent, depth)
	case *ast.ExistsQuery:
		explainExistsTableQuery(sb, n, indent)
	case *ast.DetachQuery:
		explainDetachQuery(sb, n, indent)
	case *ast.AttachQuery:
		explainAttachQuery(sb, n, indent, depth)
	case *ast.BackupQuery:
		explainBackupQuery(sb, n, indent)
	case *ast.RestoreQuery:
		explainRestoreQuery(sb, n, indent)
	case *ast.AlterQuery:
		explainAlterQuery(sb, n, indent, depth)
	case *ast.OptimizeQuery:
		explainOptimizeQuery(sb, n, indent, depth)
	case *ast.TruncateQuery:
		explainTruncateQuery(sb, n, indent)
	case *ast.DeleteQuery:
		explainDeleteQuery(sb, n, indent, depth)
	case *ast.CheckQuery:
		explainCheckQuery(sb, n, indent)
	case *ast.CreateIndexQuery:
		explainCreateIndexQuery(sb, n, indent, depth)
	case *ast.UpdateQuery:
		explainUpdateQuery(sb, n, indent, depth)
	case *ast.ParallelWithQuery:
		explainParallelWithQuery(sb, n, indent, depth)
	case *ast.KillQuery:
		explainKillQuery(sb, n, indent, depth)

	// Types
	case *ast.DataType:
		explainDataType(sb, n, indent, depth)
	case *ast.ObjectTypeArgument:
		explainObjectTypeArgument(sb, n, indent, depth)
	case *ast.NameTypePair:
		explainNameTypePair(sb, n, indent, depth)
	case *ast.Parameter:
		explainParameter(sb, n, indent)

	// Dictionary types
	case *ast.DictionaryAttributeDeclaration:
		explainDictionaryAttributeDeclaration(sb, n, indent, depth)
	case *ast.DictionaryDefinition:
		explainDictionaryDefinition(sb, n, indent, depth)
	case *ast.DictionarySource:
		explainDictionarySource(sb, n, indent, depth)
	case *ast.KeyValuePair:
		explainKeyValuePair(sb, n, indent, depth)
	case *ast.DictionaryLifetime:
		explainDictionaryLifetime(sb, n, indent, depth)
	case *ast.DictionaryLayout:
		explainDictionaryLayout(sb, n, indent, depth)
	case *ast.DictionaryRange:
		explainDictionaryRange(sb, n, indent, depth)
	case *ast.Assignment:
		explainAssignment(sb, n, indent, depth)

	default:
		// For unhandled types, just print the type name
		fmt.Fprintf(sb, "%s%T\n", indent, node)
	}
}

// TablesWithArrayJoin handles FROM and ARRAY JOIN together as TablesInSelectQuery
func TablesWithArrayJoin(sb *strings.Builder, from *ast.TablesInSelectQuery, arrayJoin *ast.ArrayJoinClause, depth int) {
	indent := strings.Repeat(" ", depth)

	tableCount := 0
	if from != nil {
		tableCount = len(from.Tables)
	}
	if arrayJoin != nil {
		tableCount++
	}

	fmt.Fprintf(sb, "%sTablesInSelectQuery (children %d)\n", indent, tableCount)

	if from != nil {
		for _, t := range from.Tables {
			Node(sb, t, depth+1)
		}
	}

	if arrayJoin != nil {
		// ARRAY JOIN is wrapped in TablesInSelectQueryElement
		fmt.Fprintf(sb, "%s TablesInSelectQueryElement (children %d)\n", indent, 1)
		Node(sb, arrayJoin, depth+2)
	}
}

// Column handles column declarations
func Column(sb *strings.Builder, col *ast.ColumnDeclaration, depth int) {
	indent := strings.Repeat(" ", depth)
	children := 0
	if col.Type != nil {
		children++
	}
	if len(col.Statistics) > 0 {
		children++
	}
	// EPHEMERAL columns without explicit default get defaultValueOfTypeName
	hasEphemeralDefault := col.DefaultKind == "EPHEMERAL" && col.Default == nil
	if col.Default != nil || hasEphemeralDefault {
		children++
	}
	if col.TTL != nil {
		children++
	}
	if col.Codec != nil {
		children++
	}
	if len(col.Settings) > 0 {
		children++
	}
	if col.Comment != "" {
		children++
	}
	if children > 0 {
		fmt.Fprintf(sb, "%sColumnDeclaration %s (children %d)\n", indent, sanitizeUTF8(col.Name), children)
	} else {
		fmt.Fprintf(sb, "%sColumnDeclaration %s\n", indent, sanitizeUTF8(col.Name))
	}
	if col.Type != nil {
		Node(sb, col.Type, depth+1)
	}
	// Settings comes right after Type in ClickHouse EXPLAIN output
	if len(col.Settings) > 0 {
		fmt.Fprintf(sb, "%s Set\n", indent)
	}
	if col.Default != nil {
		Node(sb, col.Default, depth+1)
	} else if hasEphemeralDefault {
		// EPHEMERAL columns without explicit default value show defaultValueOfTypeName function
		fmt.Fprintf(sb, "%s Function defaultValueOfTypeName\n", indent)
	}
	if col.TTL != nil {
		Node(sb, col.TTL, depth+1)
	}
	if col.Codec != nil {
		explainCodecExpr(sb, col.Codec, indent+" ", depth+1)
	}
	if len(col.Statistics) > 0 {
		explainStatisticsExpr(sb, col.Statistics, indent+" ", depth+1)
	}
	if col.Comment != "" {
		fmt.Fprintf(sb, "%s Literal \\'%s\\'\n", indent, col.Comment)
	}
}

// explainCodecExpr handles CODEC expressions in column declarations
func explainCodecExpr(sb *strings.Builder, codec *ast.CodecExpr, indent string, depth int) {
	// CODEC is rendered as a Function with one child (ExpressionList of codecs)
	fmt.Fprintf(sb, "%sFunction CODEC (children 1)\n", indent)
	fmt.Fprintf(sb, "%s ExpressionList (children %d)\n", indent, len(codec.Codecs))
	for _, c := range codec.Codecs {
		explainCodecFunction(sb, c, indent+"  ", depth+2)
	}
}

// explainCodecFunction handles individual codec functions (e.g., LZ4, ZSTD(10), Gorilla(1))
func explainCodecFunction(sb *strings.Builder, fn *ast.FunctionCall, indent string, depth int) {
	if len(fn.Arguments) == 0 {
		// Codec without parameters: just the function name
		fmt.Fprintf(sb, "%sFunction %s\n", indent, fn.Name)
	} else {
		// Codec with parameters: function with ExpressionList of arguments
		fmt.Fprintf(sb, "%sFunction %s (children 1)\n", indent, fn.Name)
		fmt.Fprintf(sb, "%s ExpressionList (children %d)\n", indent, len(fn.Arguments))
		for _, arg := range fn.Arguments {
			Node(sb, arg, depth+2)
		}
	}
}

// explainStatisticsExpr handles STATISTICS expressions in column declarations
func explainStatisticsExpr(sb *strings.Builder, stats []*ast.FunctionCall, indent string, depth int) {
	// STATISTICS is rendered as a Function with one child (ExpressionList of statistics types)
	fmt.Fprintf(sb, "%sFunction STATISTICS (children 1)\n", indent)
	fmt.Fprintf(sb, "%s ExpressionList (children %d)\n", indent, len(stats))
	for _, s := range stats {
		explainStatisticsFunction(sb, s, indent+"  ", depth+2)
	}
}

// explainStatisticsFunction handles individual statistics functions (e.g., tdigest, uniq, countmin)
func explainStatisticsFunction(sb *strings.Builder, fn *ast.FunctionCall, indent string, depth int) {
	if len(fn.Arguments) == 0 {
		// Statistics type without parameters: just the function name
		fmt.Fprintf(sb, "%sFunction %s\n", indent, fn.Name)
	} else {
		// Statistics type with parameters: function with ExpressionList of arguments
		fmt.Fprintf(sb, "%sFunction %s (children 1)\n", indent, fn.Name)
		fmt.Fprintf(sb, "%s ExpressionList (children %d)\n", indent, len(fn.Arguments))
		for _, arg := range fn.Arguments {
			Node(sb, arg, depth+2)
		}
	}
}

func Index(sb *strings.Builder, idx *ast.IndexDefinition, depth int) {
	indent := strings.Repeat(" ", depth)
	children := 0
	if idx.Expression != nil {
		children++
	}
	if idx.Type != nil {
		children++
	}
	fmt.Fprintf(sb, "%sIndex (children %d)\n", indent, children)
	if idx.Expression != nil {
		// Expression is typically an identifier
		if ident, ok := idx.Expression.(*ast.Identifier); ok {
			fmt.Fprintf(sb, "%s Identifier %s\n", indent, ident.Name())
		} else {
			Node(sb, idx.Expression, depth+1)
		}
	}
	if idx.Type != nil {
		// Type is a function like minmax, bloom_filter, etc.
		explainFunctionCall(sb, idx.Type, indent+" ", depth+1)
	}
}