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