annotations

type AnnotationReaderFact PackageAnnotations

type AnnotationWrapper interface {
	analysis.Fact
	GetAnnotations() *PackageAnnotations
	CreateEmpty() AnnotationWrapper
}

type ConstructorAnnotation struct {
	// Type on which annotation is placed
	OnType    string // "MyStruct"
	OnTypePos token.Pos

	ConstructorNames []string // ["New", "Create"]
}

type ConstructorCheckerFact PackageAnnotations

type ImmutableAnnotation struct {
	// Type on which annotation is placed
	OnType    string // "MyStruct"
	OnTypePos token.Pos
}

type ImmutableCheckerFact PackageAnnotations

type ImplementsAnnotation struct {
	// Type on which annotation is placed
	OnType    string // "MyStruct"
	OnTypePos token.Pos

	// Interface that should be implemented
	InterfaceName string // "MyInterface"
	PackageName   string // "" for the current package, "io" for imported (short name from annotation)
	IsPointer     bool   // true if "@implements &Interface"

	// Resolved package information (only available after ReadAllAnnotations)
	// NOTE: This is the only place where we have access to both AST (for comments)
	// and package imports (for resolution). Other loaders are file-agnostic.
	PackageFullPath string // Full import path: "io", "github.com/user/pkg"
	PackageNotFound bool   // true if package was referenced but not found in imports
}

type ImplementsCheckerFact PackageAnnotations

type InterfaceQuery struct {
	InterfaceName string
	PackageName   string // empty string means current package
}

type MutableAnnotation struct {
	// Type on which the field is defined
	OnType string // "MyStruct"

	// Field name that is marked as mutable
	FieldName string // "MutableField"

	// Position of the field declaration
	Pos token.Pos
}

type PackageAnnotations struct {
	ImplementsAnnotations  []ImplementsAnnotation
	ConstructorAnnotations []ConstructorAnnotation
	ImmutableAnnotations   []ImmutableAnnotation
	TestonlyAnnotations    []TestOnlyAnnotation
	MutableAnnotations     []MutableAnnotation
	PackageOnlyAnnotations []PackageOnlyAnnotation
}

type PackageOnlyAnnotation struct {
	// Kind of declaration: type, func, or method
	Kind TestOnlyKind

	// Name of the object: type name, function name, or method name
	// Examples: "MyStruct", "MyFunction", "MyMethod"
	ObjectName string
	Pos        token.Pos

	// Receiver type (only for methods, empty otherwise)
	// Example: "MyStruct" for method receivers
	ReceiverType string

	// Allowed packages for this item (always includes current package)
	// Examples: ["mypackage", "github.com/user/pkg", "io"]
	AllowedPackages []string
}

type PackageOnlyCheckerFact PackageAnnotations

type TestOnlyAnnotation struct {
	// Kind of declaration: type, func, or method
	Kind TestOnlyKind

	// Name of the object: type name, function name, or method name
	// Examples: "MyStruct", "MyFunction", "MyMethod"
	ObjectName string
	Pos        token.Pos

	// Receiver type (only for methods, empty otherwise)
	// Example: "MyStruct" for method receivers
	ReceiverType string
}

type TestOnlyCheckerFact PackageAnnotations

type TestOnlyKind int

type TypeQuery struct {
	TypeName string
}