JavaInterface/tests/EclipseMapColourer.java

133     statusPanel.add(statusTextArea);
195     fileMenu.add(newMapMenuItem);
202     fileMenu.add(mapSizeMenuItem);
210     fileMenu.add(exitMenuItem);
211     menuBar.add(fileMenu);
216     menuBar.add(methodMenu);
220     methodMenu.add(solverMenu);
226     solverMenu.add(fdMenuItem);
227     solverButtonGroup.add(fdMenuItem);
232     solverMenu.add(icMenuItem);
233     solverButtonGroup.add(icMenuItem);
238     solverMenu.add(delayTilGrndMenuItem);
239     solverButtonGroup.add(delayTilGrndMenuItem);
244     solverMenu.add(prologMenuItem);
245     solverButtonGroup.add(prologMenuItem);
249     methodMenu.add(valueChoiceMenu);
255     valueChoiceMenu.add(indomainMenuItem);
256     valueChoiceButtonGroup.add(indomainMenuItem);
261     valueChoiceMenu.add(indomainRandomMenuItem);
262     valueChoiceButtonGroup.add(indomainRandomMenuItem);
267     valueChoiceMenu.add(rotateColoursMenuItem);
268     valueChoiceButtonGroup.add(rotateColoursMenuItem);
272     methodMenu.add(variableSelectionMenu);
278     variableSelectionMenu.add(inputOrderMenuItem);
279     variableSelectionButtonGroup.add(inputOrderMenuItem);
284     variableSelectionMenu.add(firstFailMenuItem);
285     variableSelectionButtonGroup.add(firstFailMenuItem);
290     variableSelectionMenu.add(occurrenceMenuItem);
291     variableSelectionButtonGroup.add(occurrenceMenuItem);
296     variableSelectionMenu.add(mostConstrainedMenuItem);
297     variableSelectionButtonGroup.add(mostConstrainedMenuItem);
302     variableSelectionMenu.add(antiFirstFailMenuItem);
303     variableSelectionButtonGroup.add(antiFirstFailMenuItem);
307     menuBar.add(helpMenu);
311     helpMenu.add(aboutMenuItem);
329     controlButtonPanel.add(runButton);
336     controlButtonPanel.add(moreButton);
343     controlButtonPanel.add(finishButton);
346     getContentPane().add(controlButtonPanel, BorderLayout.NORTH);
349     getContentPane().add(mapPanel, BorderLayout.CENTER);
352     getContentPane().add(statusPanel, BorderLayout.SOUTH);
376     mapSizePanel.add(mapSizeLabel);
389     mapSizePanel.add(mapSizeSlider);
395     mapSizePanel.add(mapSizeTextField);
401     mapSizePanel.add(mapScalingLabel);
408     mapSizePanel.add(mapScalingTextField);
425     mapSizePanel.add(mapSizeOkButton);
437     mapSizePanel.add(mapSizeCancelButton);
439     mapSizeDialog.getContentPane().add(mapSizePanel);