Python carregar Beispiele

Beispiel #1

Datei: GramaticaRegularGUI.py Projekt: katcipis/playground

    def _trataCarregar(self, lista):
        try:
            if lista.isEmpty():
                return

            gr = util.carregar(lista.takeLast())
            self.setarGR(gr)

        except Exception as excecao:
            self.mostrarErro(str(excecao))

Beispiel #2

Datei: TesteUtil.py Projekt: katcipis/playground

 def testPodeSalvarECarregarUmAutomatoFinitoDoDisco(self):
   afd1 = construirAFDComABOndeBsEhImpar()
   util.salvar(afd1, os.path.join(os.getcwd(), 'teste.af'))
   afd2 = util.carregar(os.path.join(os.getcwd(), 'teste.af'))
   self.assertTrue(util.sao_equivalentes_af(afd1, afd2))

Beispiel #3

Datei: TesteUtil.py Projekt: katcipis/playground

 def testPodeSalvarECarregarUmaGramaticaRegularDoDisco(self):
   gr1 = util.obter_gramatica_regular(construirAFDComABOndeBsEhImpar())
   util.salvar(gr1, os.path.join(os.getcwd(), 'teste.gr'))
   gr2 = util.carregar(os.path.join(os.getcwd(), 'teste.gr'))
   self.assertTrue(util.sao_equivalentes_af(util.obter_afd(gr1), util.obter_afd(gr2)))

Beispiel #4

Datei: TesteUtil.py Projekt: katcipis/playground

 def testPodeSalvarECarregarUmaExpressaoRegularDoDisco(self):
   exp = ExpressaoRegular('a*b?.(ab)')
   util.salvar(exp, os.path.join(os.getcwd(), 'teste.exp'))
   exp2 = util.carregar(os.path.join(os.getcwd(), 'teste.exp'))
   self.assertTrue(util.sao_equivalentes_af(exp.obterAFD(), exp2.obterAFD()))