Method Prestrings

annotation/full_trigger.go:115–128

Prestrings returns Prestrings for clauses describing the production and consumption indicated by this FullTrigger, of the forms: "assigned into a field a bar.go:10" or "returned from the function foo at baz.go:25" If the Producer's expression is an artificial one created by NilAway instead of pulle

(pass *analysishelper.EnhancedPass)

// and producers that arise from non-trackable expressions correspond to those real non-trackable
// expressions.
func (t *FullTrigger) Prestrings(pass *analysishelper.EnhancedPass) (Prestring, Prestring) {
	producerPrestring := t.Producer.Annotation.Prestring()
	if pass.ExprIsAuthentic(t.Producer.Expr) {
		producerPrestring = LocatedPrestring{
			Contained: producerPrestring,
			Location:  t.truncatedProducerPos(pass),
		}
	}
	consumerPrestring := LocatedPrestring{
		Contained: t.Consumer.Annotation.Prestring(),
		Location:  t.truncatedConsumerPos(pass),
	}
	return producerPrestring, consumerPrestring
}

// FullTriggerSlicesEq returns true if the two passed slices of FullTriggers contain the same elements. It determines if
// assertion trees have stabilized during the primary fixpoint loop in `BackpropAcrossFunc`