Add a new feature for inner class: an anonymous inner class can now refer to the...
authorjzhou <jzhou>
Tue, 15 Nov 2011 00:41:04 +0000 (00:41 +0000)
committerjzhou <jzhou>
Tue, 15 Nov 2011 00:41:04 +0000 (00:41 +0000)
commitd56ced93c269c5840dc396bc4d9faa02ffb3280b
treea10afae5d0ba8993b3986bb69981f3ad187e90a1
parent95b4c278fa55588afb6c2dc84901ee1557910dcd
Add a new feature for inner class: an anonymous inner class can now refer to the local variables in its defintion context. The fix is not completely apply to Java specification in that we do not check if the local variables are final. According to the Java spec, only final variables can be referred to by the snonymous inner class
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/Tree/SemanticCheck.java
Robust/src/Tests/DoTests
Robust/src/Tests/output/inner.output.goal