Method buildPkgInferenceMap

inference/engine.go:307–336

(triggers []annotation.FullTrigger)

}

func (e *Engine) buildPkgInferenceMap(triggers []annotation.FullTrigger) {
	// Map each site to all the triggers controlled by the site
	controlledTgsBySite := map[primitiveSite]map[annotation.FullTrigger]bool{}
	for _, trigger := range triggers {
		if !trigger.Controlled() {
			continue
		}
		// controller is an CallSiteParamAnnotationKey, which must be enclosed in a ArgPass
		// consumer, which Kind() method returns Conditional which is not deep. Thus, we pass false
		// here.
		site := e.primitive.site(trigger.Controller, false)
		ts, ok := controlledTgsBySite[site]
		if !ok {
			ts = map[annotation.FullTrigger]bool{}
			controlledTgsBySite[site] = ts
		}
		ts[trigger] = true
	}
	e.controlledTriggersBySite = controlledTgsBySite

	for _, trigger := range triggers {
		// As the initial status, the controlled triggers are skipped and NilAway just pretends not
		// to see them. Those controlled triggers will be activated and encoded into the inference
		// map when the sites controlling them are assigned to proper values.
		if trigger.Controlled() {
			continue
		}
		e.buildFromSingleFullTrigger(trigger)
	}
}

func (e *Engine) buildFromSingleFullTrigger(trigger annotation.FullTrigger) {
	pKind, cKind := trigger.Producer.Annotation.Kind(), trigger.Consumer.Annotation.Kind()