[CZT-Devel] livelock error in typechecker-z dependency graph function and an initial solution

[Julian R. <jro...@gm...>]

There is a bug (or even a design fault) in the CZT typechecker-z software
which can result in livelock in the dependency graph function, so that the
user experiences a frozen tool.

Please see a description of the problem (including an offending
specification) and an initial solution in the attached 'CZT-bug
livelock.docx'.
*@Mark*: Can you please read section 1 of the description and comment (or
email me) if you have any critique on my analysis of sections.

Please see the modified source files attached as per the description
document. (All these source files belong under
...\CZT\src\code\typechecker\typechecker-z\... and not one of the other
sub-typecheckers, which do not have a reorder function.)
Please see outputs from both czt.jar and (ZWordTools) cztinterface.jar with
the initial solution applied.
Lastly the 'CZT-bug livelog.zed8' generated from the description is
attached for those without ZWordTools.

(It is possible the bug report I made on 01 August "IndexOutOfBoundsException
in typechecker-z and a solution" is also symptomatic of the same design
fault - if indeed there is one - I might be able to find a better solution
than these two.)

With thanks,
julian

(*@Admin*: sorry I know this post is larger than the usual 100K limit.)