Method fullTrigger

inference/primitive.go:182–195

fullTrigger returns the primitive version of the full trigger.

(trigger annotation.FullTrigger)

// fullTrigger returns the primitive version of the full trigger.
func (p *primitivizer) fullTrigger(trigger annotation.FullTrigger) primitiveFullTrigger {
	// Expr is always nonnil, but our struct init analysis is capped at depth 1 so NilAway does not
	// know this fact. Here, we explicitly guard against such cases to provide a hint.
	if trigger.Consumer.Expr == nil {
		panic(fmt.Sprintf("consume trigger %v has a nil Expr", trigger.Consumer))
	}

	producer, consumer := trigger.Prestrings(p.pass)
	return primitiveFullTrigger{
		Position:     p.toPosition(trigger.Consumer.Expr.Pos()),
		ProducerRepr: producer,
		ConsumerRepr: consumer,
	}
}

// site returns the primitive version of the annotation site.
func (p *primitivizer) site(key annotation.Key, isDeep bool) primitiveSite {