Function TestAnalyzePositive

analysis/validation_test.go:253–404

(t *testing.T)

}

func TestAnalyzePositive(t *testing.T) {
	privateDecl := makeDecl(t, atom("foo.baz(X)"), []ast.Atom{atom("private()")}, nil, nil)
	privateDeclEmptyPackage := makeDecl(t, atom("baz(X)"), []ast.Atom{atom("private()")}, nil, nil)
	tests := []struct {
		descr           string
		knownPredicates map[ast.PredicateSym]ast.Decl
		decls           []ast.Decl
		program         []ast.Clause
		want            ProgramInfo
	}{
		{
			descr:           "self-contained program with two clauses, no decls.",
			knownPredicates: nil,
			decls:           nil,
			program: []ast.Clause{
				clause("foo(/bar)."),
				clause("sna(X) :- foo(X)."),
			},
			want: ProgramInfo{
				IdbPredicates: map[ast.PredicateSym]struct{}{
					ast.PredicateSym{"sna", 1}: {},
				},
				EdbPredicates: map[ast.PredicateSym]struct{}{
					ast.PredicateSym{"foo", 1}: {},
				},
				InitialFacts:     []ast.Atom{atom("foo(/bar)")},
				InitialFactTimes: []*ast.Interval{nil},
				Rules:            []ast.Clause{clause("sna(X) :- foo(X).")},
				Decls: mustDesugar(t, map[ast.PredicateSym]ast.Decl{
					ast.PredicateSym{"foo", 1}: makeSyntheticDecl(t, atom("foo(X0)")),
					ast.PredicateSym{"sna", 1}: makeSyntheticDecl(t, atom("sna(X)")),
				}),
			},
		},
		{
			descr: "overriding a synthetic decl is permitted",
			decls: []ast.Decl{makeDecl(t, atom("foo(X,Y)"), nil, nil, nil)},
			knownPredicates: map[ast.PredicateSym]ast.Decl{
				ast.PredicateSym{"foo", 2}: makeSyntheticDecl(t, atom("foo(X,Y)")),
			},
			program: nil,
			want: ProgramInfo{
				IdbPredicates: map[ast.PredicateSym]struct{}{},
				EdbPredicates: map[ast.PredicateSym]struct{}{},
				Decls: mustDesugar(t, map[ast.PredicateSym]ast.Decl{
					ast.PredicateSym{"foo", 2}: makeDecl(t, atom("foo(X,Y)"), nil, nil, nil),
				}),
			},
		},
		{
			descr:           "foo.baz is private, but referencing predicate has same prefix",
			knownPredicates: nil,
			decls:           []ast.Decl{privateDecl},
			program: []ast.Clause{
				clause("foo.baz(1)."),
				clause("foo.bar(X) :- foo.baz(X)."),
			},
			want: ProgramInfo{