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')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_afw_json_importer()[source]

Tests importing a afw from a .json file

class tests.test_automata_IO.TestAfwToJson(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_afw_to_json()[source]

Tests a correct afw export to JSON file

class tests.test_automata_IO.TestDfaDotImporter(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_dfa_dot_importer()[source]

Tests importing a dfa from a simple dot file

test_dfa_dot_importer_from_intersection()[source]

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

test_dfa_dot_importer_no_state_only_transitions()[source]

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')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_dfa_json_importer()[source]

Tests a correct dfa import from json file

class tests.test_automata_IO.TestDfaToDot(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_dfa_graphviz_intersection_render()[source]

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

test_dfa_to_dot()[source]

Tests a simple dfa render thorough graphiz library

class tests.test_automata_IO.TestDfaToJson(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_dfa_to_json()[source]

Tests a correct export to JSON file of a dfa.

test_dfa_to_json_undetected_wrong_transitions()[source]

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

class tests.test_automata_IO.TestNfaDotImporter(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_dot_importer()[source]

Tests importing a nfa from a simple .dot file

test_nfa_dot_importer_from_simple_pydot_render()[source]

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

test_nfa_dot_importer_intersection()[source]

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

class tests.test_automata_IO.TestNfaJsonImporter(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_json_importer()[source]

Tests a correct nfa import from a JSON file.

class tests.test_automata_IO.TestNfaToDot(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_graphviz_intersection_render()[source]

Tests rendering through graphviz library a nfa derived from an intersection

test_nfa_to_dot()[source]

Tests a simple nfa rendering thorough graphviz library

class tests.test_automata_IO.TestNfaToJson(methodName='runTest')[source]

Bases: unittest.case.TestCase

setUp()[source]

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

test_nfa_to_json()[source]

Tests a correct export to JSON file of a nfa.