Function parseExpr

assertion/function/assertiontree/rich_check_effect.go:271–283

parseExpr wraps a call to ParseExprAsProducer with two additional bits of useful handling: 1. check for the empty expression and return nil when passed it 2. if parsing fails with a panic, return nil (This can happen because handling for the sake of contracts is less refined than handling in the mor

(rootNode *RootAssertionNode, expr ast.Expr)

//     here we don't check for library identifiers which cannot be found in the set of sources for this
//     analysis pass before we call ParseExprAsProducer below)
func parseExpr(rootNode *RootAssertionNode, expr ast.Expr) TrackableExpr {
	defer func() {
		// This handles unexpected panics during parsing.
		// TODO: consider removing this hack.
		_ = recover()
	}()
	// this handles being passed the empty expression
	if asthelper.IsEmptyExpr(expr) {
		return nil
	}
	parsed, _ := rootNode.ParseExprAsProducer(expr, false)
	return parsed
}

// NodeTriggersOkRead is a case of a node creating a rich bool effect for map reads, channel receives, and user-defined
// functions in the "ok" form. Specifically, it matches on `AssignStmt`s of the form