Function TestAttributePattern_LocallyBound

interpreter/attribute_patterns_test.go:340–386

(t *testing.T)

}

func TestAttributePattern_LocallyBound(t *testing.T) {
	reg := newTestRegistry(t)
	fac := NewPartialAttributeFactory(containers.DefaultContainer, reg, reg)

	// Create a partial activation that designates "x" and "y" as unknown.
	partAct, err := NewPartialActivation(EmptyActivation(), NewAttributePattern("x"), NewAttributePattern("y"))
	if err != nil {
		t.Fatal(err)
	}

	frame := mustNewExecutionFrame(t, partAct)
	defer frame.Close()

	// Create folder (representing a local scope for variable "x" only)
	fold := &evalFold{
		iterVar: "x",
		adapter: types.DefaultTypeAdapter,
	}
	fld := newFolder(fold, frame)
	defer releaseFolder(fld)

	// Push onto the frame stack to simulate local variable scope
	frame1 := frame.Push(fld)
	defer frame1.Pop()

	// 1. Resolve attribute matching "x".
	// Because "x" is locally bound in fld, it should not resolve to types.Unknown.
	attrX := fac.AbsoluteAttribute(1, "x")
	valX, err := attrX.Resolve(frame1)
	if err != nil {
		t.Fatal(err)
	}
	if _, isUnk := valX.(*types.Unknown); isUnk {
		t.Errorf("Resolve(x) got unknown, wanted value (since x is locally bound)")
	}

	// 2. Resolve attribute matching "y".
	// Because "y" is NOT locally bound in any local scope layer, it should resolve to types.Unknown.
	attrY := fac.AbsoluteAttribute(2, "y")
	valY, err := attrY.Resolve(frame1)
	if err != nil {
		t.Fatal(err)
	}
	if _, isUnk := valY.(*types.Unknown); !isUnk {
		t.Errorf("Resolve(y) got %v, wanted types.Unknown (since y is not locally bound)", valY)
	}
}

func TestQualifierValueEquals(t *testing.T) {
	tests := []struct {