// Copyright 2024 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// This file implements (error and trace) message formatting support.

package types

import (
	
	
	
	
	
	
)

func sprintf( *token.FileSet,  Qualifier,  bool,  string,  ...any) string {
	for ,  := range  {
		switch a := .(type) {
		case nil:
			 = "<nil>"
		case operand:
			panic("got operand instead of *operand")
		case *operand:
			 = operandString(, )
		case token.Pos:
			if  != nil {
				 = .Position().String()
			}
		case ast.Expr:
			 = ExprString()
		case []ast.Expr:
			var  bytes.Buffer
			.WriteByte('[')
			writeExprList(&, )
			.WriteByte(']')
			 = .String()
		case Object:
			 = ObjectString(, )
		case Type:
			var  bytes.Buffer
			 := newTypeWriter(&, )
			.tpSubscripts = 
			.typ()
			 = .String()
		case []Type:
			var  bytes.Buffer
			 := newTypeWriter(&, )
			.tpSubscripts = 
			.WriteByte('[')
			for ,  := range  {
				if  > 0 {
					.WriteString(", ")
				}
				.typ()
			}
			.WriteByte(']')
			 = .String()
		case []*TypeParam:
			var  bytes.Buffer
			 := newTypeWriter(&, )
			.tpSubscripts = 
			.WriteByte('[')
			for ,  := range  {
				if  > 0 {
					.WriteString(", ")
				}
				.typ()
			}
			.WriteByte(']')
			 = .String()
		}
		[] = 
	}
	return fmt.Sprintf(, ...)
}

// check may be nil.
func ( *Checker) ( string,  ...any) string {
	var  *token.FileSet
	var  Qualifier
	if  != nil {
		 = .fset
		 = .qualifier
	}
	return sprintf(, , false, , ...)
}

func ( *Checker) ( token.Pos,  string,  ...any) {
	 := .fset.Position()
	// Use the width of line and pos values to align the ":" by adding padding before it.
	// Cap padding at 5: 3 digits for the line, 2 digits for the column number, which is
	// ok for most cases.
	 := ndigits(.Line) + ndigits(.Column)
	 := "     "[:max(5-, 0)]
	fmt.Printf("%s%s:  %s%s\n",
		,
		,
		strings.Repeat(".  ", .indent),
		sprintf(.fset, .qualifier, true, , ...),
	)
}

// ndigits returns the number of decimal digits in x.
// For x < 10, the result is always 1.
// For x > 100, the result is always 3.
func ndigits( int) int {
	switch {
	case  < 10:
		return 1
	case  < 100:
		return 2
	default:
		return 3
	}
}

// dump is only needed for debugging
func ( *Checker) ( string,  ...any) {
	fmt.Println(sprintf(.fset, .qualifier, true, , ...))
}

func ( *Checker) ( *Package) string {
	// Qualify the package unless it's the package being type-checked.
	if  != .pkg {
		if .pkgPathMap == nil {
			.pkgPathMap = make(map[string]map[string]bool)
			.seenPkgMap = make(map[*Package]bool)
			.markImports(.pkg)
		}
		// If the same package name was used by multiple packages, display the full path.
		if len(.pkgPathMap[.name]) > 1 {
			return strconv.Quote(.path)
		}
		return .name
	}
	return ""
}

// markImports recursively walks pkg and its imports, to record unique import
// paths in pkgPathMap.
func ( *Checker) ( *Package) {
	if .seenPkgMap[] {
		return
	}
	.seenPkgMap[] = true

	,  := .pkgPathMap[.name]
	if ! {
		 = make(map[string]bool)
		.pkgPathMap[.name] = 
	}
	[.path] = true

	for ,  := range .imports {
		.()
	}
}

// stripAnnotations removes internal (type) annotations from s.
func stripAnnotations( string) string {
	var  strings.Builder
	for ,  := range  {
		// strip #'s and subscript digits
		if  < '₀' || '₀'+10 <=  { // '₀' == U+2080
			.WriteRune()
		}
	}
	if .Len() < len() {
		return .String()
	}
	return 
}