Function TestTemporalEvaluator_DiamondMinus

engine/temporal_test.go:31–95

(t *testing.T)

}

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

	// Set up test data: employee was active from Jan 1 to Jan 15, 2024
	activeAtom := ast.NewAtom("active", name("/alice"))
	store.Add(activeAtom, ast.DateInterval(2024, 1, 1, 2024, 1, 15))

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

	tests := []struct {
		name        string
		operator    ast.TemporalOperator
		wantSolns   int
		description string
	}{
		{
			name: "within_range",
			// <-[0d, 30d] active(/alice) - was active sometime in last 30 days
			// The operator interval uses negative timestamps to represent durations
			// Start: 0 days ago (now), End: 30 days ago
			operator: ast.TemporalOperator{
				Type: ast.DiamondMinus,
				Interval: ast.NewInterval(
					ast.NewDurationBound(0),               // 0 duration
					ast.NewDurationBound(30*24*time.Hour), // 30 days
				),
			},
			wantSolns:   1,
			description: "Alice was active within the last 30 days",
		},
		{
			name: "outside_range",
			// <-[0d, 3d] active(/alice) - was active sometime in last 3 days
			operator: ast.TemporalOperator{
				Type: ast.DiamondMinus,
				Interval: ast.NewInterval(
					ast.NewDurationBound(0), // 0 days ago
					ast.NewDurationBound(3*24*time.Hour),
				),
			},
			wantSolns:   0,
			description: "Alice was NOT active within the last 3 days (she left on Jan 15)",
		},
	}

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

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