113 

   113 

   114    /** Lint option: warn about classfile issues

   114    /** Lint option: warn about classfile issues

   115      */

   115      */

   116     boolean lintClassfile;

   116     boolean lintClassfile;

   117 

   117 

   122     /** Switch: preserve parameter names from the variable table.

   118     /** Switch: preserve parameter names from the variable table.

   123      */

   119      */

   124     public boolean saveParameterNames;

   120     public boolean saveParameterNames;

   125 

   121 

   126     /**

   122     /**

   304         Source source = Source.instance(context);

   300         Source source = Source.instance(context);

   305         allowGenerics    = source.allowGenerics();

   301         allowGenerics    = source.allowGenerics();

   306         allowVarargs     = source.allowVarargs();

   302         allowVarargs     = source.allowVarargs();

   307         allowAnnotations = source.allowAnnotations();

   303         allowAnnotations = source.allowAnnotations();

   308         allowSimplifiedVarargs = source.allowSimplifiedVarargs();

   304         allowSimplifiedVarargs = source.allowSimplifiedVarargs();

   310 

   305 

   311         saveParameterNames = options.isSet("save-parameter-names");

   306         saveParameterNames = options.isSet("save-parameter-names");

   312         cacheCompletionFailure = options.isUnset("dev");

   307         cacheCompletionFailure = options.isUnset("dev");

   313         preferSource = "source".equals(options.get("-Xprefer"));

   308         preferSource = "source".equals(options.get("-Xprefer"));

   314 

   309