Method VisitExpr

policy/composer_test.go:137–168

(srcExpr ast.Expr)

}

func (c *transferChecker) VisitExpr(srcExpr ast.Expr) {
	if srcRange, haveSrc := c.srcInfo.GetOffsetRange(srcExpr.ID()); haveSrc {
		if srcRange.Start == 0 {
			// Ignore synthetic "true" default condition which has an incorrect source location
			return
		}
		dstExpr, haveDst := (*c.ranges)[srcRange]
		if !haveDst {
			c.t.Errorf("composed node not found for rule node: %s", debug.ToDebugString(srcExpr))
			return
		}

		// Check that the two nodes have the same textual representation
		if dstExpr.Kind() == ast.IdentKind && strings.HasPrefix(dstExpr.AsIdent(), "@index") {
			// Skip the check for unnested vars
			return
		}
		dstStr, err := cel.ExprToString(dstExpr, c.dstInfo)
		if err != nil {
			c.t.Errorf("failed to convert dstExpr")
			return
		}
		srcStr, err := cel.ExprToString(srcExpr, c.srcInfo)
		if err != nil {
			c.t.Errorf("failed to convert srcExpr")
			return
		}
		if srcStr != dstStr {
			c.t.Errorf("mismatched nodes, rule: %s composed: %s", srcStr, dstStr)
		}
	}
}

func (c *transferChecker) VisitEntryExpr(ast.EntryExpr) {
}