lint

type AnalysisContext struct {
	FileSet     *token.FileSet
	CurrentFile *ast.File
	FilePath    string

	CurrentFunc *ast.FuncDecl
	ScopeStack  []ScopeType

	SetupDepth int
	SetupIndex int

	AllocationCounts map[string]int

	PropsParamName string
	PropsGetCount  int
	PropsCellNames map[string]bool

	Diagnostics []Diagnostic

	TypeInfo         *types.Info
	PackagePath      string
	IgnoreDirectives map[int][]string
	IgnoreHasReason  map[int]bool

	SetupPropsTypes     map[string]bool
	EventHandlerVisited map[*types.Func]bool

	// GatingEndPos is the end position of the first early-return control flow
	// statement in the current Setup callback. Allocations after this position
	// are conditionally gated by the early return.
	// Set to token.NoPos when no gating is detected.
	GatingEndPos token.Pos

	// CurrentSetupFuncLit is the active Setup callback function literal.
	// It is set only while analyzing the body of a vango.Setup callback.
	CurrentSetupFuncLit *ast.FuncLit

	// SSAIndex provides SSA-backed lookups for dataflow analysis.
	// It is optional; when nil, rules must fall back to syntax-only heuristics.
	SSAIndex *flow.SSAIndex

	// SSAUnavailableReason describes why SSA-based analysis is unavailable.
	// When set, persisted initializer rules will fail-closed and emit an error.
	SSAUnavailableReason string

	// PersistedInitSSAUnavailableReported ensures we emit VANGO.LINT.SSA_UNAVAILABLE
	// at most once per persisted initializer call site.
	PersistedInitSSAUnavailableReported map[token.Pos]bool

	// GlobalInitExprs maps "pkgpath.name" to its initializer expression (if any),
	// based on types.Info.InitOrder for the current package.
	GlobalInitExprs map[string]ast.Expr

	// GlobalVarsMutated marks "pkgpath.name" for package-level vars that are assigned
	// outside their initializer (including inside init() functions). This is used to
	// treat reads of such vars as non-deterministic provenance.
	GlobalVarsMutated map[string]bool
}

type Analyzer struct {
	Rules        *RuleSet
	StrictMode   StrictModeProfile
	FileSet      *token.FileSet
	Diagnostics  []Diagnostic
	SchemaImpact *SchemaImpact
	Artifacts    *Artifacts
}

type Artifacts struct {
	Manifest string `json:"manifest,omitempty"`
	Schema   string `json:"schema,omitempty"`
	Bindings string `json:"bindings,omitempty"`
}

type CallInfo struct {
	Obj      *types.Func
	PkgPath  string
	Name     string
	IsMethod bool
	Recv     types.Type
}

type Diagnostic struct {
	// Code is the diagnostic code (e.g., VANGO.SETUP.CONDITIONAL_ALLOC).
	Code string `json:"code"`

	// Severity is error, warning, or info.
	Severity Severity `json:"severity"`

	// Location is where the diagnostic occurred.
	Location DiagnosticLocation `json:"location"`

	// Message is a short description.
	Message string `json:"message"`

	// Detail is a longer explanation for terminal output (not serialized).
	Detail string `json:"-"`

	// Context contains diagnostic-specific context.
	Context *DiagnosticContext `json:"context,omitempty"`

	// Fixes contains suggested fixes.
	Fixes []DiagnosticFix `json:"fixes,omitempty"`

	// DocURL is a link to documentation (not serialized).
	DocURL string `json:"-"`
}

type DiagnosticBuilder struct {
	// contains filtered or unexported fields
}

type DiagnosticContext struct {
	// Condition is the conditional expression (for CONDITIONAL_ALLOC).
	Condition string `json:"condition,omitempty"`

	// Allocation is the allocation expression.
	Allocation string `json:"allocation,omitempty"`

	// Persisted indicates if this relates to persisted state.
	Persisted bool `json:"persisted"`
}

type DiagnosticFix struct {
	// Description explains what the fix does.
	Description string `json:"description"`

	// Auto indicates if this fix can be applied automatically.
	Auto bool `json:"auto"`

	// Command is the CLI command to apply the fix (if any).
	Command *string `json:"command"`

	// Example shows the corrected code.
	Example string `json:"example,omitempty"`
}

type DiagnosticLocation struct {
	File     string `json:"file"`
	Line     int    `json:"line"`
	Column   int    `json:"column"`
	Function string `json:"function,omitempty"`
}

type DiagnosticReport struct {
	// Tool identifier.
	Tool string `json:"tool"`

	// ToolVersion is the vango version.
	ToolVersion string `json:"toolVersion"`

	// Status is "error", "warning", or "ok".
	Status string `json:"status"`

	// Diagnostics contains all diagnostic messages.
	Diagnostics []Diagnostic `json:"diagnostics"`

	// SchemaImpact describes deployment impact (optional).
	SchemaImpact *SchemaImpact `json:"schemaImpact,omitempty"`

	// Artifacts lists generated files.
	Artifacts *Artifacts `json:"artifacts,omitempty"`
}

type Formatter struct {
	Format       OutputFormat
	ColorEnabled bool
}

type OutputFormat string

type Rule interface {
	Code() string
	DefaultSeverity() Severity
	CISeverity() Severity
	Description() string
	DocURL() string
	Check(node ast.Node, ctx *AnalysisContext)
}

type RuleSet struct {
	// contains filtered or unexported fields
}

type SchemaImpact struct {
	// Classification is warm_deploy, cold_deploy, or schema_neutral.
	Classification string `json:"classification"`

	// Reason explains why (id_removed, id_added, fingerprint_changed, etc.).
	Reason string `json:"reason,omitempty"`

	// AffectedIDs lists the anchor keys of affected primitives.
	AffectedIDs []string `json:"affectedIDs,omitempty"`
}

type ScopeType int

type Severity string

type StrictModeProfile string