107 classDollar = names. |
107 classDollar = names. |
108 fromString("class" + target.syntheticNameChar()); |
108 fromString("class" + target.syntheticNameChar()); |
109 |
109 |
110 types = Types.instance(context); |
110 types = Types.instance(context); |
111 Options options = Options.instance(context); |
111 Options options = Options.instance(context); |
112 debugLower = options.get("debuglower") != null; |
112 debugLower = options.isSet("debuglower"); |
113 pkginfoOpt = PkgInfo.get(options); |
113 pkginfoOpt = PkgInfo.get(options); |
114 } |
114 } |
115 |
115 |
116 /** The currently enclosing class. |
116 /** The currently enclosing class. |
117 */ |
117 */ |