src/share/classes/com/sun/tools/javac/jvm/Gen.java

changeset 571
f0e3ec1f9d9f
parent 507
dbcba45123cd
child 573
005bec70ca27
equal deleted inserted replaced
544:98cba5876cb5 571:f0e3ec1f9d9f
119 options.get("-g:") == null 119 options.get("-g:") == null
120 ? options.get("-g") != null 120 ? options.get("-g") != null
121 : options.get("-g:vars") != null; 121 : options.get("-g:vars") != null;
122 genCrt = options.get("-Xjcov") != null; 122 genCrt = options.get("-Xjcov") != null;
123 debugCode = options.get("debugcode") != null; 123 debugCode = options.get("debugcode") != null;
124 allowInvokedynamic = options.get("invokedynamic") != null; 124 allowInvokedynamic = target.hasInvokedynamic() || options.get("invokedynamic") != null;
125 125
126 generateIproxies = 126 generateIproxies =
127 target.requiresIproxy() || 127 target.requiresIproxy() ||
128 options.get("miranda") != null; 128 options.get("miranda") != null;
129 129

mercurial