Function TestTemporalEvaluator_BoxPlus

engine/temporal_test.go:369–434

(t *testing.T)

}

func TestTemporalEvaluator_BoxPlus(t *testing.T) {
	store := factstore.NewTemporalStore()

	// Set up test data: contract valid from Jan 1, 2024 to Dec 31, 2024
	contractAtom := ast.NewAtom("contract", name("/customer"))
	store.Add(contractAtom, ast.TimeInterval(
		ast.Date(2024, 1, 1),
		ast.Date(2024, 12, 31),
	))

	// Evaluation time: Jan 15, 2024
	evalTime := ast.Date(2024, 1, 15)
	te := NewTemporalEvaluator(store, evalTime)

	tests := []struct {
		name        string
		operator    ast.TemporalOperator
		wantSolns   int
		description string
	}{
		{
			name: "continuously_true_future",
			// [+[0d, 30d] contract(/customer) - will contract be valid for all of next 30 days?
			operator: ast.TemporalOperator{
				Type: ast.BoxPlus,
				Interval: ast.NewInterval(
					ast.NewDurationBound(0),
					ast.NewDurationBound(30*24*time.Hour),
				),
			},
			wantSolns:   1,
			description: "Contract is valid for the entire next 30 days",
		},
		{
			name: "not_continuously_true_future",
			// [+[0d, 365d] contract(/customer) - will contract be valid for all of next 365 days?
			operator: ast.TemporalOperator{
				Type: ast.BoxPlus,
				Interval: ast.NewInterval(
					ast.NewDurationBound(0),
					ast.NewDurationBound(365*24*time.Hour),
				),
			},
			wantSolns:   0,
			description: "Contract expires before 365 days (ends Dec 31)",
		},
	}

	for _, tt := range tests {
		t.Run(tt.name, func(t *testing.T) {
			tl := ast.TemporalLiteral{
				Literal:  contractAtom,
				Operator: &tt.operator,
			}

			solutions, err := te.EvalTemporalLiteral(tl, unionfind.New())
			if err != nil {
				t.Fatalf("EvalTemporalLiteral error: %v", err)