eval

type AssertedReturnSet ¶ added in v1.3.180

type AssertedReturnSet map[int]bool

AssertedReturnSet records which return positions are verified by assertions in a test body. Position 0 is the first non-error return; position -1 is the error return (matching the receiverParamIdx sentinel).

A position present in the map means at least one assertion covers it.

func AssertionOutcomesFromBody(body *ast.BlockStmt) AssertedReturnSet

type BoundaryValue ¶

type BoundaryValue struct {
	// Label describes this value ("zero", "max", "nil", "empty").
	Label string
	// Value is the Go source code representation.
	Value string
	// Kind classifies the value ("boundary", "typical", "edge").
	Kind string
}

BoundaryValue represents a frontier test value for a Go type. It is used for boundary value operations.

func BoundaryValues(t types.Type) []BoundaryValue

type BranchDiagnosticValue ¶ added in v0.135.2

type BranchDiagnosticValue struct {
	// FuncName is the function key (e.g., "NewCoverageCheckerService")
	FuncName string
	// TotalBranches is the number of decision points in the function
	TotalBranches int
	// CoveredBranches is the number of branches proven covered by tests
	CoveredBranches int
	// MissingBranches is the number of branches proven NOT covered
	MissingBranches int
	// UnknownBranches is the number of branches that cannot be verified statically
	UnknownBranches int
	// MissingScenarios describes each uncovered or unverifiable branch
	MissingScenarios []string
}

BranchDiagnosticValue describes branch coverage analysis for a function. It counts total, covered, missing, and unknown branches with missing scenario descriptions.

Fields:

• FuncName: function key (e.g., "NewCoverageCheckerService")
• TotalBranches: number of decision points
• CoveredBranches: branches proven covered by tests
• MissingBranches: branches proven NOT covered
• UnknownBranches: branches that cannot be verified statically
• MissingScenarios: descriptions of each uncovered branch

func AnalyzeBranchCoverage(fset *token.FileSet, fn *ast.FuncDecl, funcKey string, callArgs []CallArgValue) BranchDiagnosticValue

type CallArgValue ¶ added in v0.135.2

type CallArgValue struct {
	// Args maps parameter index to the resolved constant value (nil if not a literal).
	Args map[int]constant.Value
	// NonNilArgs tracks parameter indices known to be non-nil but whose value is not a constant.
	// Used for nil-check resolution: if NonNilArgs[i] is true, param i is definitely non-nil.
	NonNilArgs map[int]bool
}

CallArgValue holds literal argument values for a specific function call site. It maps parameter indices to resolved constant values for branch resolution.

Fields:

• Args: parameter index to resolved constant value (nil if not a constant)
• NonNilArgs: parameter indices known to be non-nil but whose value is not a constant

func ResolveCallLiteralArgs(call *ast.CallExpr, info *types.Info) CallArgValue

func ResolveTableDrivenCallArgs(call *ast.CallExpr, tables []TableInfoValue) []CallArgValue

type ComputeLeveller ¶

type ComputeLeveller interface {
	ComputeLevel() model.SupportLevel
}

ComputeLeveller is the minimal interface for computing the aggregate level.

type FileCoverageResult ¶

type FileCoverageResult struct {
	// Name is the base filename
	Name string
	// TotalStmts is total in this file
	TotalStmts int
	// CoveredStmts is covered in this file
	CoveredStmts int
	// UncoveredFuncs lists functions not fully covered
	UncoveredFuncs []string
	// BranchDiagnostics lists missing test scenarios per function
	BranchDiagnostics []BranchDiagnosticValue
}

FileCoverageResult holds per-file coverage analysis results. It tracks statement counts and lists uncovered functions with branch diagnostics.

Fields:

• Name: base filename
• TotalStmts: total statements in this file
• CoveredStmts: covered statements in this file
• UncoveredFuncs: functions not fully covered
• BranchDiagnostics: missing test scenarios per function

type FuncBlocksEntity ¶ added in v0.135.2

type FuncBlocksEntity struct {
	// Key is "ReceiverType.FuncName" or "FuncName"
	Key string
	// Blocks are the coverable blocks from pkg/cover
	Blocks []cover.BlockValue
	// TotalStmts is sum of NumStmt across all blocks
	TotalStmts int
}

FuncBlocksEntity maps a function identifier to its coverable blocks. It associates a function key with the blocks discovered by the cover package.

Fields:

• Key: "ReceiverType.FuncName" or "FuncName"
• Blocks: coverable blocks from pkg/cover
• TotalStmts: sum of NumStmt across all blocks

type MatchedOutcomeValue ¶ added in v0.135.2

type MatchedOutcomeValue struct {
	// DecisionIdx is the index of the matched decision.
	DecisionIdx int
	// OutcomeIdx is the index of the matched outcome within the decision.
	OutcomeIdx int
	// CaseName is the test case that covers this outcome.
	CaseName string
	// ConfidenceValue is the match confidence.
	ConfidenceValue model.SupportLevel
}

MatchedOutcomeValue records a successful match between a test case and a decision outcome. It links the decision and outcome indices to the test case that covers them.

Fields:

