Tests automata_IO

List

TestDfaDotImporter([methodName])
TestDfaToDot([methodName])
TestDfaJsonImporter([methodName])
TestDfaToJson([methodName])
TestNfaDotImporter([methodName])
TestNfaToDot([methodName])
TestNfaJsonImporter([methodName])
TestNfaToJson([methodName])
TestAfwJsonImporter([methodName])
TestAfwToJson([methodName])

Functions

class tests.test_automata_IO.TestAfwJsonImporter(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_afw_json_importer()

Tests importing a afw from a .json file

class tests.test_automata_IO.TestAfwToJson(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_afw_to_json()

Tests a correct afw export to JSON file

class tests.test_automata_IO.TestDfaDotImporter(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_dfa_dot_importer()

Tests importing a dfa from a simple dot file

test_dfa_dot_importer_from_intersection()

Tests importing a dfa from a dot file derived from an intersection

test_dfa_dot_importer_no_state_only_transitions()

WARNING! importing a .dot where no explicit state, but just transitions are present.

This will NOT FAIL, but will recognize only transitions: states, initial states, accepting states will remain empty.

class tests.test_automata_IO.TestDfaJsonImporter(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_dfa_json_importer()

Tests a correct dfa import from json file

class tests.test_automata_IO.TestDfaToDot(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_dfa_graphviz_intersection_render()

Tests a rendering of a dfa resulting from an intersection, so consisting in more complex nodes

test_dfa_to_dot()

Tests a simple dfa render thorough graphiz library

class tests.test_automata_IO.TestDfaToJson(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_dfa_to_json()

Tests a correct export to JSON file of a dfa.

test_dfa_to_json_undetected_wrong_transitions()

WARNING! Case where the dfa transitions are wrong but the export ends without problem.

class tests.test_automata_IO.TestNfaDotImporter(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_nfa_dot_importer()

Tests importing a nfa from a simple .dot file

test_nfa_dot_importer_from_simple_pydot_render()

Tests if a dfa imported from dot file generated by nfa_pydot_render() is correct

test_nfa_dot_importer_intersection()

Tests importing a nfa from a dot file derived from an intersection

class tests.test_automata_IO.TestNfaJsonImporter(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_nfa_json_importer()

Tests a correct nfa import from a JSON file.

class tests.test_automata_IO.TestNfaToDot(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_nfa_graphviz_intersection_render()

Tests rendering through graphviz library a nfa derived from an intersection

test_nfa_to_dot()

Tests a simple nfa rendering thorough graphviz library

class tests.test_automata_IO.TestNfaToJson(methodName='runTest')

Bases: unittest.case.TestCase

setUp()

Hook method for setting up the test fixture before exercising it.

test_nfa_to_json()

Tests a correct export to JSON file of a nfa.