()
| 275 | } |
| 276 | |
| 277 | public void showDialog() { |
| 278 | validateTarget(); |
| 279 | GenericDialog gd = new GenericDialog("Compile and Run"); |
| 280 | gd.addNumericField("Target: ", target, 0, 3, ""); |
| 281 | gd.setInsets(15,5,0); |
| 282 | gd.addCheckbox("Generate debugging info (javac -g)", generateDebuggingInfo); |
| 283 | gd.addHelp(IJ.URL2+"/docs/menus/edit.html#compiler"); |
| 284 | Font font = IJ.font10; |
| 285 | gd.addMessage(info, font); |
| 286 | gd.showDialog(); |
| 287 | if (gd.wasCanceled()) return; |
| 288 | target = (int)gd.getNextNumber(); |
| 289 | generateDebuggingInfo = gd.getNextBoolean(); |
| 290 | validateTarget(); |
| 291 | } |
| 292 | |
| 293 | void validateTarget() { |
| 294 | if (target==4 || target==5) //Java 8 or 9 |
no test coverage detected