def test_L_end_alone(self):
i0 = self.iL()
i0_ = Grammar.ItemSet(self.g, {i0: self.l_end}).close(self.g)
self.assertFalse(i0_.is_accepting())
i1 = self.iL(1)
i1_ = Grammar.ItemSet(self.g, {i1: self.l_end})
self.assertTrue(i1_.is_accepting())
def test_C_end_and(self):
i0 = self.iC()
i0_ = Grammar.ItemSet(self.g, {i0: self.l_end_and}).close(self.g)
self.assertFalse(i0_.is_accepting())
i1 = self.iC(1)
i1_ = Grammar.ItemSet(self.g, {i1: self.l_end_and}).close(self.g)
self.assertFalse(i1_.is_accepting())
def is_C_1(self, closed=True, la=Grammar.LookaheadSet({})):
result = Grammar.ItemSet(self.g, {self.iC(1): la})
result = result.close(self.g) if closed else result
return result
