Fix another inner class bug: an inner class which is declared in a *static context...
authorjzhou <jzhou>
Wed, 23 Nov 2011 00:25:49 +0000 (00:25 +0000)
committerjzhou <jzhou>
Wed, 23 Nov 2011 00:25:49 +0000 (00:25 +0000)
commitb9299937e1f902199ac28e203cf5fea92b5ba427
tree166a932fe62d7f758c7de13a5616c0a9d7414a4b
parentd174e9afd47ee2b9fc78f590244e6f958843371c
Fix another inner class bug: an inner class which is declared in a *static context* should not have lexically enclosing instances, instead, if it is immediately declared within a static method or static initializer then the inner class does have an enclosing block, which is the innermost block statement lexically enclosing the declaration of the inner class.
Robust/src/IR/ClassDescriptor.java
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/Tree/SemanticCheck.java
Robust/src/IR/TypeUtil.java
Robust/src/Tests/inner.java
Robust/src/Tests/output/inner.output.goal