-
Louis-Nol Pouchet authored
This patch re-activate XML session support. Usage is the same as before, but the class is named xml_session. * include/vaucanson/xml/session.hh, * include/vaucanson/xml/session.hxx: New. XML session support. * include/vaucanson/xml/xml_converter.hh, * include/vaucanson/xml/xml_converter.hxx, * include/vaucanson/xml/xerces_parser.hxx, * include/vaucanson/xml/tools.hh, * include/vaucanson/xml/tools.hxx: Code maintainance to ease XML session handling. * src/demos/xml/make_session.cc, * src/demos/xml/display_session.cc: New. Re-add demos for session. These demos are temporarely limited to boolean automata. * src/tests/xml/trans_ref.xml, * src/tests/xml/r_ref.xml, * src/tests/xml/z_ref.xml, * src/tests/xml/z_min_plus_ref.xml, * src/tests/xml/b_ref.xml, * src/tests/xml/z_max_plus_ref.xml, * src/tests/xml/fmp_ref.xml: Fix. Add an extraneous blank line at end of file. * src/tests/xml/session_ref.xml * src/tests/xml/session_ref.dot, * src/tests/xml/xml_session_tester.cc: Add tests for XML sessions. * src/tests/xml/tester.sh: Update accordingly. * include/Makefile.am, * src/tests/xml/Makefile.am, * src/demos/xml/Makefile.am: Update. * doc/xml/vaucanson.xsd: Fix maxOccurs parameter for sessions (was set to 1, set to unbounded).
0458247a
To find the state of this project's repository at the time of any of these versions, check out the tags.