def setUp(self): self.maxDiff = None self.afw_nonuniversality_check_test_1 = automata_IO.afw_json_importer( './tests/json/afw/afw_nonuniversality_check_test_1.json') self.afw_nonuniversality_check_test_2 = automata_IO.afw_json_importer( './tests/json/afw/afw_nonuniversality_check_test_2.json') self.afw_nonuniversality_check_test_empty = { 'alphabet': set(), 'states': set(), 'initial_state': None, 'accepting_states': set(), 'transitions': {} }
def setUp(self): self.maxDiff = None self.afw_intersection_1_test_01 = automata_IO.afw_json_importer( './tests/json/afw/afw_intersection_1_test_01.json') self.afw_intersection_2_test_01 = automata_IO.afw_json_importer( './tests/json/afw/afw_intersection_2_test_01.json') self.afw_intersection_3_test_01 = automata_IO.afw_json_importer( './tests/json/afw/afw_intersection_3_test_01.json') self.afw_intersection_test_empty = { 'alphabet': set(), 'states': set(), 'initial_state': None, 'accepting_states': set(), 'transitions': {} }
def test_afw_to_json(self): """ Tests a correct afw export to JSON file """ name = 'JSON_afw_export' automata_IO.afw_to_json(self.afw_test_01, name, 'tests/outputs') re_imported_afw = automata_IO.afw_json_importer('tests/outputs/' + name + '.json') self.assertDictEqual(self.afw_test_01, re_imported_afw)
def setUp(self): self.maxDiff = None self.nfa_afw_to_nfa_test_01 = automata_IO.nfa_dot_importer( './tests/dot/afw/nfa_afw_to_nfa_test_01.dot') self.afw_afw_to_nfa_test_01 = automata_IO.afw_json_importer( './tests/json/afw/afw_afw_to_nfa_test_01.json') self.afw_nonemptiness_check_test_2 = automata_IO.afw_json_importer( './tests/json/afw/afw_nonemptiness_check_test_2.json') self.nfa_empty = { 'alphabet': set(), 'states': set(), 'initial_states': set(), 'accepting_states': set(), 'transitions': {} } self.afw_afw_to_nfa_test_empty = { 'alphabet': set(), 'states': set(), 'initial_state': None, 'accepting_states': set(), 'transitions': {} }
def test_afw_json_importer(self): """ Tests importing a afw from a .json file """ afw_01 = automata_IO.afw_json_importer( './tests/json/automata_io' '/automata_io_afw_json_importer_test_01.json') self.assertDictEqual(afw_01, self.afw_test_01)