Function TestParseTemporalDecl

parse/temporal_test.go:447–515

(t *testing.T)

}

func TestParseTemporalDecl(t *testing.T) {
	tests := []struct {
		name         string
		str          string
		wantTemporal bool
		wantErr      bool
	}{
		{
			name:         "simple temporal declaration",
			str:          "Decl foo(X) temporal.",
			wantTemporal: true,
			wantErr:      false,
		},
		{
			name:         "temporal declaration with bounds",
			str:          "Decl event(X, Y) temporal bound [/name, /number].",
			wantTemporal: true,
			wantErr:      false,
		},
		{
			name:         "temporal declaration with descr",
			str:          `Decl activity(X) temporal descr [doc("A temporal predicate")].`,
			wantTemporal: true,
			wantErr:      false,
		},
		{
			name:         "non-temporal declaration",
			str:          "Decl bar(X, Y) bound [/string, /number].",
			wantTemporal: false,
			wantErr:      false,
		},
		{
			name:         "temporal declaration with multiple bounds",
			str:          "Decl status(X, Y, Z) temporal bound [/name, /string, /number].",
			wantTemporal: true,
			wantErr:      false,
		},
	}

	for _, test := range tests {
		t.Run(test.name, func(t *testing.T) {
			unit, err := Unit(strings.NewReader(test.str))
			if (err != nil) != test.wantErr {
				t.Fatalf("Unit(%q) error = %v, wantErr = %v", test.str, err, test.wantErr)
			}
			if err != nil {
				return
			}

			// The parser adds a default Package decl when none specified, so we look for
			// the user's declaration (second one) or find the non-Package declaration.
			var decl ast.Decl
			for _, d := range unit.Decls {
				if d.DeclaredAtom.Predicate.Symbol != "Package" {
					decl = d
					break
				}
			}