Function TestIntegration_EternalFacts

engine/temporal_integration_test.go:412–464

(t *testing.T)

}

func TestIntegration_EternalFacts(t *testing.T) {
	// Create a temporal store
	store := factstore.NewTemporalStore()

	// Add an eternal fact (valid for all time)
	admin := ast.NewAtom("admin", name("/root"))
	store.AddEternal(admin)

	tests := []struct {
		name      string
		evalTime  time.Time
		wantMatch bool
	}{
		{
			name:      "Past: eternal fact is valid",
			evalTime:  ast.Date(1990, 1, 1),
			wantMatch: true,
		},
		{
			name:      "Present: eternal fact is valid",
			evalTime:  ast.Date(2024, 1, 1),
			wantMatch: true,
		},
		{
			name:      "Future: eternal fact is valid",
			evalTime:  ast.Date(2100, 1, 1),
			wantMatch: true,
		},
	}

	for _, test := range tests {
		t.Run(test.name, func(t *testing.T) {
			te := NewTemporalEvaluator(store, test.evalTime)

			query := ast.NewAtom("admin", name("/root"))
			tl := ast.TemporalLiteral{
				Literal:  query,
				Operator: nil,
				Interval: nil,
			}

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

			gotMatch := len(solutions) > 0
			if gotMatch != test.wantMatch {
				t.Errorf("Got match = %v, want %v", gotMatch, test.wantMatch)
			}
		})
	}
}

func TestIntegration_IntervalFunctions(t *testing.T) {
	// Test the interval extraction functions