Function TestTemporalStore_GetFactsDuring

factstore/temporal_test.go:212–285

(t *testing.T)

}

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

	// Event from Jan 1-15
	event1 := ast.NewAtom("event", name("/conference"))
	store.Add(event1, ast.TimeInterval(
		ast.Date(2024, 1, 1),
		ast.Date(2024, 1, 15),
	))

	// Event from Jan 20-30
	event2 := ast.NewAtom("event", name("/workshop"))
	store.Add(event2, ast.TimeInterval(
		ast.Date(2024, 1, 20),
		ast.Date(2024, 1, 30),
	))

	tests := []struct {
		name      string
		interval  ast.Interval
		wantCount int
	}{
		{
			name: "before all events",
			interval: ast.TimeInterval(
				ast.Date(2023, 12, 1),
				ast.Date(2023, 12, 31),
			),
			wantCount: 0,
		},
		{
			name: "overlaps first event",
			interval: ast.TimeInterval(
				ast.Date(2024, 1, 10),
				ast.Date(2024, 1, 18),
			),
			wantCount: 1,
		},
		{
			name: "overlaps both events",
			interval: ast.TimeInterval(
				ast.Date(2024, 1, 10),
				ast.Date(2024, 1, 25),
			),
			wantCount: 2,
		},
		{
			name: "between events (no overlap)",
			interval: ast.TimeInterval(
				ast.Date(2024, 1, 16),
				ast.Date(2024, 1, 19),
			),
			wantCount: 0,
		},
	}

	query := ast.NewQuery(ast.PredicateSym{Symbol: "event", Arity: 1})