analyzer

var AnnotationReader = &analysis.Analyzer{
	Name: "annotationreader",
	Doc:  "Reads @implements, @immutable, @constructor, @packageonly annotations from code",
	Run:  runAnnotationReader,
	Requires: []*analysis.Analyzer{
		ConfigReader,
	},
	FactTypes: []analysis.Fact{
		(*annotations.AnnotationReaderFact)(nil),
	},
	ResultType: reflect.TypeOf(annotations.PackageAnnotations{}),
}

var ConfigReader = &analysis.Analyzer{
	Name:       "config",
	Doc:        "Reads configuration from environment variables and command line flags",
	Run:        runConfig,
	ResultType: reflect.TypeOf(config.Empty()),
	Flags:      *config.CreateFlagSet(),
}

var ConstructorChecker = &analysis.Analyzer{
	Name: "constructorchecker",
	Doc:  "Checks that types with @constructor are only instantiated in declared constructors",
	Run:  runConstructorChecker,
	Requires: []*analysis.Analyzer{
		ConfigReader,
		AnnotationReader,
		IgnoreReader,
	},
	FactTypes: []analysis.Fact{
		(*annotations.ConstructorCheckerFact)(nil),
	},
}

var IgnoreReader = &analysis.Analyzer{
	Name: "ignorereader",
	Doc:  "Reads @ignore CODE1, CODE2 annotations from code",
	Run:  runIgnoreReader,
	Requires: []*analysis.Analyzer{
		ConfigReader,
	},
	ResultType: reflect.TypeOf(ignore.IgnoreResult{}),
}

var ImmutableChecker = &analysis.Analyzer{
	Name: "immutabilitychecker",
	Doc:  "Checks that types marked as @immutable follow immutability rules",
	Run:  runImmutableChecker,
	Requires: []*analysis.Analyzer{
		ConfigReader,
		AnnotationReader,
		IgnoreReader,
	},
	FactTypes: []analysis.Fact{
		(*annotations.ImmutableCheckerFact)(nil),
	},
}

var ImplementsChecker = &analysis.Analyzer{
	Name: "implementschecker",
	Doc:  "Checks that types implement interfaces as declared by @implements",
	Run:  runImplementsChecker,
	Requires: []*analysis.Analyzer{
		ConfigReader,
		AnnotationReader,
		IgnoreReader,
	},
	FactTypes: []analysis.Fact{
		(*annotations.ImplementsCheckerFact)(nil),
	},
}

var PackageOnlyChecker = &analysis.Analyzer{
	Name: "packageonlychecker",
	Doc:  "Checks that @packageonly items are only used in allowed packages",
	Run:  runPackageOnlyChecker,
	Requires: []*analysis.Analyzer{
		ConfigReader,
		AnnotationReader,
		IgnoreReader,
	},
	FactTypes: []analysis.Fact{
		(*annotations.PackageOnlyCheckerFact)(nil),
	},
}

var TestOnlyChecker = &analysis.Analyzer{
	Name: "testonlychecker",
	Doc:  "Checks that @testonly items are only used in test files",
	Run:  runTestOnlyChecker,
	Requires: []*analysis.Analyzer{
		ConfigReader,
		AnnotationReader,
		IgnoreReader,
	},
	FactTypes: []analysis.Fact{
		(*annotations.TestOnlyCheckerFact)(nil),
	},
}