Function TestInliningOptimizerNoopShadow

cel/inlining_test.go:25–114

(t *testing.T)

)

func TestInliningOptimizerNoopShadow(t *testing.T) {
	type varExpr struct {
		name  string
		alias string
		t     *cel.Type
		expr  string
	}
	tests := []struct {
		name    string
		expr    string
		vars    []varExpr
		inlined string
	}{
		{
			name: "shadow at parent",
			expr: `[0].exists(shadowed_ident, shadowed_ident == 0)`,
			vars: []varExpr{
				{
					name: "shadowed_ident",
					t:    cel.IntType,
					expr: "1",
				},
			},
			inlined: `[0].exists(shadowed_ident, shadowed_ident == 0)`,
		},
		{
			name: "shadow in ancestor",
			expr: `[[1]].all(shadowed_ident, shadowed_ident.all(shadowed, shadowed + 1 == 2))`,
			vars: []varExpr{
				{
					name: "shadowed_ident",
					t:    cel.IntType,
					expr: "42",
				},
			},
			inlined: `[[1]].all(shadowed_ident, shadowed_ident.all(shadowed, shadowed + 1 == 2))`,
		},
	}
	for _, tst := range tests {
		tc := tst
		t.Run(tc.name, func(t *testing.T) {
			opts := []cel.EnvOption{
				cel.OptionalTypes(),
				cel.EnableMacroCallTracking(),
			}
			varDecls := make([]cel.EnvOption, len(tc.vars))
			for i, v := range tc.vars {
				varDecls[i] = cel.Variable(v.name, v.t)
			}
			e, err := cel.NewEnv(append(varDecls, opts...)...)
			if err != nil {
				t.Fatalf("NewEnv() failed: %v", err)
			}
			inlinedVars := []*cel.InlineVariable{}
			for _, v := range tc.vars {
				if v.expr == "" {
					continue
				}