2 bug fixes to getRequiredConstraints
authorbdemsky <bdemsky>
Wed, 12 Oct 2005 17:49:01 +0000 (17:49 +0000)
committerbdemsky <bdemsky>
Wed, 12 Oct 2005 17:49:01 +0000 (17:49 +0000)
commit87862c69c1cb47c83a858f0b6e52d9c0bc25913f
tree53b83c585c09993786fac9be246dd9f283387eed
parent721bacd23e2b11ad31084b223dc1822c1e647eca
2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.
Repair/RepairCompiler/MCC/IR/DotExpr.java
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
Repair/RepairCompiler/MCC/IR/SemanticChecker.java
Repair/RepairCompiler/MCC/IR/Termination.java
Repair/RepairCompiler/MCC/IR/UpdateNode.java
Repair/RepairCompiler/MCC/IR/VarExpr.java