Function RichCheckFromNode

assertion/function/assertiontree/rich_check_effect.go:253–263

RichCheckFromNode analyzes the passed `ast.Node` to see if it generates a rich check effect. If it does, that effect is returned along with the boolean true If it does not, then `nil, false` is returned.

(rootNode *RootAssertionNode, nonceGenerator *guard.NonceGenerator, node ast.Node)

// If it does, that effect is returned along with the boolean true
// If it does not, then `nil, false` is returned.
func RichCheckFromNode(rootNode *RootAssertionNode, nonceGenerator *guard.NonceGenerator, node ast.Node) ([]RichCheckEffect, bool) {
	var effects []RichCheckEffect
	someEffects := false
	if okReadEffects, ok := NodeTriggersOkRead(rootNode, nonceGenerator, node); ok {
		effects, someEffects = append(effects, okReadEffects...), true
	}
	if funcEffects, ok := NodeTriggersFuncErrRet(rootNode, nonceGenerator, node); ok {
		effects, someEffects = append(effects, funcEffects...), true
	}
	return effects, someEffects
}

// 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