team-worthwhile/worthwhile — Issue #41: Prover events do not supply original source file’s statements
Author: jspam
Created: 2012-02-14 21:12:57+00:00
State: open
Labels: prover

In ```SpecificationChecker.java```, line 289, the program to be checked is cloned. This cloned program is used throughout the specification checker and also in the prove events (```IProverEventListener```).

However, the cloned AST nodes lack some properties of the original nodes, most notably the ```eAdapters``` property. I need this property to access the node in the source file (via tha ```ICompositeNode``` adapter) in order to mark statements.

The prover event listener should receive the original statements in its event calls, not the cloned version.