Function TestIntegration_TemporalDeclarations

engine/temporal_integration_test.go:82–136

(t *testing.T)

}

func TestIntegration_TemporalDeclarations(t *testing.T) {
	tests := []struct {
		name         string
		program      string
		predName     string
		wantTemporal bool
	}{
		{
			name:         "temporal predicate declaration",
			program:      "Decl employee(X) temporal bound [/name].",
			predName:     "employee",
			wantTemporal: true,
		},
		{
			name:         "non-temporal predicate declaration",
			program:      "Decl config(X) bound [/string].",
			predName:     "config",
			wantTemporal: false,
		},
		{
			name: "temporal with documentation",
			program: `Decl status(X, Y) temporal
				descr [doc("Employee status over time")]
				bound [/name, /string].`,
			predName:     "status",
			wantTemporal: true,
		},
	}

	for _, test := range tests {
		t.Run(test.name, func(t *testing.T) {
			unit, err := parse.Unit(strings.NewReader(test.program))
			if err != nil {
				t.Fatalf("Failed to parse program: %v", err)
			}

			// Find the declaration (skip Package decl)
			var decl ast.Decl
			for _, d := range unit.Decls {
				if d.DeclaredAtom.Predicate.Symbol == test.predName {
					decl = d
					break
				}
			}

			if decl.DeclaredAtom.Predicate.Symbol != test.predName {
				t.Fatalf("Declaration not found for predicate %s", test.predName)
			}

			if decl.IsTemporal() != test.wantTemporal {
				t.Errorf("Decl.IsTemporal() = %v, want %v", decl.IsTemporal(), test.wantTemporal)
			}
		})
	}
}

func TestIntegration_TemporalOperators(t *testing.T) {
	tests := []struct {