Reim-Infer chokes on static or block initializers

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Create a Java file blah.java with the following contents:
public class blah {
  int a;
  {
    a = 1;
  }
}
2. Run binary/javai-reim blah.java

What is the expected output? What do you see instead?
java.lang.Error: Reim processor threw unexpected exception when processing 
blah.java


What version of the product are you using? On what operating system?
trunk from svn. Linux (Fedora 19) OpenJDK 1.7.0_51

Please provide any additional information below.
The reason is in checkers/inference/reim/ReimVisitor.java, checkMutable calls 
TreeUtils.enclosingMethod(getCurrentPath()).
Unfortunately, getCurrentPath() will not contain a METHOD element in case of 
static and non-static block initializers. The nesting will be
EXPRESSION > BLOCK > CLASS.

Original issue reported on code.google.com by [email protected] on 6 Mar 2014 at 10:53

[GoogleCodeExporter]

Reim processor would not throw the exception under JDK 6.
Please run binary/javai-reim2 under JDK 7.
Thanks!

Original comment by [email protected] on 8 Mar 2015 at 12:08

[GoogleCodeExporter]

Original comment by [email protected] on 8 Mar 2015 at 3:52

• Changed state: Accepted