• DecisionIdx: index of the matched decision
• OutcomeIdx: index of the matched outcome within the decision
• CaseName: test case that covers this outcome
• ConfidenceValue: match confidence level

type OutcomeMatchValue ¶ added in v0.135.2

type OutcomeMatchValue struct {
	// Matched lists all successfully matched outcomes.
	Matched []MatchedOutcomeValue
	// Unmatched lists decisions with missing coverage.
	Unmatched []UnmatchedDecisionValue
	// TotalOutcomes is the total outcome count.
	TotalOutcomes int
	// MatchedCount is the number of matched outcomes.
	MatchedCount int
	// ConfidenceValue is the overall match confidence.
	ConfidenceValue model.ConfidenceValue
}

OutcomeMatchValue is the result of matching test cases against function decisions. It aggregates matched and unmatched outcomes with overall confidence.

Fields:

• Matched: successfully matched outcomes
• Unmatched: decisions with missing coverage
• TotalOutcomes: total outcome count
• MatchedCount: number of matched outcomes
• ConfidenceValue: overall match confidence

func MatchOutcomes(decisions []model.DecisionValue, tier model.TestTierValue) *OutcomeMatchValue

type PackageCoverageResult ¶

type PackageCoverageResult struct {
	// PkgPath is the package import path
	PkgPath string
	// TotalStmts is the total coverable statements
	TotalStmts int
	// CoveredStmts is the number of statements covered by tests
	CoveredStmts int
	// PerFile maps filename to file-level stats
	PerFile map[string]*FileCoverageResult
}

PackageCoverageResult holds the coverage analysis for a source package. It aggregates per-file results and total statement counts.

Fields:

• PkgPath: package import path
• TotalStmts: total coverable statements
• CoveredStmts: number of statements covered by tests
• PerFile: filename to file-level stats mapping

type PathChoiceValue ¶ added in v0.135.2

type PathChoiceValue struct {
	// DecisionIdx is the index of the decision.
	DecisionIdx int
	// OutcomeIdx is the index of the chosen outcome.
	OutcomeIdx int
	// OutcomeLabel is the label of the chosen outcome.
	OutcomeLabel string
}

PathChoiceValue records which outcome was taken at a decision point during path enumeration. It links a decision index to the chosen outcome for a specific execution path.

Fields:

• DecisionIdx: index of the decision
• OutcomeIdx: index of the chosen outcome
• OutcomeLabel: label of the chosen outcome

type PathEntity ¶ added in v0.135.2

type PathEntity struct {
	// ID is a sequential path identifier.
	ID int
	// Choices lists the branch choices taken on this path.
	Choices []PathChoiceValue
	// Statements is the total statements on this path.
	Statements int
}

PathEntity represents a single execution path through a function. It is used for path operations.

func EnumeratePaths(decisions []model.DecisionValue) (paths []PathEntity, confidence model.ConfidenceValue)

type SubtestBindingValue ¶ added in v1.3.180

type SubtestBindingValue struct {
	// RowIdx is the zero-based index of the table row.
	RowIdx int
	// CallArgs holds the resolved literal and non-nil argument values for this row.
	CallArgs CallArgValue
}

SubtestBindingValue links a table-row index to the argument values used when the SUT is called inside a t.Run closure.

Fields:

• RowIdx: zero-based index into the TableInfoValue.Cases slice
• CallArgs: resolved call-argument info for the SUT call in that subtest

func WalkSubtests(forStmt *ast.RangeStmt, tableInfo *TableInfoValue) []SubtestBindingValue

type TableCaseValue ¶ added in v0.135.2

type TableCaseValue struct {
	// Fields maps field name to constant value (nil value = nil literal).
	Fields map[string]constant.Value
	// NonNilFields tracks fields known to be non-nil but whose exact value is not a constant.
	// Examples: &Config{...}, []int{1,2,3}, map[string]int{}.
	NonNilFields map[string]bool
}

TableCaseValue holds constant field values from a single table test case. It captures both constant values and non-nil knowledge for branch resolution.

Fields:

• Fields: field name to constant value mapping (nil value = nil literal)
• NonNilFields: fields known to be non-nil but whose exact value is not a constant

type TableInfoValue ¶ added in v0.135.2

type TableInfoValue struct {
	VarName string
	Cases   []TableCaseValue
}

TableInfoValue holds the table variable name and its cases for table-driven test analysis. It links a variable declaration to the extracted test cases.

Fields:

• VarName: name of the table variable in the test function
• Cases: extracted test cases with constant field values

func ExtractTableDrivenCases(body *ast.BlockStmt) []TableInfoValue

type UnmatchedDecisionValue ¶ added in v0.135.2

type UnmatchedDecisionValue struct {
	// DecisionValue is the unmatched decision.
	DecisionValue model.DecisionValue
	// DecisionIdx is the index in the function's decision list.
	DecisionIdx int
	// MissingOutcomes lists the labels of unmatched outcomes.
	MissingOutcomes []string
}

UnmatchedDecisionValue records a decision with outcomes not covered by any test. It identifies which outcomes are missing for a specific decision point.

Fields:

• DecisionValue: the unmatched decision from the IR
• DecisionIdx: index in the function's decision list
• MissingOutcomes: labels of unmatched outcomes