Struct okRead

assertion/function/assertiontree/rich_check_effect.go:157–162

okRead provides a general implementation for the special return form: `v1, v2, ..., ok := expr`. Concrete examples of patterns supported are: - map ok read: `v, ok := m[k]` - channel ok receive: `v, ok := <-ch` - function ok return: `r0, r1, r2, ..., ok := f()`

// - channel ok receive: `v, ok := <-ch`
// - function ok return: `r0, r1, r2, ..., ok := f()`
type okRead struct {
	root  *RootAssertionNode // an associated root node
	value TrackableExpr      // `value` could be a value for read from a map or channel, or the return value of a function
	ok    TrackableExpr      // `ok` is boolean "ok" for read from a map or channel, or return from a function
	guard guard.Nonce        // the guard to be applied on a matching check
}

func (r *okRead) isTriggeredBy(expr ast.Expr) bool {
	return exprMatchesTrackableExpr(r.root, expr, r.ok)