Several bug fixes. Now that tokens have a mutable element, reference var sets, they...
authorjjenista <jjenista>
Tue, 5 May 2009 22:08:19 +0000 (22:08 +0000)
committerjjenista <jjenista>
Tue, 5 May 2009 22:08:19 +0000 (22:08 +0000)
commit463404bbb3e4ea156960359add5331055df75789
tree89d63f11837a58b422cbfd3f1fa35c9d8a2bf152
parentf7d16a7024f4676e494801d935b8318d0eb65394
Several bug fixes.  Now that tokens have a mutable element, reference var sets, they must be deep copied when merging table to avoid altering two tables with one operation.  A bug in removal by temp prevented sese-var mapping from being updated also.  A change in table implementation makes a difference between public and private ops like add and remove.  Any public op calls the private version and then asserts consistency.  Private versions can be called in more complex operatios and don't necessarily have to leave the table consistent until the bigger op is finished.  Much easier to find source of bugs this way.
Robust/src/Analysis/MLP/MLPAnalysis.java
Robust/src/Analysis/MLP/VarSrcTokTable.java
Robust/src/Analysis/MLP/VariableSourceToken.java