def Ntest_fact(self):
prog = 'bcast("a", 1)@1;'
ast = self.parser.parse(prog,
trace=False,
colorize=True,
semantics=TrivialSemantics())
self.assertEqual(str(ast), prog)
def Ntest_assign(self):
prog = "a(X, Y, A) :- b(X, Z), c(Z, Y), d(Y, W), A = Y / Z;"
ast = self.parser.parse(prog,
trace=False,
colorize=True,
semantics=TrivialSemantics())
self.assertEqual(str(ast), prog)
def Ntest_simple4(self):
prog = 'log(Node, Pload + 1)@next :- log(Node, Pload), frog(Node);'
ast = self.parser.parse(prog,
trace=False,
colorize=True,
semantics=TrivialSemantics())
self.assertEqual(str(ast), prog)
def Ntest_qual(self):
prog = 'a(X, Y) :- b(X, Y), Y != X;'
ast = self.parser.parse(prog,
trace=False,
colorize=True,
semantics=TrivialSemantics())
self.assertEqual(str(ast), prog)
def test_simple5(self):
prog = "a(X, Y) :- b(X, Z), c(Z, Y), d(Y, W);"
ast = self.parser.parse(prog,
trace=False,
colorize=True,
semantics=TrivialSemantics())
self.assertEqual(str(ast), prog)
def Ntest_2pc(self):
prog = """include "./2pc_edb.ded";
prepare(Agent, Coord, Xact)@async :- running(Coord, Xact), agent(Coord, Agent);"""
ast = self.parser.parse(prog,
trace=False,
colorize=True,
semantics=TrivialSemantics())
self.assertEqual(str(ast), prog)