Function TestResolveHeadTime_VariableBound

engine/temporal_test.go:702–751

(t *testing.T)

}

func TestResolveHeadTime_VariableBound(t *testing.T) {
	evalTime := ast.Date(2024, 1, 15)

	// Create a substitution with a bound variable
	subst := unionfind.New()
	startTime := ast.Date(2024, 2, 1)
	endTime := ast.Date(2024, 2, 28)

	// Bind T1 and T2 to timestamp values (as nanoseconds)
	t1Var := ast.Variable{Symbol: "T1"}
	t2Var := ast.Variable{Symbol: "T2"}
	subst, _ = unionfind.UnifyTermsExtend(
		[]ast.BaseTerm{t1Var},
		[]ast.BaseTerm{ast.Number(startTime.UnixNano())},
		subst,
	)
	subst, _ = unionfind.UnifyTermsExtend(
		[]ast.BaseTerm{t2Var},
		[]ast.BaseTerm{ast.Number(endTime.UnixNano())},
		subst,
	)

	// Create an interval with variable bounds
	headTime := ast.NewInterval(
		ast.NewVariableBound(t1Var),
		ast.NewVariableBound(t2Var),
	)

	result, err := ResolveHeadTime(&headTime, subst, evalTime)
	if err != nil {
		t.Fatalf("ResolveHeadTime returned error: %v", err)
	}
	if result == nil {
		t.Fatal("ResolveHeadTime returned nil")
	}

	// Check that the variables were resolved
	if result.Start.Type != ast.TimestampBound {
		t.Errorf("ResolveHeadTime start type = %v, want TimestampBound", result.Start.Type)
	}
	if result.Start.Timestamp != startTime.UnixNano() {
		t.Errorf("ResolveHeadTime start = %v, want %v", result.Start.Timestamp, startTime.UnixNano())
	}
	if result.End.Type != ast.TimestampBound {
		t.Errorf("ResolveHeadTime end type = %v, want TimestampBound", result.End.Type)
	}
	if result.End.Timestamp != endTime.UnixNano() {
		t.Errorf("ResolveHeadTime end = %v, want %v", result.End.Timestamp, endTime.UnixNano())
	}
}

func TestEvalClauseWithTemporalHead(t *testing.T) {
	evalTime := ast.Date(2024, 1, 15)