Home | History | Annotate | Download | only in source-extension
      1 package annotator.tests;
      2 
      3 public class LocalVariables {
      4   public void foo() {
      5     /*Mut*/ @java.lang.UnderInitialization Object a = null;
      6     Object b = null;
      7     Object c = null;
      8   }
      9 }
     10