accumulation

Documentation

Overview

Package accumulation coordinates the entire workflow and collects the annotations, full triggers, and then runs inference to generate and return all potential diagnostics for upper-level analyzers to report.

Index

• Variables

Variables

var Analyzer = &analysis.Analyzer{
	Name:       "nilaway_accumulation_analyzer",
	Doc:        _doc,
	Run:        run,
	FactTypes:  []analysis.Fact{new(inference.InferredMap)},
	Requires:   []*analysis.Analyzer{config.Analyzer, assertion.Analyzer, annotation.Analyzer},
	ResultType: reflect.TypeOf(([]analysis.Diagnostic)(nil)),
}

Analyzer here is the accumulator that combines assertions and annotations to generate a list of triggered assertions that will become errors in the next Analyzer