[CZT-Devel] section manager dependencies (round 2)

[Leo F. <leo...@ne...>]

Hi guys,

We've almost finished with the dependencies stuff on the section manager. Now, on the branch, all tests pass
as well as all top-level tools. We are now updating the section manager usage within Eclipse; in particular when
failures happen (E.g., transaction cancellation).

One interesting thing we notice is that in various top-level tools, the section manager is not quite rightly used
(e.g., TypeCheckUtils.run does use the command typeCheck / parse directly rather than the SM.get()). That's
okay, but it won't reflect the top-level spec deps, obviously.

On quick run all dependencies / dependants looked correct. More testing is needed to weed out the odd cases
(e.g., duplicated sections per specification on one file; duplicated sections on source of different markup; section
names on files with different name; etc).

Soon we will merge the branch tsm into the main trunk as well….

Best,
Leo