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)