def testOConjuntoFirstDoEpsilonEhOProprioEpsilon(self): glc = construirGLCTesteFirst() self.assertEqual(set([EPSILON]), glc.obterFirst(EPSILON))
def testDadoUmNaoTerminalSabeQualNaoEhOSeuConjuntoFirst(self): glc = construirGLCTesteFirst() firsts = construirTodosFirstDaGLCDoTesteFirst() for nao_terminal in firsts: firsts[nao_terminal].pop() self.assertNotEqual(glc.obterFirst(nao_terminal), firsts[nao_terminal])
def testDadoUmTerminalSeuConjuntoFirstEhSomenteOTerminal(self): glc = construirGLCTesteFirst() for terminal in glc.obterTerminais(): self.assertEqual(set([terminal]), glc.obterFirst(terminal))