Fix a bug of default constructor: the default constructor should construct the super...
authorjzhou <jzhou>
Thu, 24 Feb 2011 20:09:26 +0000 (20:09 +0000)
committerjzhou <jzhou>
Thu, 24 Feb 2011 20:09:26 +0000 (20:09 +0000)
commit272974eec802562039323ef1d05b65d3114d7f68
tree4ee5539997f59c95392cc670f2da443c41e86961
parentd69f4fd2a29d864321f01ffc2b0a642e8fd80ed1
Fix a bug of default constructor: the default constructor should construct the super class if there is any and also initialize the fields with initializers.
Robust/src/IR/MethodDescriptor.java
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/Tree/SemanticCheck.java