Function TestParseTemporalFact

parse/temporal_test.go:25–163

(t *testing.T)

)

func TestParseTemporalFact(t *testing.T) {
	tests := []struct {
		name     string
		str      string
		wantHead ast.Atom
		wantTime *ast.Interval
		wantErr  bool
	}{
		{
			name:     "simple fact without temporal annotation",
			str:      "foo(/bar).",
			wantHead: ast.NewAtom("foo", name("/bar")),
			wantTime: nil,
			wantErr:  false,
		},
		{
			name:     "fact with date interval",
			str:      "foo(/bar)@[2024-01-15, 2024-06-30].",
			wantHead: ast.NewAtom("foo", name("/bar")),
			wantTime: func() *ast.Interval {
				start := ast.NewTimestampBound(time.Date(2024, 1, 15, 0, 0, 0, 0, time.UTC))
				end := ast.NewTimestampBound(time.Date(2024, 6, 30, 0, 0, 0, 0, time.UTC))
				i := ast.NewInterval(start, end)
				return &i
			}(),
			wantErr: false,
		},
		{
			name:     "fact with datetime interval",
			str:      "foo(/bar)@[2024-01-15T10:30:00, 2024-01-15T18:00:00].",
			wantHead: ast.NewAtom("foo", name("/bar")),
			wantTime: func() *ast.Interval {
				start := ast.NewTimestampBound(time.Date(2024, 1, 15, 10, 30, 0, 0, time.UTC))
				end := ast.NewTimestampBound(time.Date(2024, 1, 15, 18, 0, 0, 0, time.UTC))
				i := ast.NewInterval(start, end)
				return &i
			}(),
			wantErr: false,
		},
		{
			name:     "fact with point interval (single timestamp)",
			str:      "login(/alice)@[2024-03-15].",
			wantHead: ast.NewAtom("login", name("/alice")),
			wantTime: func() *ast.Interval {
				t := ast.NewTimestampBound(time.Date(2024, 3, 15, 0, 0, 0, 0, time.UTC))
				i := ast.NewInterval(t, t)
				return &i
			}(),
			wantErr: false,
		},
		{
			name:     "fact with unbounded start (negative infinity)",
			str:      "admin(/bob)@[_, 2024-12-31].",
			wantHead: ast.NewAtom("admin", name("/bob")),
			wantTime: func() *ast.Interval {
				start := ast.NegativeInfinity()
				end := ast.NewTimestampBound(time.Date(2024, 12, 31, 0, 0, 0, 0, time.UTC))
				i := ast.NewInterval(start, end)