Function checkOutdatedApiPropertyAccess

internal/rules/outdated_api.go:95–150

(tp *typeparser.TypeParser, c *checker.Checker, sf *ast.SourceFile, n *ast.Node)

}

func checkOutdatedApiPropertyAccess(tp *typeparser.TypeParser, c *checker.Checker, sf *ast.SourceFile, n *ast.Node) *OutdatedApiMatch {
	prop := n.AsPropertyAccessExpression()
	if prop == nil {
		return nil
	}

	nameNode := prop.Name()
	if nameNode == nil {
		return nil
	}

	identifierName := nameNode.Text()
	if identifierName == "" {
		return nil
	}

	migration, ok := EffectModuleMigrationDb[identifierName]
	if !ok {
		return nil
	}

	// Skip unchanged entries — they exist in both v3 and v4
	if migration.Tag == MigrationTagUnchanged {
		return nil
	}

	// Get the type of the expression (left side of the property access)
	expr := prop.Expression
	if expr == nil {
		return nil
	}

	targetType := tp.GetTypeAtLocation(expr)
	if targetType == nil {
		return nil
	}

	// Only report if the property does NOT exist on the target type
	// (confirming it's a v3-only API)
	if c.GetPropertyOfType(targetType, identifierName) != nil {
		return nil
	}

	// Verify the expression references the Effect module
	if !tp.IsExpressionEffectModule(expr) {
		return nil
	}

	return &OutdatedApiMatch{
		SourceFile:    sf,
		Location:      scanner.GetErrorRangeForNode(sf, nameNode),
		PropertyName:  identifierName,
		MigrationHint: migrationHintText(migration),
		Migration:     migration,
	}
}

func migrationHintText(m Migration) string {