public MapDesigner(int row, int col) {
this.row = row; // 設置行數
this.col = col; // 設置列數
this.setTitle("3D迷宮重力球地圖設計器"); // 設置標題
icrystal = new ImageIcon("img/Diamond.png").getImage(); // 圓孔的標誌圖
mdp = new MapDesignPanel(row, col, this); // 創建地圖設計器面板
jsp = new JScrollPane(mdp); // 創建JScrollPane面板
this.add(jsp); // 添加JScrollPane面板
jp.add(jbGenerate); // 添加生成地圖按鈕
jp.add(jbGenerateD); // 添加生成圓孔按鈕
jp.add(jrBlack);
bg.add(jrBlack); // 向jp中添加黑色單選按鈕
jp.add(jrWhite);
bg.add(jrWhite); // 向jp中添加白色單選按鈕
jp.add(jrCrystal);
bg.add(jrCrystal); // 向jp中添加圓孔單選按鈕
this.add(jp, BorderLayout.NORTH); // jp添加進窗體中
jbGenerate.addActionListener(this); // 生成地圖按鈕設置監聽
jbGenerateD.addActionListener(this); // 生成圓孔按鈕設置監聽
this.setBounds(10, 10, 800, 600); // 設置窗口大小
this.setVisible(true); // 設置可見
this.mdp.requestFocus(true); // MapDesignPanel獲取焦點
}
private OffsetPanel(Component comp) {
this.setLayout(new BorderLayout(0, 0));
TitledBorder tb = BorderFactory.createTitledBorder(b.getString("kOffsetBy"));
if (JOAConstants.ISMAC) {
// tb.setTitleFont(new Font("Helvetica", Font.PLAIN, 11));
}
this.setBorder(tb);
JPanel controls = new JPanel();
controls.setLayout(new GridLayout(3, 1, 5, 0));
b1 = new JOAJRadioButton(b.getString("kSequence"));
b2 = new JOAJRadioButton(b.getString("kDistance"), true);
b3 = new JOAJRadioButton(b.getString("kTime"));
controls.add(b2);
controls.add(b1);
controls.add(b3);
controls.add(new JOAJLabel(" "));
ButtonGroup bg = new ButtonGroup();
bg.add(b1);
bg.add(b2);
bg.add(b3);
this.add("Center", controls);
b1.addItemListener((ItemListener) comp);
b2.addItemListener((ItemListener) comp);
b3.addItemListener((ItemListener) comp);
}
/** Show the filter dialog */
public void showDialog() {
empty_border = new EmptyBorder(5, 5, 0, 5);
indent_border = new EmptyBorder(5, 25, 5, 5);
include_panel =
new ServiceFilterPanel("Include messages based on target service:", filter_include_list);
exclude_panel =
new ServiceFilterPanel("Exclude messages based on target service:", filter_exclude_list);
status_box = new JCheckBox("Filter messages based on status:");
status_box.addActionListener(this);
status_active = new JRadioButton("Active messages only");
status_active.setSelected(true);
status_active.setEnabled(false);
status_complete = new JRadioButton("Complete messages only");
status_complete.setEnabled(false);
status_group = new ButtonGroup();
status_group.add(status_active);
status_group.add(status_complete);
if (filter_active || filter_complete) {
status_box.setSelected(true);
status_active.setEnabled(true);
status_complete.setEnabled(true);
if (filter_complete) {
status_complete.setSelected(true);
}
}
status_options = new JPanel();
status_options.setLayout(new BoxLayout(status_options, BoxLayout.Y_AXIS));
status_options.add(status_active);
status_options.add(status_complete);
status_options.setBorder(indent_border);
status_panel = new JPanel();
status_panel.setLayout(new BorderLayout());
status_panel.add(status_box, BorderLayout.NORTH);
status_panel.add(status_options, BorderLayout.CENTER);
status_panel.setBorder(empty_border);
ok_button = new JButton("Ok");
ok_button.addActionListener(this);
cancel_button = new JButton("Cancel");
cancel_button.addActionListener(this);
buttons = new JPanel();
buttons.setLayout(new FlowLayout());
buttons.add(ok_button);
buttons.add(cancel_button);
panel = new JPanel();
panel.setLayout(new BoxLayout(panel, BoxLayout.Y_AXIS));
panel.add(include_panel);
panel.add(exclude_panel);
panel.add(status_panel);
panel.add(buttons);
dialog = new JDialog();
dialog.setTitle("SOAP Monitor Filter");
dialog.setContentPane(panel);
dialog.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
dialog.setModal(true);
dialog.pack();
Dimension d = dialog.getToolkit().getScreenSize();
dialog.setLocation((d.width - dialog.getWidth()) / 2, (d.height - dialog.getHeight()) / 2);
ok_pressed = false;
dialog.show();
}
/** TabbedPaneDemo Constructor */
public TabbedPaneDemo(SwingSet2 swingset) {
// Set the title for this demo, and an icon used to represent this
// demo inside the SwingSet2 app.
super(swingset, "TabbedPaneDemo", "toolbar/JTabbedPane.gif");
// create tab position controls
JPanel tabControls = new JPanel();
tabControls.add(new JLabel(getString("TabbedPaneDemo.label")));
top = (JRadioButton) tabControls.add(new JRadioButton(getString("TabbedPaneDemo.top")));
left = (JRadioButton) tabControls.add(new JRadioButton(getString("TabbedPaneDemo.left")));
bottom = (JRadioButton) tabControls.add(new JRadioButton(getString("TabbedPaneDemo.bottom")));
right = (JRadioButton) tabControls.add(new JRadioButton(getString("TabbedPaneDemo.right")));
getDemoPanel().add(tabControls, BorderLayout.NORTH);
group = new ButtonGroup();
group.add(top);
group.add(bottom);
group.add(left);
group.add(right);
top.setSelected(true);
top.addActionListener(this);
bottom.addActionListener(this);
left.addActionListener(this);
right.addActionListener(this);
// create tab
tabbedpane = new JTabbedPane();
getDemoPanel().add(tabbedpane, BorderLayout.CENTER);
String name = getString("TabbedPaneDemo.laine");
JLabel pix = new JLabel(createImageIcon("tabbedpane/laine.jpg", name));
tabbedpane.add(name, pix);
name = getString("TabbedPaneDemo.ewan");
pix = new JLabel(createImageIcon("tabbedpane/ewan.jpg", name));
tabbedpane.add(name, pix);
name = getString("TabbedPaneDemo.hania");
pix = new JLabel(createImageIcon("tabbedpane/hania.jpg", name));
tabbedpane.add(name, pix);
name = getString("TabbedPaneDemo.bounce");
spin = new HeadSpin();
tabbedpane.add(name, spin);
tabbedpane
.getModel()
.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
SingleSelectionModel model = (SingleSelectionModel) e.getSource();
if (model.getSelectedIndex() == tabbedpane.getTabCount() - 1) {
spin.go();
}
}
});
}
// Set up the quiz window
Quiz() {
initializeData();
setTitle("FOSS Quiz App");
setDefaultCloseOperation(EXIT_ON_CLOSE);
setSize(440, 400);
setLocation(300, 100);
setResizable(true);
Container cont = getContentPane();
cont.setLayout(null);
cont.setBackground(Color.WHITE);
bg = new ButtonGroup();
choice1 = new JRadioButton("Choice1", true);
choice2 = new JRadioButton("Choice2", false);
choice3 = new JRadioButton("Choice3", false);
choice4 = new JRadioButton("Choice4", false);
bg.add(choice1);
bg.add(choice2);
bg.add(choice3);
bg.add(choice4);
lblmess = new JLabel("Choose a correct anwswer");
lblmess.setForeground(Color.BLACK);
lblmess.setFont(new Font("Sans_Serif", Font.BOLD, 15));
btnext = new JButton("Next");
btnext.setForeground(Color.WHITE);
btnext.setFont(new Font("Sans_Serif", Font.BOLD, 17));
btnext.setBackground(Color.DARK_GRAY);
btnext.addActionListener(this);
panel = new JPanel();
panel.setBackground(Color.WHITE);
panel.setLocation(10, 60);
panel.setSize(400, 300);
panel.setLayout(new GridLayout(0, 1));
title = new JPanel();
title.setBackground(Color.WHITE);
title.setLocation(10, 10);
title.setSize(1000, 50);
title.setLayout(new GridLayout(1, 0));
title.add(lblmess);
panel.add(choice1);
panel.add(choice2);
panel.add(choice3);
panel.add(choice4);
panel.add(btnext);
cont.add(title);
cont.add(panel);
setVisible(true);
quizAnswerID = 0;
readQuestionAnswer(quizAnswerID);
}
private JPanel makeShapeSelectionPanel() {
final Info[] surfaceShapeInfos = this.buildSurfaceShapes();
GridLayout layout = new GridLayout(surfaceShapeInfos.length, 1);
JPanel ssPanel = new JPanel(layout);
ButtonGroup group = new ButtonGroup();
for (final Info info : surfaceShapeInfos) {
JRadioButton b = new JRadioButton(info.name);
b.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent actionEvent) {
currentShape = (Renderable) info.object;
update();
}
});
group.add(b);
ssPanel.add(b);
if (info.name.equalsIgnoreCase("none")) b.setSelected(true);
}
ssPanel.setBorder(this.createTitleBorder("Surface Shapes"));
final Info[] freeShapeInfos = this.buildFreeShapes();
layout = new GridLayout(freeShapeInfos.length, 1);
JPanel fsPanel = new JPanel(layout);
for (final Info info : freeShapeInfos) {
JRadioButton b = new JRadioButton(info.name);
b.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent actionEvent) {
currentShape = (Renderable) info.object;
update();
}
});
group.add(b);
fsPanel.add(b);
if (info.name.equalsIgnoreCase("none")) b.setSelected(true);
}
fsPanel.setBorder(this.createTitleBorder("Path Shapes"));
JPanel shapesPanel = new JPanel(new GridLayout(1, 2, 8, 1));
shapesPanel.add(fsPanel);
shapesPanel.add(ssPanel);
return shapesPanel;
}
// Get what the user selects as the answer
public String getSelection() {
String selectedChoice = null;
Enumeration<AbstractButton> buttons = bg.getElements();
while (buttons.hasMoreElements()) {
JRadioButton temp = (JRadioButton) buttons.nextElement();
if (temp.isSelected()) {
selectedChoice = temp.getText();
}
}
return (selectedChoice);
}
private JPanel filterOptions() {
Dimension size;
JPanel panel = new JPanel();
GridBagLayout gridBag = new GridBagLayout();
GridBagConstraints constraints = new GridBagConstraints();
ButtonGroup buttons = new ButtonGroup();
JRadioButton radio;
JLabel label;
JLabel filler;
panel.setLayout(gridBag);
label = new JLabel("Type:");
constraints.anchor = GridBagConstraints.WEST;
gridBag.setConstraints(label, constraints);
panel.add(label);
radio = new JRadioButton("Low-pass");
radio.addActionListener(this);
radio.setSelected(true);
constraints.gridwidth = GridBagConstraints.REMAINDER;
gridBag.setConstraints(radio, constraints);
buttons.add(radio);
panel.add(radio);
filler = new JLabel();
constraints.gridwidth = 1;
gridBag.setConstraints(label, constraints);
panel.add(filler);
radio = new JRadioButton("High-pass");
radio.addActionListener(this);
constraints.gridwidth = GridBagConstraints.REMAINDER;
gridBag.setConstraints(radio, constraints);
buttons.add(radio);
panel.add(radio);
return panel;
}
public NewTypePanelContinuous(Type.Continuous t) {
super();
hasLWBGroup.add(unspecifiedLWB);
hasLWBGroup.add(yesLWB);
hasLWBGroup.add(noLWB);
hasUPBGroup.add(unspecifiedUPB);
hasUPBGroup.add(yesUPB);
hasUPBGroup.add(noUPB);
cyclicGroup.add(unspecifiedCyclic);
cyclicGroup.add(yesCyclic);
cyclicGroup.add(noCyclic);
UPBDetailGroup.add(incUPBButton);
UPBDetailGroup.add(excUPBButton);
LWBDetailGroup.add(incLWBButton);
LWBDetailGroup.add(excLWBButton);
UPBPanel.setLayout(new GridLayout(6, 1));
UPBPanel.add(UPBExistsLabel);
UPBPanel.add(yesUPB);
UPBPanel.add(noUPB);
UPBPanel.add(unspecifiedUPB);
UPBPanel.add(specifyUPB);
UPBPanel.add(UPBLabel);
LWBPanel.setLayout(new GridLayout(6, 1));
LWBPanel.add(LWBExistsLabel);
LWBPanel.add(yesLWB);
LWBPanel.add(noLWB);
LWBPanel.add(unspecifiedLWB);
LWBPanel.add(specifyLWB);
LWBPanel.add(LWBLabel);
UPBDetailPanel.setLayout(new GridLayout(4, 1));
UPBDetailPanel.add(UPBDetailLabel);
UPBDetailPanel.add(excUPBButton);
UPBDetailPanel.add(incUPBButton);
LWBDetailPanel.setLayout(new GridLayout(4, 1));
LWBDetailPanel.add(LWBDetailLabel);
LWBDetailPanel.add(excLWBButton);
LWBDetailPanel.add(incLWBButton);
cyclicPanel.setLayout(new GridLayout(4, 1));
cyclicPanel.add(cyclicLabel);
cyclicPanel.add(yesCyclic);
cyclicPanel.add(noCyclic);
cyclicPanel.add(unspecifiedCyclic);
UPBPanel.setBorder(BorderFactory.createEtchedBorder());
LWBPanel.setBorder(BorderFactory.createEtchedBorder());
UPBDetailPanel.setBorder(BorderFactory.createEtchedBorder());
LWBDetailPanel.setBorder(BorderFactory.createEtchedBorder());
cyclicPanel.setBorder(BorderFactory.createEtchedBorder());
mainPanel.setLayout(new GridLayout(2, 2));
mainPanel.add(LWBPanel);
mainPanel.add(UPBPanel);
mainPanel.add(LWBDetailPanel);
mainPanel.add(UPBDetailPanel);
setLayout(new BorderLayout());
add(mainPanel, BorderLayout.CENTER);
add(cyclicPanel, BorderLayout.EAST);
listener =
new KeyListener() {
public void keyPressed(KeyEvent e) {}
public void keyTyped(KeyEvent e) {}
public void keyReleased(KeyEvent e) {
checkBoundsFields();
}
};
specifyUPBListener =
new ActionListener() {
public void actionPerformed(ActionEvent e) {
UPBLabel.setText("0");
if (specifyUPB.isSelected()) {
UPBLabel.setVisible(true);
} else {
UPBLabel.setVisible(false);
}
checkBoundsFields();
}
};
specifyLWBListener =
new ActionListener() {
public void actionPerformed(ActionEvent e) {
LWBLabel.setText("0");
if (specifyLWB.isSelected()) {
LWBLabel.setVisible(true);
} else {
LWBLabel.setVisible(false);
}
checkBoundsFields();
}
};
setupTypeInfo(t);
setupEvents();
}
/** Adds the menu items to the menuber. */
protected void arrangeMenu() {
// Build the first menu.
fileMenu = new JMenu("File");
fileMenu.setMnemonic(KeyEvent.VK_F);
menuBar.add(fileMenu);
viewMenu = new JMenu("View");
viewMenu.setMnemonic(KeyEvent.VK_V);
menuBar.add(viewMenu);
runMenu = new JMenu("Run");
runMenu.setMnemonic(KeyEvent.VK_R);
menuBar.add(runMenu);
// Build the second menu.
helpMenu = new JMenu("Help");
helpMenu.setMnemonic(KeyEvent.VK_H);
menuBar.add(helpMenu);
programMenuItem = new JMenuItem("Load Program", KeyEvent.VK_O);
programMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
programMenuItem_actionPerformed();
}
});
fileMenu.add(programMenuItem);
scriptMenuItem = new JMenuItem("Load Script", KeyEvent.VK_P);
scriptMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
scriptMenuItem_actionPerformed();
}
});
fileMenu.add(scriptMenuItem);
fileMenu.addSeparator();
exitMenuItem = new JMenuItem("Exit", KeyEvent.VK_X);
exitMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X, InputEvent.ALT_MASK));
exitMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
exitMenuItem_actionPerformed();
}
});
fileMenu.add(exitMenuItem);
viewMenu.addSeparator();
ButtonGroup animationRadioButtons = new ButtonGroup();
animationSubMenu = new JMenu("Animate");
animationSubMenu.setMnemonic(KeyEvent.VK_A);
viewMenu.add(animationSubMenu);
partAnimMenuItem = new JRadioButtonMenuItem("Program flow");
partAnimMenuItem.setMnemonic(KeyEvent.VK_P);
partAnimMenuItem.setSelected(true);
partAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
partAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(partAnimMenuItem);
animationSubMenu.add(partAnimMenuItem);
fullAnimMenuItem = new JRadioButtonMenuItem("Program & data flow");
fullAnimMenuItem.setMnemonic(KeyEvent.VK_D);
fullAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
fullAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(fullAnimMenuItem);
animationSubMenu.add(fullAnimMenuItem);
noAnimMenuItem = new JRadioButtonMenuItem("No Animation");
noAnimMenuItem.setMnemonic(KeyEvent.VK_N);
noAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
noAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(noAnimMenuItem);
animationSubMenu.add(noAnimMenuItem);
ButtonGroup additionalDisplayRadioButtons = new ButtonGroup();
additionalDisplaySubMenu = new JMenu("View");
additionalDisplaySubMenu.setMnemonic(KeyEvent.VK_V);
viewMenu.add(additionalDisplaySubMenu);
scriptDisplayMenuItem = new JRadioButtonMenuItem("Script");
scriptDisplayMenuItem.setMnemonic(KeyEvent.VK_S);
scriptDisplayMenuItem.setSelected(true);
scriptDisplayMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
scriptDisplayMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(scriptDisplayMenuItem);
additionalDisplaySubMenu.add(scriptDisplayMenuItem);
outputMenuItem = new JRadioButtonMenuItem("Output");
outputMenuItem.setMnemonic(KeyEvent.VK_O);
outputMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
outputMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(outputMenuItem);
additionalDisplaySubMenu.add(outputMenuItem);
compareMenuItem = new JRadioButtonMenuItem("Compare");
compareMenuItem.setMnemonic(KeyEvent.VK_C);
compareMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
compareMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(compareMenuItem);
additionalDisplaySubMenu.add(compareMenuItem);
noAdditionalDisplayMenuItem = new JRadioButtonMenuItem("Screen");
noAdditionalDisplayMenuItem.setMnemonic(KeyEvent.VK_N);
noAdditionalDisplayMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
noAdditionalDisplayMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(noAdditionalDisplayMenuItem);
additionalDisplaySubMenu.add(noAdditionalDisplayMenuItem);
ButtonGroup formatRadioButtons = new ButtonGroup();
numericFormatSubMenu = new JMenu("Format");
numericFormatSubMenu.setMnemonic(KeyEvent.VK_F);
viewMenu.add(numericFormatSubMenu);
decMenuItem = new JRadioButtonMenuItem("Decimal");
decMenuItem.setMnemonic(KeyEvent.VK_D);
decMenuItem.setSelected(true);
decMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
decMenuItem_actionPerformed();
}
});
formatRadioButtons.add(decMenuItem);
numericFormatSubMenu.add(decMenuItem);
hexaMenuItem = new JRadioButtonMenuItem("Hexadecimal");
hexaMenuItem.setMnemonic(KeyEvent.VK_H);
hexaMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
hexaMenuItem_actionPerformed();
}
});
formatRadioButtons.add(hexaMenuItem);
numericFormatSubMenu.add(hexaMenuItem);
binMenuItem = new JRadioButtonMenuItem("Binary");
binMenuItem.setMnemonic(KeyEvent.VK_B);
binMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
binMenuItem_actionPerformed();
}
});
formatRadioButtons.add(binMenuItem);
numericFormatSubMenu.add(binMenuItem);
viewMenu.addSeparator();
singleStepMenuItem = new JMenuItem("Single Step", KeyEvent.VK_S);
singleStepMenuItem.setAccelerator(KeyStroke.getKeyStroke("F11"));
singleStepMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
singleStepMenuItem_actionPerformed();
}
});
runMenu.add(singleStepMenuItem);
ffwdMenuItem = new JMenuItem("Run", KeyEvent.VK_F);
ffwdMenuItem.setAccelerator(KeyStroke.getKeyStroke("F5"));
ffwdMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
ffwdMenuItem_actionPerformed();
}
});
runMenu.add(ffwdMenuItem);
stopMenuItem = new JMenuItem("Stop", KeyEvent.VK_T);
stopMenuItem.setAccelerator(KeyStroke.getKeyStroke("shift F5"));
stopMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
stopMenuItem_actionPerformed();
}
});
runMenu.add(stopMenuItem);
rewindMenuItem = new JMenuItem("Reset", KeyEvent.VK_R);
rewindMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
rewindMenuItem_actionPerformed();
}
});
runMenu.add(rewindMenuItem);
runMenu.addSeparator();
breakpointsMenuItem = new JMenuItem("Breakpoints", KeyEvent.VK_B);
breakpointsMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
breakpointsMenuItem_actionPerformed();
}
});
runMenu.add(breakpointsMenuItem);
profilerMenuItem = new JMenuItem("Profiler", KeyEvent.VK_I);
profilerMenuItem.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
showProfiler();
}
});
profilerMenuItem.setEnabled(false);
runMenu.add(profilerMenuItem);
usageMenuItem = new JMenuItem("Usage", KeyEvent.VK_U);
usageMenuItem.setAccelerator(KeyStroke.getKeyStroke("F1"));
usageMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
usageMenuItem_actionPerformed();
}
});
helpMenu.add(usageMenuItem);
aboutMenuItem = new JMenuItem("About ...", KeyEvent.VK_A);
aboutMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
aboutMenuItem_actionPerformed();
}
});
helpMenu.add(aboutMenuItem);
}
public MakeReservation() {
new BorderLayout();
standardRoom.setMnemonic(KeyEvent.VK_K);
standardRoom.setActionCommand("Standard Room");
standardRoom.setSelected(true);
familyRoom.setMnemonic(KeyEvent.VK_F);
familyRoom.setActionCommand("Family Room");
suiteRoom.setMnemonic(KeyEvent.VK_S);
suiteRoom.setActionCommand("Suite");
// Add Booking Button
ImageIcon bookRoomIcon = createImageIcon("images/book.png");
bookRoom = new JButton("Book Room", bookRoomIcon);
bookRoom.setVerticalTextPosition(AbstractButton.BOTTOM);
bookRoom.setHorizontalTextPosition(AbstractButton.CENTER);
bookRoom.setMnemonic(KeyEvent.VK_M);
bookRoom.addActionListener(this);
bookRoom.setActionCommand("book");
// Group the radio buttons.
group.add(standardRoom);
group.add(familyRoom);
group.add(suiteRoom);
// Create the labels.
nameLabel = new JLabel("Name: ");
amountroomsLabel = new JLabel("How many rooms? ");
checkoutdateLabel = new JLabel("Check-Out Date: ");
checkindateLabel = new JLabel("Check-In Date: ");
// Create the text fields and set them up.
nameField = new JFormattedTextField();
nameField.setColumns(10);
amountroomsField = new JFormattedTextField(new Integer(1));
amountroomsField.setValue(new Integer(1));
amountroomsField.setColumns(10);
// java.util.Date dt_checkin = new java.util.Date();
LocalDate today = LocalDate.now();
// java.text.SimpleDateFormat sdf_checkin = new java.text.SimpleDateFormat("MM/dd/yyyy");
currentDate_checkin = today.toString();
checkindateField = new JFormattedTextField(currentDate_checkin);
checkindateField.setColumns(10);
// java.util.Date dt_checkout = new java.util.Date();
LocalDate tomorrow = today.plus(1, ChronoUnit.DAYS);
// java.text.SimpleDateFormat sdf_checkout = new java.text.SimpleDateFormat("MM/dd/yyyy");
currentDate_checkout = tomorrow.toString();
checkoutdateField = new JFormattedTextField(currentDate_checkout);
checkoutdateField.setColumns(10);
// Tell accessibility tools about label/textfield pairs.
nameLabel.setLabelFor(nameField);
amountroomsLabel.setLabelFor(amountroomsField);
checkoutdateLabel.setLabelFor(checkoutdateField);
checkindateLabel.setLabelFor(checkindateField);
// Lay out the labels in a panel.
JPanel labelPane1 = new JPanel(new GridLayout(0, 1));
labelPane1.add(amountroomsLabel);
JPanel labelPane3 = new JPanel(new GridLayout(0, 1));
labelPane3.add(checkindateLabel);
JPanel labelPane2 = new JPanel(new GridLayout(0, 1));
labelPane2.add(checkoutdateLabel);
JPanel labelPane4 = new JPanel(new GridLayout(0, 1));
labelPane4.add(nameLabel);
// Layout the text fields in a panel.
JPanel fieldPane1 = new JPanel(new GridLayout(0, 1));
fieldPane1.add(amountroomsField);
JPanel fieldPane3 = new JPanel(new GridLayout(0, 1));
fieldPane3.add(checkindateField);
JPanel fieldPane2 = new JPanel(new GridLayout(0, 1));
fieldPane2.add(checkoutdateField);
JPanel fieldPane4 = new JPanel(new GridLayout(0, 1));
fieldPane4.add(nameField);
// Put the radio buttons in a column in a panel.
JPanel radioPanel = new JPanel(new GridLayout(0, 1));
radioPanel.add(standardRoom);
radioPanel.add(familyRoom);
radioPanel.add(suiteRoom);
// Put the panels in this panel, labels on left,
// text fields on right.
setBorder(BorderFactory.createEmptyBorder(20, 20, 20, 20));
add(labelPane1, BorderLayout.LINE_START);
add(fieldPane1, BorderLayout.LINE_END);
add(labelPane3, BorderLayout.LINE_START);
add(fieldPane3, BorderLayout.LINE_END);
add(labelPane2, BorderLayout.LINE_START);
add(fieldPane2, BorderLayout.LINE_END);
add(labelPane4, BorderLayout.LINE_START);
add(fieldPane4, BorderLayout.LINE_END);
add(radioPanel, BorderLayout.LINE_END);
add(bookRoom);
}
SwingTableDemo() {
// Create a new JFrame container.
JFrame jfrm = new JFrame("JTable Demo");
// Specify FlowLayout for the layout manager.
jfrm.setLayout(new FlowLayout());
// Give the frame an initial size.
jfrm.setSize(460, 180);
// Terminate the program when the user closes the application.
jfrm.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
// Create a table that displays order data.
jtabOrders = new JTable(data, headings);
// Wrap the table in a scroll pane.
JScrollPane jscrlp = new JScrollPane(jtabOrders);
// Set the scrollable viewport size.
jtabOrders.setPreferredScrollableViewportSize(new Dimension(420, 62));
// Create the radio buttons that determine
// what type of selections are allowed.
jrbRows = new JRadioButton("Select Rows", true);
jrbColumns = new JRadioButton("Select Columns");
jrbCells = new JRadioButton("Select Cells");
// Add the radio buttons to a group.
ButtonGroup bg = new ButtonGroup();
bg.add(jrbRows);
bg.add(jrbColumns);
bg.add(jrbCells);
// Radio button events are handled in common by the
// actionPerformed() method implemented by TableDemo.
jrbRows.addActionListener(this);
jrbColumns.addActionListener(this);
jrbCells.addActionListener(this);
// Create the Single Selection Mode check box.
// When checked, only single selections are allowed.
jcbSingle = new JCheckBox("Single Selection Mode");
// Add item listener for jcbSingle.
jcbSingle.addItemListener(
new ItemListener() {
public void itemStateChanged(ItemEvent ie) {
if (jcbSingle.isSelected())
// Allow single selections.
jtabOrders.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
else
// Allow multiple selections.
jtabOrders.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
}
});
// Add the components to the content pane.
jfrm.add(jscrlp);
jfrm.add(jrbRows);
jfrm.add(jrbColumns);
jfrm.add(jrbCells);
jfrm.add(jcbSingle);
// Display the frame.
jfrm.setVisible(true);
}
public ToolBarEditDialog(
Component comp, DefaultComboBoxModel iconListModel, ToolBarOptionPane.Button current) {
super(
GUIUtilities.getParentDialog(comp), jEdit.getProperty("options.toolbar.edit.title"), true);
JPanel content = new JPanel(new BorderLayout());
content.setBorder(new EmptyBorder(12, 12, 12, 12));
setContentPane(content);
ActionHandler actionHandler = new ActionHandler();
ButtonGroup grp = new ButtonGroup();
JPanel typePanel = new JPanel(new GridLayout(3, 1, 6, 6));
typePanel.setBorder(new EmptyBorder(0, 0, 6, 0));
typePanel.add(new JLabel(jEdit.getProperty("options.toolbar.edit.caption")));
separator = new JRadioButton(jEdit.getProperty("options.toolbar" + ".edit.separator"));
separator.addActionListener(actionHandler);
grp.add(separator);
typePanel.add(separator);
action = new JRadioButton(jEdit.getProperty("options.toolbar" + ".edit.action"));
action.addActionListener(actionHandler);
grp.add(action);
typePanel.add(action);
content.add(BorderLayout.NORTH, typePanel);
JPanel actionPanel = new JPanel(new BorderLayout(6, 6));
ActionSet[] actionsList = jEdit.getActionSets();
Vector vec = new Vector(actionsList.length);
for (int i = 0; i < actionsList.length; i++) {
ActionSet actionSet = actionsList[i];
if (actionSet.getActionCount() != 0) vec.addElement(actionSet);
}
combo = new JComboBox(vec);
combo.addActionListener(actionHandler);
actionPanel.add(BorderLayout.NORTH, combo);
list = new JList();
list.setVisibleRowCount(8);
list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
actionPanel.add(BorderLayout.CENTER, new JScrollPane(list));
JPanel iconPanel = new JPanel(new BorderLayout(0, 3));
JPanel labelPanel = new JPanel(new GridLayout(2, 1));
labelPanel.setBorder(new EmptyBorder(0, 0, 0, 12));
JPanel compPanel = new JPanel(new GridLayout(2, 1));
grp = new ButtonGroup();
labelPanel.add(builtin = new JRadioButton(jEdit.getProperty("options.toolbar.edit.builtin")));
builtin.addActionListener(actionHandler);
grp.add(builtin);
labelPanel.add(file = new JRadioButton(jEdit.getProperty("options.toolbar.edit.file")));
grp.add(file);
file.addActionListener(actionHandler);
iconPanel.add(BorderLayout.WEST, labelPanel);
builtinCombo = new JComboBox(iconListModel);
builtinCombo.setRenderer(new ToolBarOptionPane.IconCellRenderer());
compPanel.add(builtinCombo);
fileButton = new JButton(jEdit.getProperty("options.toolbar.edit.no-icon"));
fileButton.setMargin(new Insets(1, 1, 1, 1));
fileButton.setIcon(GUIUtilities.loadIcon("Blank24.gif"));
fileButton.setHorizontalAlignment(SwingConstants.LEFT);
fileButton.addActionListener(actionHandler);
compPanel.add(fileButton);
iconPanel.add(BorderLayout.CENTER, compPanel);
actionPanel.add(BorderLayout.SOUTH, iconPanel);
content.add(BorderLayout.CENTER, actionPanel);
JPanel southPanel = new JPanel();
southPanel.setLayout(new BoxLayout(southPanel, BoxLayout.X_AXIS));
southPanel.setBorder(new EmptyBorder(12, 0, 0, 0));
southPanel.add(Box.createGlue());
ok = new JButton(jEdit.getProperty("common.ok"));
ok.addActionListener(actionHandler);
getRootPane().setDefaultButton(ok);
southPanel.add(ok);
southPanel.add(Box.createHorizontalStrut(6));
cancel = new JButton(jEdit.getProperty("common.cancel"));
cancel.addActionListener(actionHandler);
southPanel.add(cancel);
southPanel.add(Box.createGlue());
content.add(BorderLayout.SOUTH, southPanel);
if (current == null) {
action.setSelected(true);
builtin.setSelected(true);
updateList();
} else {
if (current.actionName.equals("-")) {
separator.setSelected(true);
builtin.setSelected(true);
} else {
action.setSelected(true);
ActionSet set = jEdit.getActionSetForAction(current.actionName);
combo.setSelectedItem(set);
updateList();
list.setSelectedValue(current, true);
if (MiscUtilities.isURL(current.iconName)) {
file.setSelected(true);
fileIcon = current.iconName;
try {
fileButton.setIcon(new ImageIcon(new URL(fileIcon)));
} catch (MalformedURLException mf) {
Log.log(Log.ERROR, this, mf);
}
fileButton.setText(MiscUtilities.getFileName(fileIcon));
} else {
String iconName = MiscUtilities.getFileName(current.iconName);
builtin.setSelected(true);
ListModel model = builtinCombo.getModel();
for (int i = 0; i < model.getSize(); i++) {
ToolBarOptionPane.IconListEntry entry =
(ToolBarOptionPane.IconListEntry) model.getElementAt(i);
if (entry.name.equals(iconName)) {
builtinCombo.setSelectedIndex(i);
break;
}
}
}
}
}
updateEnabled();
pack();
setLocationRelativeTo(GUIUtilities.getParentDialog(comp));
show();
}
/**
* Returns whether additional keywords are to be placed after the search string or before.
*
* @return <code>true</code> if additional keywords should be placed after the search string,
* <code>false</code> if they are placed before the search string
*/
public boolean getAdditionalKeywordsAfterSearchString() {
return bgAdditionalKeywordsPlacement.isSelected(rbAfterSearchString.getModel());
}
public Display(String title) throws IOException {
super(title);
setLayout(new GridLayout(1, 3));
JPanel options = new JPanel(new GridLayout(5, 1));
JPanel numCircles = new JPanel((new GridLayout(1, 2)));
addWindowListener(this);
b = new Button("Load Image");
c = new Button("filter");
findCircles = new Button("Find");
inputCircles = new JTextField("12");
numCircles.add(inputCircles);
numCircles.add(findCircles);
options.add(b);
options.add(c);
add(options);
filterBtn = new JRadioButton("Filtered");
sobelBtn = new JRadioButton("Sobel");
nonMaxBtn = new JRadioButton("Non Maximal");
accumulator = new JRadioButton("Accumulator");
whichRadius = new JSlider(JSlider.HORIZONTAL, rmin, 125, 14);
whichRadius.setMajorTickSpacing(10);
whichRadius.setMinorTickSpacing(1);
whichRadius.setPaintTicks(true);
whichRadius.setPaintLabels(true);
whichRadius.setBorder(BorderFactory.createEmptyBorder(0, 0, 10, 0));
Font font = new Font("Serif", Font.ITALIC, 6);
whichRadius.setFont(font);
ButtonGroup rGroup = new ButtonGroup();
rGroup.add(filterBtn);
rGroup.add(sobelBtn);
rGroup.add(nonMaxBtn);
rGroup.add(accumulator);
JPanel radioPanel = new JPanel(new GridLayout(0, 1));
radioPanel.add(filterBtn);
radioPanel.add(sobelBtn);
radioPanel.add(nonMaxBtn);
radioPanel.add(accumulator);
options.add(radioPanel);
options.add(numCircles);
options.add(whichRadius);
loadImage();
add(lbl1);
add(lbl2);
b.addActionListener(this);
c.addActionListener(this);
filterBtn.addActionListener(this);
sobelBtn.addActionListener(this);
nonMaxBtn.addActionListener(this);
findCircles.addActionListener(this);
accumulator.addActionListener(this);
whichRadius.addChangeListener(this);
}
private void jbInit() throws Exception {
saveButton.setText("Save");
saveButton.addActionListener(new PrintfTemplateEditor_saveButton_actionAdapter(this));
cancelButton.setText("Cancel");
cancelButton.addActionListener(new PrintfTemplateEditor_cancelButton_actionAdapter(this));
this.setTitle(this.getTitle() + " Template Editor");
printfPanel.setLayout(gridBagLayout1);
formatLabel.setFont(new java.awt.Font("DialogInput", 0, 12));
formatLabel.setText("Format String:");
buttonPanel.setLayout(flowLayout1);
printfPanel.setBorder(BorderFactory.createEtchedBorder());
printfPanel.setMinimumSize(new Dimension(100, 160));
printfPanel.setPreferredSize(new Dimension(380, 160));
parameterPanel.setLayout(gridBagLayout2);
parameterLabel.setText("Parameters:");
parameterLabel.setFont(new java.awt.Font("DialogInput", 0, 12));
parameterTextArea.setMinimumSize(new Dimension(100, 25));
parameterTextArea.setPreferredSize(new Dimension(200, 25));
parameterTextArea.setEditable(true);
parameterTextArea.setText("");
insertButton.setMaximumSize(new Dimension(136, 20));
insertButton.setMinimumSize(new Dimension(136, 20));
insertButton.setPreferredSize(new Dimension(136, 20));
insertButton.setToolTipText(
"insert the format in the format string and add parameter to list.");
insertButton.setText("Insert Parameter");
insertButton.addActionListener(new PrintfTemplateEditor_insertButton_actionAdapter(this));
formatTextArea.setMinimumSize(new Dimension(100, 25));
formatTextArea.setPreferredSize(new Dimension(200, 15));
formatTextArea.setText("");
parameterPanel.setBorder(null);
parameterPanel.setMinimumSize(new Dimension(60, 40));
parameterPanel.setPreferredSize(new Dimension(300, 40));
insertMatchButton.addActionListener(
new PrintfTemplateEditor_insertMatchButton_actionAdapter(this));
insertMatchButton.setText("Insert Match");
insertMatchButton.setToolTipText(
"insert the match in the format string and add parameter to list.");
insertMatchButton.setPreferredSize(new Dimension(136, 20));
insertMatchButton.setMinimumSize(new Dimension(136, 20));
insertMatchButton.setMaximumSize(new Dimension(136, 20));
matchPanel.setPreferredSize(new Dimension(300, 40));
matchPanel.setBorder(null);
matchPanel.setMinimumSize(new Dimension(60, 60));
matchPanel.setLayout(gridBagLayout3);
InsertPanel.setLayout(gridLayout1);
gridLayout1.setColumns(1);
gridLayout1.setRows(2);
gridLayout1.setVgap(0);
InsertPanel.setBorder(BorderFactory.createEtchedBorder());
InsertPanel.setMinimumSize(new Dimension(100, 100));
InsertPanel.setPreferredSize(new Dimension(380, 120));
editorPane.setText("");
editorPane.addKeyListener(new PrintfEditor_editorPane_keyAdapter(this));
printfTabPane.addChangeListener(new PrintfEditor_printfTabPane_changeAdapter(this));
parameterPanel.add(
insertButton,
new GridBagConstraints(
1,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(8, 6, 13, 8),
0,
10));
parameterPanel.add(
paramComboBox,
new GridBagConstraints(
0,
0,
1,
1,
1.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(8, 8, 13, 0),
258,
11));
paramComboBox.setRenderer(new MyCellRenderer());
InsertPanel.add(matchPanel, null);
InsertPanel.add(parameterPanel, null);
buttonPanel.add(cancelButton, null);
buttonPanel.add(saveButton, null);
this.getContentPane().add(printfTabPane, BorderLayout.NORTH);
this.getContentPane().add(InsertPanel, BorderLayout.CENTER);
matchPanel.add(
insertMatchButton,
new GridBagConstraints(
1,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(8, 6, 13, 8),
0,
10));
matchPanel.add(
matchComboBox,
new GridBagConstraints(
0,
0,
1,
1,
1.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(8, 8, 13, 0),
258,
11));
printfPanel.add(
parameterLabel,
new GridBagConstraints(
0,
2,
1,
1,
0.0,
0.0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(7, 5, 0, 5),
309,
0));
printfPanel.add(
formatLabel,
new GridBagConstraints(
0,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(4, 5, 0, 5),
288,
0));
printfPanel.add(
formatTextArea,
new GridBagConstraints(
0,
1,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(6, 5, 0, 5),
300,
34));
printfPanel.add(
parameterTextArea,
new GridBagConstraints(
0,
3,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(6, 5, 6, 5),
300,
34));
printfTabPane.addTab("Editor View", null, editorPanel, "View in Editor");
printfTabPane.addTab("Printf View", null, printfPanel, "Vies as Printf");
editorPane.setCharacterAttributes(PLAIN_ATTR, true);
editorPane.addStyle("PLAIN", editorPane.getLogicalStyle());
editorPanel.getViewport().add(editorPane, null);
this.getContentPane().add(buttonPanel, BorderLayout.SOUTH);
buttonGroup.add(cancelButton);
}
public ImageSettings() {
// Single Image Settings
slice.add(new JLabel("Single Image Settings:"));
newSlice();
ButtonGroup group = new ButtonGroup();
singleCylindrical = new JRadioButton("Cylindrical projection");
singleCylindrical.setSelected(true);
group.add(singleCylindrical);
slice.add(singleCylindrical);
newSlice();
singleEllipse = new JRadioButton("Elliptical projection");
singleEllipse.setSelected(false);
group.add(singleEllipse);
slice.add(singleEllipse);
newSlice();
singleSizeLabel = new JLabel("Image height=" + singleSize);
slice.add(singleSizeLabel);
singleSizeUp = new JButton("Up");
singleSizeDown = new JButton("Down");
singleSizeUp.addActionListener(this);
singleSizeDown.addActionListener(this);
slice.add(singleSizeUp);
slice.add(singleSizeDown);
newSlice();
singleSquare = new JRadioButton("Square the image");
singleSquare.setSelected(true);
slice.add(singleSquare);
newSlice();
singleFaults = new JRadioButton("Show faultlines");
singleFaults.setSelected(true);
slice.add(singleFaults);
newSlice();
singleAgeDots = new JRadioButton("Show age dots");
singleAgeDots.setSelected(true);
slice.add(singleAgeDots);
newSlice();
// Sequence Image Settings
slice.add(new JLabel("Sequence Image Settings:"));
newSlice();
ButtonGroup group2 = new ButtonGroup();
seqCylindrical = new JRadioButton("Cylindrical projection");
seqCylindrical.setSelected(true);
group2.add(seqCylindrical);
slice.add(seqCylindrical);
newSlice();
seqEllipse = new JRadioButton("Elliptical projection");
seqEllipse.setSelected(false);
group2.add(seqEllipse);
slice.add(seqEllipse);
newSlice();
seqSizeLabel = new JLabel("Image height=" + seqSize);
slice.add(seqSizeLabel);
seqSizeUp = new JButton("Up");
seqSizeDown = new JButton("Down");
seqSizeUp.addActionListener(this);
seqSizeDown.addActionListener(this);
slice.add(seqSizeUp);
slice.add(seqSizeDown);
newSlice();
seqSquare = new JRadioButton("Square the images");
seqSquare.setSelected(false);
slice.add(seqSquare);
newSlice();
seqFaults = new JRadioButton("Show faultlines");
seqFaults.setSelected(true);
slice.add(seqFaults);
newSlice();
seqAgeDots = new JRadioButton("Show age dots");
seqAgeDots.setSelected(true);
slice.add(seqAgeDots);
// newSlice();
}
private void initializeComponents() {
this.setTitle("Synchro - Kopierassistent");
this.setBounds(0, 0, 550, 600);
this.setResizable(true);
this.setLayout(null);
this.setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE);
this.addWindowListener(this);
mainPanel = new JPanel();
mainPanel.setBounds(0, 0, this.getWidth() - 20, 25);
// fcPanel.setBorder(BorderFactory.createLineBorder(Color.BLACK));
mainPanel.setLayout(null);
btnBackup = new JButton("Backup");
btnBackup.setBounds(this.getWidth() / 2, 0, this.getWidth() / 2 - 20, mainPanel.getHeight());
btnBackup.addActionListener(this);
mainPanel.add(btnBackup);
this.add(mainPanel);
fcPanel = new JPanel();
fcPanel.setBounds(10, 40, this.getWidth(), 260);
// fcPanel.setBorder(BorderFactory.createLineBorder(Color.BLACK));
fcPanel.setLayout(null);
quellLabel = new JLabel("Bitte Quellverzeichnis auswählen");
quellLabel.setBounds(10, 5, 320, 20);
fcPanel.add(quellLabel);
quellListModel = new DefaultListModel<>();
quellJList = new JList<ListItem>(quellListModel);
quellJList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
quellJList.setLayoutOrientation(JList.VERTICAL);
quellJList.addListSelectionListener(this);
listBoxScroller = new JScrollPane(quellJList);
listBoxScroller.setBounds(0, 30, 315, 100);
fcPanel.add(listBoxScroller);
btnQAuswahl = new JButton("Quellverz. hinzufügen");
btnQAuswahl.setBounds(320, 30, 200, 25);
btnQAuswahl.addActionListener(this);
fcPanel.add(btnQAuswahl);
btnQEntfernen = new JButton("Quellverz. entfernen");
btnQEntfernen.setBounds(320, 60, 200, 25);
btnQEntfernen.addActionListener(this);
fcPanel.add(btnQEntfernen);
zielLabel = new JLabel("Bitte Zielverzeichnis auswählen");
zielLabel.setBounds(10, 135, 320, 20);
fcPanel.add(zielLabel);
zielListModel = new DefaultListModel<>();
zielJList = new JList<ListItem>(zielListModel);
zielJList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
zielJList.setLayoutOrientation(JList.VERTICAL);
zielJList.addListSelectionListener(this);
listBoxScroller2 = new JScrollPane(zielJList);
listBoxScroller2.setBounds(0, 160, 315, 100);
fcPanel.add(listBoxScroller2);
btnZAuswahl = new JButton("Zielverz. hinzufügen");
btnZAuswahl.setBounds(320, 160, 200, 25);
btnZAuswahl.addActionListener(this);
fcPanel.add(btnZAuswahl);
btnZEntfernen = new JButton("Zielverz. entfernen");
btnZEntfernen.setBounds(320, 190, 200, 25);
btnZEntfernen.addActionListener(this);
fcPanel.add(btnZEntfernen);
this.add(fcPanel);
ButtonGroup bGrp = new ButtonGroup();
optionPanel = new JPanel();
optionPanel.setBounds(10, 300 + 10, this.getWidth() - 40, 90);
optionPanel.setPreferredSize(new Dimension(this.getWidth() - 40, 90));
// optionPanel.setBorder(BorderFactory.createLineBorder(Color.BLACK));
optionPanel.setLayout(new GridLayout(3, 1));
nUebSchr = new JRadioButton("Keine Dateien überschreiben");
nUebSchr.addItemListener(this);
bGrp.add(nUebSchr);
optionPanel.add(nUebSchr);
ueSchr = new JRadioButton("Neuere Dateien überschreiben");
ueSchr.addItemListener(this);
bGrp.add(ueSchr);
optionPanel.add(ueSchr);
aUeSchr = new JRadioButton("Alle Dateien überschreiben");
aUeSchr.addItemListener(this);
bGrp.add(aUeSchr);
optionPanel.add(aUeSchr);
this.add(optionPanel);
syncPanel = new JPanel();
syncPanel.setBounds(
10, optionPanel.getY() + optionPanel.getHeight() + 10, this.getWidth() - 30, 25);
// syncPanel.setBorder(BorderFactory.createLineBorder(Color.BLACK));
syncPanel.setLayout(new BorderLayout());
btnSync = new JButton("Sync it!");
btnSync.setBounds(0, 0, 150, (syncPanel.getHeight() / 3));
btnSync.addActionListener(this);
btnSync.setPreferredSize(new Dimension(150, (syncPanel.getHeight() / 3)));
btnSync.setMaximumSize(new Dimension(150, (syncPanel.getHeight() / 3)));
syncPanel.add(btnSync, BorderLayout.LINE_START);
btnAbbruch = new JButton("Abbrechen");
btnAbbruch.setBounds(0, 0, 150, (syncPanel.getHeight() / 3));
btnAbbruch.addActionListener(this);
btnAbbruch.setPreferredSize(new Dimension(150, (syncPanel.getHeight() / 3)));
btnAbbruch.setMaximumSize(new Dimension(150, (syncPanel.getHeight() / 3)));
btnAbbruch.setVisible(false);
syncPanel.add(btnAbbruch, BorderLayout.LINE_END);
progressBar = new JProgressBar(JProgressBar.HORIZONTAL);
progressBar.setBorderPainted(true);
progressBar.setPreferredSize(new Dimension(300, (syncPanel.getHeight() / 3)));
progressBar.setForeground(Color.RED);
progressBar.setStringPainted(true);
progressBar.setVisible(true);
syncPanel.add(progressBar, BorderLayout.CENTER);
this.add(syncPanel);
logPanel = new JPanel();
logPanel.setBounds(
10, syncPanel.getY() + syncPanel.getHeight() + 10, this.getWidth() - 30, 105);
logPanel.setLayout(new BorderLayout());
textArea = new JTextArea();
textArea.setMargin(new Insets(3, 3, 3, 3));
textArea.setBackground(Color.black);
textArea.setForeground(Color.LIGHT_GRAY);
textArea.setAutoscrolls(true);
textArea.setFocusable(false);
textAreaScroller = new JScrollPane(textArea);
DefaultCaret caret = (DefaultCaret) textArea.getCaret();
caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
textAreaScroller.setBounds(0, 0, syncPanel.getWidth(), 50);
logPanel.add(textAreaScroller, BorderLayout.CENTER);
this.add(logPanel, BorderLayout.SOUTH);
}
public fileBackupProgram(JFrame frame) {
super(new BorderLayout());
this.frame = frame;
errorDialog = new CustomDialog(frame, "Please enter a new name for the error log", this);
errorDialog.pack();
moveDialog = new CustomDialog(frame, "Please enter a new name for the move log", this);
moveDialog.pack();
printer = new FilePrinter();
timers = new ArrayList<>();
log = new JTextArea(5, 20);
log.setMargin(new Insets(5, 5, 5, 5));
log.setEditable(false);
JScrollPane logScrollPane = new JScrollPane(log);
Object obj;
copy = true;
listModel = new DefaultListModel();
// destListModel = new DefaultListModel();
directoryList = new directoryStorage();
// Create a file chooser
fc = new JFileChooser();
// Create the menu bar.
menuBar = new JMenuBar();
// Build the first menu.
menu = new JMenu("File");
menu.getAccessibleContext()
.setAccessibleDescription("The only menu in this program that has menu items");
menuBar.add(menu);
editError = new JMenuItem("Save Error Log As...");
editError
.getAccessibleContext()
.setAccessibleDescription("Change the name of the error log file");
editError.addActionListener(new ErrorListener());
menu.add(editError);
editMove = new JMenuItem("Save Move Log As...");
editMove
.getAccessibleContext()
.setAccessibleDescription("Change the name of the move log file");
editMove.addActionListener(new MoveListener());
menu.add(editMove);
exit = new JMenuItem("Exit");
exit.getAccessibleContext().setAccessibleDescription("Exit the Program");
exit.addActionListener(new CloseListener());
menu.add(exit);
frame.setJMenuBar(menuBar);
// Uncomment one of the following lines to try a different
// file selection mode. The first allows just directories
// to be selected (and, at least in the Java look and feel,
// shown). The second allows both files and directories
// to be selected. If you leave these lines commented out,
// then the default mode (FILES_ONLY) will be used.
//
fc.setFileSelectionMode(JFileChooser.DIRECTORIES_ONLY);
// fc.setFileSelectionMode(JFileChooser.FILES_AND_DIRECTORIES);
openButton = new JButton(openString);
openButton.setActionCommand(openString);
openButton.addActionListener(new OpenListener());
destButton = new JButton(destString);
destButton.setActionCommand(destString);
destButton.addActionListener(new DestListener());
// Create the save button. We use the image from the JLF
// Graphics Repository (but we extracted it from the jar).
saveButton = new JButton(saveString);
saveButton.setActionCommand(saveString);
saveButton.addActionListener(new SaveListener());
URL imageURL = getClass().getResource(greenButtonIcon);
ImageIcon greenSquare = new ImageIcon(imageURL);
startButton = new JButton("Start", greenSquare);
startButton.setSize(60, 20);
startButton.setHorizontalTextPosition(AbstractButton.LEADING);
startButton.setActionCommand("Start");
startButton.addActionListener(new StartListener());
imageURL = getClass().getResource(redButtonIcon);
ImageIcon redSquare = new ImageIcon(imageURL);
stopButton = new JButton("Stop", redSquare);
stopButton.setSize(60, 20);
stopButton.setHorizontalTextPosition(AbstractButton.LEADING);
stopButton.setActionCommand("Stop");
stopButton.addActionListener(new StopListener());
copyButton = new JRadioButton("Copy");
copyButton.setActionCommand("Copy");
copyButton.setSelected(true);
copyButton.addActionListener(new RadioListener());
moveButton = new JRadioButton("Move");
moveButton.setActionCommand("Move");
moveButton.addActionListener(new RadioListener());
ButtonGroup group = new ButtonGroup();
group.add(copyButton);
group.add(moveButton);
// For layout purposes, put the buttons in a separate panel
JPanel optionPanel = new JPanel();
GroupLayout layout = new GroupLayout(optionPanel);
optionPanel.setLayout(layout);
layout.setAutoCreateGaps(true);
layout.setAutoCreateContainerGaps(true);
layout.setHorizontalGroup(
layout.createSequentialGroup().addComponent(copyButton).addComponent(moveButton));
layout.setVerticalGroup(
layout
.createSequentialGroup()
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.BASELINE)
.addComponent(copyButton)
.addComponent(moveButton)));
JPanel buttonPanel = new JPanel(); // use FlowLayout
layout = new GroupLayout(buttonPanel);
buttonPanel.setLayout(layout);
layout.setAutoCreateGaps(true);
layout.setAutoCreateContainerGaps(true);
layout.setHorizontalGroup(
layout
.createSequentialGroup()
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.LEADING)
.addComponent(openButton)
.addComponent(optionPanel))
.addComponent(destButton)
.addComponent(startButton)
.addComponent(stopButton)
// .addComponent(saveButton)
);
layout.setVerticalGroup(
layout
.createSequentialGroup()
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.BASELINE)
.addComponent(openButton)
.addComponent(destButton)
.addComponent(startButton)
.addComponent(stopButton)
// .addComponent(saveButton)
)
.addComponent(optionPanel));
buttonPanel.add(optionPanel);
/*
buttonPanel.add(openButton);
buttonPanel.add(destButton);
buttonPanel.add(startButton);
buttonPanel.add(stopButton);
buttonPanel.add(saveButton);
buttonPanel.add(listLabel);
buttonPanel.add(copyButton);
buttonPanel.add(moveButton);
*/
destButton.setEnabled(false);
startButton.setEnabled(false);
stopButton.setEnabled(false);
// Add the buttons and the log to this panel.
// add(logScrollPane, BorderLayout.CENTER);
JLabel listLabel = new JLabel("Monitored Directory:");
listLabel.setLabelFor(list);
// Create the list and put it in a scroll pane.
list = new JList(listModel);
list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
list.setSelectedIndex(0);
list.addListSelectionListener(this);
list.setVisibleRowCount(8);
JScrollPane listScrollPane = new JScrollPane(list);
JPanel listPane = new JPanel();
listPane.setLayout(new BorderLayout());
listPane.add(listLabel, BorderLayout.PAGE_START);
listPane.add(listScrollPane, BorderLayout.CENTER);
listSelectionModel = list.getSelectionModel();
listSelectionModel.addListSelectionListener(new SharedListSelectionHandler());
// monitored, destination, waitInt, check
destination = new JLabel("Destination Directory: ");
waitField = new JFormattedTextField();
// waitField.setValue(240);
waitField.setEditable(false);
waitField.addPropertyChangeListener(new FormattedTextListener());
waitInt = new JLabel("Wait Interval (in minutes)");
// waitInt.setLabelFor(waitField);
checkField = new JFormattedTextField();
checkField.setSize(1, 10);
// checkField.setValue(60);
checkField.setEditable(false);
checkField.addPropertyChangeListener(new FormattedTextListener());
check = new JLabel("Check Interval (in minutes)");
// check.setLabelFor(checkField);
fireButton = new JButton(fireString);
fireButton.setActionCommand(fireString);
fireButton.addActionListener(new FireListener());
JPanel fieldPane = new JPanel();
// fieldPane.add(destField);
layout = new GroupLayout(fieldPane);
fieldPane.setLayout(layout);
layout.setAutoCreateGaps(true);
layout.setAutoCreateContainerGaps(true);
layout.setHorizontalGroup(
layout
.createSequentialGroup()
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.LEADING)
.addComponent(waitInt)
.addComponent(check))
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.LEADING)
.addComponent(waitField, 60, 60, 60)
.addComponent(checkField, 60, 60, 60)));
layout.setVerticalGroup(
layout
.createSequentialGroup()
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.BASELINE)
.addComponent(waitInt)
.addComponent(waitField))
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.BASELINE)
.addComponent(check)
.addComponent(checkField)));
JPanel labelPane = new JPanel();
labelPane.setLayout(new BorderLayout());
labelPane.add(destination, BorderLayout.PAGE_START);
labelPane.add(fieldPane, BorderLayout.CENTER);
layout = new GroupLayout(labelPane);
labelPane.setLayout(layout);
layout.setAutoCreateGaps(true);
layout.setAutoCreateContainerGaps(true);
layout.setHorizontalGroup(
layout
.createSequentialGroup()
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.LEADING)
.addComponent(destination)
.addComponent(fieldPane)));
layout.setVerticalGroup(
layout.createSequentialGroup().addComponent(destination).addComponent(fieldPane));
// labelPane.add(destination);
// labelPane.add(fieldPane);
try {
// Read from disk using FileInputStream
FileInputStream f_in = new FileInputStream(LOG_DIRECTORY + "\\save.data");
// Read object using ObjectInputStream
ObjectInputStream obj_in = new ObjectInputStream(f_in);
// Read an object
directoryList = (directoryStorage) obj_in.readObject();
ERROR_LOG_NAME = (String) obj_in.readObject();
MOVE_LOG_NAME = (String) obj_in.readObject();
if (ERROR_LOG_NAME instanceof String) {
printer.changeErrorLogName(ERROR_LOG_NAME);
}
if (MOVE_LOG_NAME instanceof String) {
printer.changeMoveLogName(MOVE_LOG_NAME);
}
if (directoryList instanceof directoryStorage) {
System.out.println("found object");
// directoryList = (directoryStorage) obj;
Iterator<Directory> directories = directoryList.getDirectories();
Directory d;
while (directories.hasNext()) {
d = directories.next();
try {
listModel.addElement(d.getDirectory().toRealPath());
} catch (IOException x) {
printer.printError(x.toString());
}
int index = list.getSelectedIndex();
if (index == -1) {
list.setSelectedIndex(0);
}
index = list.getSelectedIndex();
Directory dir = directoryList.getDirectory(index);
destButton.setEnabled(true);
checkField.setValue(dir.getInterval());
waitField.setValue(dir.getWaitInterval());
checkField.setEditable(true);
waitField.setEditable(true);
// directoryList.addNewDirectory(d);
// try {
// listModel.addElement(d.getDirectory().toString());
// } catch (IOException x) {
// printer.printError(x.toString());
// }
// timer = new Timer();
// timer.schedule(new CopyTask(d.directory, d.destination, d.getWaitInterval(), printer,
// d.copy), 0, d.getInterval());
}
} else {
System.out.println("did not find object");
}
obj_in.close();
} catch (ClassNotFoundException x) {
printer.printError(x.getLocalizedMessage());
System.err.format("Unable to read");
} catch (IOException y) {
printer.printError(y.getLocalizedMessage());
}
// Layout the text fields in a panel.
JPanel buttonPane = new JPanel();
buttonPane.setLayout(new BoxLayout(buttonPane, BoxLayout.LINE_AXIS));
buttonPane.add(fireButton);
buttonPane.add(Box.createHorizontalStrut(5));
buttonPane.add(new JSeparator(SwingConstants.VERTICAL));
buttonPane.add(Box.createHorizontalStrut(5));
buttonPane.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
add(buttonPanel, BorderLayout.PAGE_START);
add(listPane, BorderLayout.LINE_START);
// add(destListScrollPane, BorderLayout.CENTER);
add(fieldPane, BorderLayout.LINE_END);
add(labelPane, BorderLayout.CENTER);
add(buttonPane, BorderLayout.PAGE_END);
}
/**
* Initializes the dialog by displaying all labels and sliders, setting title, creating buttons
* and assigning an ActionListener. To arrange the elements of the dialog box, a GridLayout is
* used.
*/
private void initWebCrawlingDialog() {
this.setTitle("Meta-Data-Related Web Crawling - Configuration");
// assign text to buttons, set name and assign action listener
btnStartWebCrawl.setMnemonic(KeyEvent.VK_S);
// set "Crawl"-button as default
this.getRootPane().setDefaultButton(btnStartWebCrawl);
btnStartWebCrawl.setText("Start Crawling");
btnStartWebCrawl.addActionListener(this);
btnCancel.setText("Cancel");
btnCancel.setMnemonic(KeyEvent.VK_C);
btnCancel.addActionListener(this);
// set default values for text fields
tfSearchEngineURL.setText("http://www.google.com");
tfAdditionalKeywords.setText("+music+review");
tfPathExternalCrawler.setText("wget");
// create and initialize sliders
sliderNumberOfRetries.setMinorTickSpacing(1);
sliderIntervalBetweenRetries.setMinorTickSpacing(1);
// initialize labels for slider values
currentNumberOfRetries =
new JLabel(Integer.toString(sliderNumberOfRetries.getValue()), JLabel.CENTER);
currentIntervalBetweenRetries =
new JLabel(Integer.toString(sliderIntervalBetweenRetries.getValue()), JLabel.CENTER);
// initialize button group for placement of additional keywords in search string
panelAdditionalKeywordsPlacement.add(rbBeforeSearchString);
panelAdditionalKeywordsPlacement.add(rbAfterSearchString);
bgAdditionalKeywordsPlacement.add(rbBeforeSearchString);
bgAdditionalKeywordsPlacement.add(rbAfterSearchString);
rbBeforeSearchString.setMnemonic(KeyEvent.VK_B);
rbAfterSearchString.setMnemonic(KeyEvent.VK_A);
// assign change listeners
sliderNumberOfRetries.addChangeListener(this);
sliderIntervalBetweenRetries.addChangeListener(this);
// init grid layout
gridLayout.setRows(10);
gridLayout.setVgap(0);
// assign layout
panel.setLayout(gridLayout);
panel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
// add UI-elements
getContentPane().add(panel);
panel.add(new JLabel("URL of Search Engine"));
panel.add(tfSearchEngineURL);
panel.add(new JLabel());
panel.add(new JLabel("Number of Retries"));
panel.add(sliderNumberOfRetries);
panel.add(currentNumberOfRetries);
panel.add(new JLabel("Interval between Retries (sec)"));
panel.add(sliderIntervalBetweenRetries);
panel.add(currentIntervalBetweenRetries);
panel.add(new JLabel("Additional Keywords"));
panel.add(tfAdditionalKeywords);
panel.add(panelAdditionalKeywordsPlacement);
panel.add(new JLabel("Maximum Number of Retrieved Pages per Query"));
panel.add(jsNumberOfPages);
panel.add(new JLabel());
panel.add(new JLabel("Storage Path for Retrieved Pages"));
panel.add(tfPathStoreRetrievedPages);
panel.add(new JLabel());
panel.add(new JLabel("Command for External Crawler"));
panel.add(tfPathExternalCrawler);
panel.add(new JLabel());
panel.add(new JLabel());
panel.add(cbStoreURLList);
panel.add(new JLabel());
panel.add(new JLabel());
panel.add(new JLabel());
panel.add(new JLabel());
panel.add(btnStartWebCrawl);
panel.add(new JLabel());
panel.add(btnCancel);
// set default look and feel
this.setUndecorated(true);
this.getRootPane().setWindowDecorationStyle(JRootPane.FRAME);
this.setResizable(false);
}
InputFrame() {
JPanel pane = new JPanel();
pane.setLayout(null);
pane.setBackground(Color.LIGHT_GRAY);
add(pane);
// JTextField文字欄位元件
lblName = new JLabel("姓名：");
lblName.setBounds(10, 10, 40, 20);
pane.add(lblName);
text0.setBounds(50, 10, 80, 20);
text0.addActionListener(textfield);
pane.add(text0);
// JSpinner數位序列元件
lblAge = new JLabel("年齡：");
lblAge.setBounds(170, 10, 40, 20);
pane.add(lblAge);
JSpinner spin = new JSpinner(new SpinnerNumberModel(20, 1, 100, 1));
spin.setBounds(210, 10, 80, 20);
spin.addChangeListener(spinner);
pane.add(spin);
// JRadioButton選項圓鈕元件
lblSex = new JLabel("性別：");
lblSex.setBounds(10, 40, 40, 20);
pane.add(lblSex);
ButtonGroup group = new ButtonGroup();
JRadioButton rb1 = new JRadioButton("帥哥", false);
rb1.setBounds(50, 40, 60, 20);
JRadioButton rb2 = new JRadioButton("美女", false);
rb2.setBounds(110, 40, 60, 20);
rb1.setOpaque(false);
rb2.setOpaque(false); // 秀出底色
rb1.addActionListener(radio);
rb2.addActionListener(radio);
group.add(rb1);
group.add(rb2);
pane.add(rb1);
pane.add(rb2);
// JCheckBox核對方塊元件
lblInter = new JLabel("興趣：");
lblInter.setBounds(10, 70, 50, 20);
pane.add(lblInter);
for (int i = 0; i < check.length; i++) {
check[i] = new JCheckBox(checkItem[i]);
check[i].setBounds(50 + 60 * i, 70, 60, 20);
check[i].setOpaque(false);
check[i].addActionListener(checkbox);
pane.add(check[i]);
}
// JComboBox下拉式清單元件
lblAcad = new JLabel("學歷：");
lblAcad.setBounds(10, 100, 50, 20);
pane.add(lblAcad);
String[] items_c = {"博士", "碩士", "大學", "高中", "國中", "國小"};
JComboBox c_box = new JComboBox(items_c);
c_box.setBounds(50, 100, 100, 20);
c_box.addItemListener(cbo);
pane.add(c_box);
// JList清單元件
lblPlace = new JLabel("居住地區：");
lblPlace.setBounds(170, 100, 70, 20);
pane.add(lblPlace);
String[] items_p = {
"台北", "桃園", "新竹", "苗栗", "台中", "彰化", "雲林", "嘉義", "台南", "高雄", "屏東", "花蓮", "台東", "澎湖"
};
JList list = new JList(items_p);
list.setVisibleRowCount(4);
list.addListSelectionListener(list_p);
JScrollPane scroll = new JScrollPane(list);
scroll.setBounds(240, 100, 80, 80);
pane.add(scroll);
// JTextArea文字區域元件
texta.setBounds(10, 190, 330, 40);
texta.setEditable(false);
pane.add(texta);
setTitle("輸入元件綜合應用");
setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
setBounds(50, 50, 360, 280);
setVisible(true);
}
public Component getCustomOptionComponent() {
/* DEPTH */
final JSpinner jspnMaxDepth = new JSpinner(new SpinnerNumberModel(s_maxDepth + 1, 1, 100, 1));
jspnMaxDepth.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
Integer value = (Integer) ((JSpinner) e.getSource()).getValue();
s_maxDepth = value - 1;
logger.debug("maxDepth " + (s_maxDepth + 1));
}
});
final JRadioButton jrbMaxDepth = new JRadioButton("Depth");
final JLabel lblMaxDepth = new JLabel("Depth: ");
final JPanel jpMaxDepthSub =
new JPanel() {
@Override
public void setEnabled(boolean b) {
super.setEnabled(b);
jspnMaxDepth.setEnabled(b);
lblMaxDepth.setEnabled(b);
}
};
jpMaxDepthSub.setBorder(BorderFactory.createEmptyBorder(0, 15, 0, 0));
jpMaxDepthSub.add(lblMaxDepth);
jpMaxDepthSub.add(jspnMaxDepth);
///
final JPanel jpMaxDepth =
new JPanel() {
@Override
public void setEnabled(boolean b) {
super.setEnabled(b);
jrbMaxDepth.setEnabled(b);
jpMaxDepthSub.setEnabled(b);
}
};
jpMaxDepth.setLayout(new BoxLayout(jpMaxDepth, BoxLayout.Y_AXIS));
jpMaxDepth.add(GuiUtil.addComponentAsFlow(jrbMaxDepth, FlowLayout.LEFT));
jpMaxDepth.add(GuiUtil.addComponentAsFlow(jpMaxDepthSub, FlowLayout.RIGHT));
/* REPETITION */
final JSpinner jspnMaxRept = new JSpinner(new SpinnerNumberModel(s_maxRept, 1, 100, 1));
jspnMaxRept.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
s_maxRept = (Integer) ((JSpinner) e.getSource()).getValue();
logger.debug("maxRept " + s_maxRept);
}
});
final JRadioButton jrbMaxRept = new JRadioButton("Repetition");
final JLabel lblMaxRept = new JLabel("Count: ");
final JPanel jpMaxReptSub =
new JPanel() {
@Override
public void setEnabled(boolean b) {
super.setEnabled(b);
jspnMaxRept.setEnabled(b);
lblMaxRept.setEnabled(b);
}
};
jpMaxReptSub.setBorder(BorderFactory.createEmptyBorder(0, 15, 0, 0));
jpMaxReptSub.add(lblMaxRept);
jpMaxReptSub.add(jspnMaxRept);
final JPanel jpMaxRept =
new JPanel() {
@Override
public void setEnabled(boolean b) {
super.setEnabled(b);
jrbMaxRept.setEnabled(b);
jpMaxReptSub.setEnabled(b);
}
};
jpMaxRept.setLayout(new BoxLayout(jpMaxRept, BoxLayout.Y_AXIS));
jpMaxRept.add(GuiUtil.addComponentAsFlow(jrbMaxRept, FlowLayout.LEFT));
jpMaxRept.add(GuiUtil.addComponentAsFlow(jpMaxReptSub, FlowLayout.RIGHT));
///////////////////////////////////////
final JLabel lbl = new JLabel("Limit search by:", SwingConstants.LEFT);
final JPanel panel =
new JPanel() {
@Override
public void setEnabled(boolean b) {
super.setEnabled(b);
lbl.setEnabled(b);
jpMaxDepth.setEnabled(b);
jpMaxRept.setEnabled(b);
}
@Override
public void setVisible(boolean b) {
super.setVisible(b);
final JPanel p = this;
// SwingUtilities.invokeLater( new Runnable() {
// public void run() {
Window win = SwingUtilities.getWindowAncestor(p);
System.err.println(win);
if (win != null) {
System.err.println("packing");
win.pack();
}
// }
// } );
}
};
panel.setLayout(new BoxLayout(panel, BoxLayout.Y_AXIS));
panel.setBorder(BorderFactory.createEmptyBorder(0, 15, 0, 0));
panel.add(GuiUtil.addComponentAsFlow(lbl, FlowLayout.LEFT));
panel.add(jpMaxDepth);
panel.add(jpMaxRept);
ButtonGroup bg = new ButtonGroup();
bg.add(jrbMaxDepth);
bg.add(jrbMaxRept);
/* CHECKBOX */
final JCheckBox chboxRepeat =
new JCheckBox("Allow subtask recursive repetition", s_isSubtaskRepetitionAllowed);
chboxRepeat.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
if (s_isSubtaskRepetitionAllowed == chboxRepeat.isSelected()) return;
s_isSubtaskRepetitionAllowed = chboxRepeat.isSelected();
panel.setVisible(s_isSubtaskRepetitionAllowed);
logger.debug("m_isSubtaskRepetitionAllowed " + s_isSubtaskRepetitionAllowed);
}
});
panel.setVisible(s_isSubtaskRepetitionAllowed);
final JCheckBox chboxIncremental = new JCheckBox("Incremental", s_isIncremental);
chboxIncremental.setToolTipText("Incremental depth-first search");
chboxIncremental.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
if (s_isIncremental == chboxIncremental.isSelected()) return;
s_isIncremental = chboxIncremental.isSelected();
logger.debug("isIncremental " + s_isIncremental);
}
});
final JCheckBox chboxOptimize =
new JCheckBox("Disable optimization in subtasks", s_disableOptimizationInSubtasks);
chboxOptimize.setToolTipText("Use for debugging purposes");
chboxOptimize.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
if (s_disableOptimizationInSubtasks == chboxOptimize.isSelected()) return;
s_disableOptimizationInSubtasks = chboxOptimize.isSelected();
logger.debug("disableOptimizationInSubtasks " + s_disableOptimizationInSubtasks);
}
});
JPanel container1 = new JPanel();
container1.setLayout(new BoxLayout(container1, BoxLayout.Y_AXIS));
container1.setBorder(BorderFactory.createTitledBorder("Planning settings"));
container1.add(GuiUtil.addComponentAsFlow(chboxOptimize, FlowLayout.LEFT));
container1.add(GuiUtil.addComponentAsFlow(chboxIncremental, FlowLayout.LEFT));
container1.add(GuiUtil.addComponentAsFlow(chboxRepeat, FlowLayout.LEFT));
container1.add(GuiUtil.addComponentAsFlow(panel, FlowLayout.LEFT));
JPanel container2 = new JPanel(new GridLayout(2, 0));
container2.setBorder(BorderFactory.createTitledBorder("Logging options"));
final JCheckBox linear = new JCheckBox("Detailed linear planning", isLinearLoggingOn());
linear.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
setLinearLoggingOn(linear.isSelected());
}
});
container2.add(linear);
final JCheckBox subtask = new JCheckBox("Detailed subtask planning", isSubtaskLoggingOn());
subtask.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
setSubtaskLoggingOn(subtask.isSelected());
}
});
container2.add(subtask);
JPanel main = new JPanel();
main.setLayout(new BoxLayout(main, BoxLayout.Y_AXIS));
main.add(container1);
main.add(container2);
return main;
}
/**
* Set up the calendar panel with the basic layout and components. These are not date specific.
*/
private void createCalendarComponents() {
// The date panel will hold the calendar and/or the time spinner
JPanel datePanel = new JPanel(new BorderLayout(2, 2));
// Create the calendar if we are displaying a calendar
if ((selectedComponents & DISPLAY_DATE) > 0) {
formatMonth = new SimpleDateFormat("MMM", locale);
formatWeekDay = new SimpleDateFormat("EEE", locale);
// Set up the shared keyboard bindings
setInputMap(WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, inputMap);
setActionMap(actionMap);
// Set up the decrement buttons
yearDecrButton =
new JButton(
new ButtonAction(
"YearDecrButton",
"YearDecrButtonMnemonic",
"YearDecrButtonAccelerator",
"YearDecrButtonImage",
"YearDecrButtonShort",
"YearDecrButtonLong",
YEAR_DECR_BUTTON));
monthDecrButton =
new JButton(
new ButtonAction(
"MonthDecrButton",
"MonthDecrButtonMnemonic",
"MonthDecrButtonAccelerator",
"MonthDecrButtonImage",
"MonthDecrButtonShort",
"MonthDecrButtonLong",
MONTH_DECR_BUTTON));
JPanel decrPanel = new JPanel(new FlowLayout(FlowLayout.LEFT, 2, 0));
decrPanel.add(yearDecrButton);
decrPanel.add(monthDecrButton);
// Set up the month/year label
monthYearLabel = new JLabel();
monthYearLabel.setHorizontalAlignment(JLabel.CENTER);
// Set up the increment buttons
monthIncrButton =
new JButton(
new ButtonAction(
"MonthIncrButton",
"MonthIncrButtonMnemonic",
"MonthIncrButtonAccelerator",
"MonthIncrButtonImage",
"MonthIncrButtonShort",
"MonthIncrButtonLong",
MONTH_INCR_BUTTON));
yearIncrButton =
new JButton(
new ButtonAction(
"YearIncrButton",
"YearIncrButtonMnemonic",
"YearIncrButtonAccelerator",
"YearIncrButtonImage",
"YearIncrButtonShort",
"YearIncrButtonLong",
YEAR_INCR_BUTTON));
JPanel incrPanel = new JPanel(new FlowLayout(FlowLayout.LEFT, 2, 0));
incrPanel.add(monthIncrButton);
incrPanel.add(yearIncrButton);
// Put them all together
JPanel monthYearNavigator = new JPanel(new BorderLayout(2, 2));
monthYearNavigator.add(decrPanel, BorderLayout.WEST);
monthYearNavigator.add(monthYearLabel);
monthYearNavigator.add(incrPanel, BorderLayout.EAST);
// Set up the day panel
JPanel dayPanel = new JPanel(new GridLayout(7, 7));
int firstDay = displayCalendar.getFirstDayOfWeek();
// Get the week day labels. The following technique is used so
// that we can start the calendar on the right day of the week and
// we can get the week day labels properly localized
Calendar temp = Calendar.getInstance(locale);
temp.set(2000, Calendar.MARCH, 15);
while (temp.get(Calendar.DAY_OF_WEEK) != firstDay) {
temp.add(Calendar.DATE, 1);
}
dayOfWeekLabels = new JLabel[7];
for (int i = 0; i < 7; i++) {
Date date = temp.getTime();
String dayOfWeek = formatWeekDay.format(date);
dayOfWeekLabels[i] = new JLabel(dayOfWeek);
dayOfWeekLabels[i].setHorizontalAlignment(JLabel.CENTER);
dayPanel.add(dayOfWeekLabels[i]);
temp.add(Calendar.DATE, 1);
}
// Add all the day buttons
dayButtons = new JToggleButton[6][7];
dayGroup = new ButtonGroup();
DayListener dayListener = new DayListener();
for (int row = 0; row < 6; row++) {
for (int day = 0; day < 7; day++) {
dayButtons[row][day] = new JToggleButton();
dayButtons[row][day].addItemListener(dayListener);
dayPanel.add(dayButtons[row][day]);
dayGroup.add(dayButtons[row][day]);
}
}
// We add this special button to the button group, so we have a
// way of unselecting all the visible buttons
offScreenButton = new JToggleButton("X");
dayGroup.add(offScreenButton);
// Combine the navigators and days
datePanel.add(monthYearNavigator, BorderLayout.NORTH);
datePanel.add(dayPanel);
}
// Create the time spinner field if we are displaying the time
if ((selectedComponents & DISPLAY_TIME) > 0) {
// Create the time component
spinnerDateModel = new SpinnerDateModel();
spinnerDateModel.addChangeListener(new TimeListener());
spinner = new JSpinner(spinnerDateModel);
JSpinner.DateEditor dateEditor = new JSpinner.DateEditor(spinner, timePattern);
dateEditor.getTextField().setEditable(false);
dateEditor.getTextField().setHorizontalAlignment(JTextField.CENTER);
spinner.setEditor(dateEditor);
// Set the input/action maps for the spinner. (Only BACK_SPACE
// seems to work!)
InputMap sim = new InputMap();
sim.put(KeyStroke.getKeyStroke("BACK_SPACE"), "setNullDate");
sim.put(KeyStroke.getKeyStroke("DELETE"), "setNullDate");
sim.setParent(spinner.getInputMap(WHEN_ANCESTOR_OF_FOCUSED_COMPONENT));
ActionMap sam = new ActionMap();
sam.put(
"setNullDate",
new AbstractAction("setNullDate") {
public void actionPerformed(ActionEvent e) {
JCalendar.this.setDate(null);
}
});
sam.setParent(spinner.getActionMap());
spinner.setInputMap(WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, sim);
spinner.setActionMap(sam);
// Create a special panel for the time display
JPanel timePanel = new JPanel(new FlowLayout(FlowLayout.CENTER, 2, 2));
timePanel.add(spinner);
// Now add it to the bottom
datePanel.add(timePanel, BorderLayout.SOUTH);
}
setLayout(new BorderLayout(2, 2));
add(datePanel);
// Add today's date at the bottom of the calendar/time, if needed
if (isTodayDisplayed) {
Object[] args = {new Date()};
String todaysDate = MessageFormat.format(bundle.getString("Today"), args);
todaysLabel = new JLabel(todaysDate);
todaysLabel.setHorizontalAlignment(JLabel.CENTER);
// Add today's date at the very bottom
add(todaysLabel, BorderLayout.SOUTH);
}
}
/**
* Show the saved results on the server.
*
* @param mysettings jemboss settings
* @param frameName title name for frame
*/
public ShowSavedResults(final JembossParams mysettings, final JFrame f) {
this("Saved results list" + (Jemboss.withSoap ? " on server" : ""));
try {
final ResultList reslist = new ResultList(mysettings);
JMenu resFileMenu = new JMenu("File");
resMenu.add(resFileMenu);
final JCheckBoxMenuItem listByProgram = new JCheckBoxMenuItem("List by program");
listByProgram.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
listByProgramName();
}
});
resFileMenu.add(listByProgram);
JCheckBoxMenuItem listByDate = new JCheckBoxMenuItem("List by date", true);
listByDate.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
listByDateRun(reslist, false);
}
});
resFileMenu.add(listByDate);
ButtonGroup group = new ButtonGroup();
group.add(listByProgram);
group.add(listByDate);
JButton refresh = new JButton(rfii);
refresh.setMargin(new Insets(0, 1, 0, 1));
refresh.setToolTipText("Refresh");
resMenu.add(refresh);
refresh.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
try {
setCursor(cbusy);
ResultList newlist = new ResultList(mysettings);
setCursor(cdone);
if (newlist.getStatus().equals("0")) {
reslist.updateRes(newlist.hash());
datasets.removeAllElements();
StringTokenizer tok = new StringTokenizer((String) reslist.get("list"), "\n");
while (tok.hasMoreTokens()) datasets.addElement(convertToPretty(tok.nextToken()));
if (listByProgram.isSelected()) listByProgramName();
else listByDateRun(reslist, false);
} else {
JOptionPane.showMessageDialog(
null, newlist.getStatusMsg(), "Soap Error", JOptionPane.ERROR_MESSAGE);
}
} catch (JembossSoapException eae) {
AuthPopup ap = new AuthPopup(mysettings, f);
ap.setBottomPanel();
ap.setSize(380, 170);
ap.pack();
ap.setVisible(true);
}
}
});
resFileMenu.addSeparator();
JMenuItem resFileMenuExit = new JMenuItem("Close");
resFileMenuExit.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_E, ActionEvent.CTRL_MASK));
resFileMenuExit.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
dispose();
}
});
resFileMenu.add(resFileMenuExit);
setJMenuBar(resMenu);
// this is the list of saved results
listByDateRun(reslist, true);
final JList st = new JList(datasets);
st.setCellRenderer(new TabListCellRenderer());
st.addListSelectionListener(
new ListSelectionListener() {
public void valueChanged(ListSelectionEvent e) {
if (e.getValueIsAdjusting()) return;
JList theList = (JList) e.getSource();
if (theList.isSelectionEmpty()) {
System.out.println("Empty selection");
} else {
int index = theList.getSelectedIndex();
String thisdata = convertToOriginal(datasets.elementAt(index));
aboutRes.setText((String) reslist.get(thisdata));
aboutRes.setCaretPosition(0);
}
}
});
st.addMouseListener(
new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (e.getClickCount() == 2) {
try {
setCursor(cbusy);
String project = convertToOriginal(st.getSelectedValue());
ResultList thisres = new ResultList(mysettings, project, "show_saved_results");
new ShowResultSet(thisres.hash(), project, mysettings);
setCursor(cdone);
} catch (JembossSoapException eae) {
AuthPopup ap = new AuthPopup(mysettings, f);
ap.setBottomPanel();
ap.setSize(380, 170);
ap.pack();
ap.setVisible(true);
}
}
}
});
sp.add(st);
// display retrieves all files and shows them in a window
JPanel resButtonPanel = new JPanel();
JButton showResButton = new JButton("Display");
showResButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
String sel = convertToOriginal(st.getSelectedValue());
if (sel != null) {
try {
setCursor(cbusy);
ResultList thisres = new ResultList(mysettings, sel, "show_saved_results");
if (thisres.hash().size() == 0)
JOptionPane.showMessageDialog(
sp,
"This application launch '" + sel + "' didn't produce any result files.");
else new ShowResultSet(thisres.hash(), sel, mysettings);
setCursor(cdone);
} catch (JembossSoapException eae) {
AuthPopup ap = new AuthPopup(mysettings, f);
ap.setBottomPanel();
ap.setSize(380, 170);
ap.pack();
ap.setVisible(true);
}
} else {
statusField.setText("Nothing selected to be displayed.");
}
}
});
// add a users note for that project
JButton addNoteButton = new JButton("Edit Notes");
addNoteButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
String sel = convertToOriginal(st.getSelectedValue());
if (sel != null) {
try {
setCursor(cbusy);
ResultList thisres =
new ResultList(mysettings, sel, "Notes", "show_saved_results");
new ShowResultSet(thisres.hash(), sel, mysettings);
setCursor(cdone);
} catch (JembossSoapException eae) {
AuthPopup ap = new AuthPopup(mysettings, f);
ap.setBottomPanel();
ap.setSize(380, 170);
ap.pack();
ap.setVisible(true);
}
} else {
statusField.setText("Selected a project!");
}
}
});
// delete removes the file on the server & edits the list
JButton delResButton = new JButton("Delete");
delResButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
Object sel[] = st.getSelectedValues();
if (sel != null) {
String selList = new String("");
JTextPane delList = new JTextPane();
FontMetrics fm = delList.getFontMetrics(delList.getFont());
int maxWidth = 0;
for (int i = 0; i < sel.length; i++) {
if (i == sel.length - 1) selList = selList.concat((String) sel[i]);
else selList = selList.concat(sel[i] + "\n");
int width = fm.stringWidth((String) sel[i]);
if (width > maxWidth) maxWidth = width;
}
int ok = JOptionPane.OK_OPTION;
if (sel.length > 1) {
JScrollPane scrollDel = new JScrollPane(delList);
delList.setText(selList);
delList.setEditable(false);
delList.setCaretPosition(0);
Dimension d1 = delList.getPreferredSize();
int maxHeight = (int) d1.getHeight() + 5;
if (maxHeight > 350) maxHeight = 350;
else if (maxHeight < 50) maxHeight = 50;
scrollDel.setPreferredSize(new Dimension(maxWidth + 30, maxHeight));
ok =
JOptionPane.showConfirmDialog(
null, scrollDel, "Confirm Deletion", JOptionPane.YES_NO_OPTION);
}
if (ok == JOptionPane.OK_OPTION) {
try // ask the server to delete these results
{
setCursor(cbusy);
selList = convertToOriginal(selList);
new ResultList(mysettings, selList, "delete_saved_results");
setCursor(cdone);
// amend the list
for (int i = 0; i < sel.length; i++) datasets.removeElement(sel[i]);
statusField.setText("Deleted " + sel.length + " result(s)");
aboutRes.setText("");
st.setSelectedIndex(-1);
} catch (JembossSoapException eae) {
AuthPopup ap = new AuthPopup(mysettings, f);
ap.setBottomPanel();
ap.setSize(380, 170);
ap.pack();
ap.setVisible(true);
}
}
} else {
statusField.setText("Nothing selected for deletion.");
}
}
});
resButtonPanel.add(delResButton);
resButtonPanel.add(addNoteButton);
resButtonPanel.add(showResButton);
resButtonStatus.add(resButtonPanel, BorderLayout.CENTER);
resButtonStatus.add(statusField, BorderLayout.SOUTH);
Container c = getContentPane();
c.add(ss, BorderLayout.WEST);
c.add(aboutScroll, BorderLayout.CENTER);
c.add(resButtonStatus, BorderLayout.SOUTH);
pack();
setVisible(true);
} catch (JembossSoapException eae) {
AuthPopup ap = new AuthPopup(mysettings, f);
ap.setBottomPanel();
ap.setSize(380, 170);
ap.pack();
ap.setVisible(true);
}
}
public ContextEditor(Context cntxt) {
super("Edit User Context: " + localFileName(cntxt));
ctxt = cntxt;
windowNum = ctxt.languageName + " Context Editor";
setDefaultCloseOperation(DISPOSE_ON_CLOSE);
listener = new CEListener(this);
JPanel nameBox = new JPanel();
nameBox.setLayout(new BoxLayout(nameBox, BoxLayout.LINE_AXIS));
name = new JTextField(ctxt.languageName, 28);
name.setMaximumSize(new Dimension(225, 22));
name.addFocusListener(
new java.awt.event.FocusAdapter() {
public void focusLost(java.awt.event.FocusEvent evt) {
nameFocusLost(evt);
}
});
JLabel nameLabel = new JLabel("Language Name: ");
nameBox.add(nameLabel);
nameBox.add(name);
JPanel folderBox = new JPanel();
folderBox.setLayout(new BoxLayout(folderBox, BoxLayout.LINE_AXIS));
folder = new JTextField(ctxt.editDirectory);
folder.setMaximumSize(new Dimension(225, 22));
// folder.addActionListener(listener);
// folder.setActionCommand("folder edit");
folder.addFocusListener(
new java.awt.event.FocusAdapter() {
public void focusLost(java.awt.event.FocusEvent evt) {
folderFocusLost(evt);
}
});
JLabel folderLabel = new JLabel("SILK file folder: ");
folderBox.add(folderLabel);
folderBox.add(folder);
JPanel nameFolderBox = new JPanel();
nameFolderBox.setLayout(new BoxLayout(nameFolderBox, BoxLayout.PAGE_AXIS));
nameBox.setAlignmentX(0.5f);
nameFolderBox.add(nameBox);
nameFolderBox.add(Box.createRigidArea(new Dimension(0, 4)));
nameFolderBox.add(folderBox);
nameFolderBox.setAlignmentX(0.5f);
buildPopulationBox();
JPanel btnBoxUDPs = new JPanel(), subBoxUDP = new JPanel();
btnBoxUDPs.setLayout(new BoxLayout(btnBoxUDPs, BoxLayout.PAGE_AXIS));
subBoxUDP.setLayout(new BoxLayout(subBoxUDP, BoxLayout.LINE_AXIS));
int numUDPs = 0;
if (ctxt.userDefinedProperties != null) {
numUDPs = ctxt.userDefinedProperties.size();
}
String plur = "ies";
if (numUDPs == 1) {
plur = "y";
}
JLabel udpLabel = new JLabel("Has " + numUDPs + " User-Defined Propert" + plur);
subBoxUDP.add(udpLabel);
JButton addUDP = new JButton("Add UDP");
addUDP.setActionCommand("add UDP");
addUDP.addActionListener(listener);
subBoxUDP.add(addUDP);
btnBoxUDPs.add(subBoxUDP);
if (numUDPs > 0) {
Dimension sizer = new Dimension(250, 50);
String[] udpMenu = genUDPMenu();
UDPick = new JComboBox(udpMenu);
UDPick.addActionListener(listener);
UDPick.setActionCommand("view/edit UDP");
UDPick.setMinimumSize(sizer);
UDPick.setMaximumSize(sizer);
UDPick.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "View/Edit UDPs"));
btnBoxUDPs.add(UDPick);
} // end of if-any-UDPs-exist
JPanel domThs = new JPanel();
domThs.setLayout(new BoxLayout(domThs, BoxLayout.PAGE_AXIS));
domThs.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "Kinship System Domain Theories"));
domThs.setAlignmentX(0.5f);
JPanel dtRefBtnBox = new JPanel();
dtRefBtnBox.setLayout(new BoxLayout(dtRefBtnBox, BoxLayout.LINE_AXIS));
dtRefBtnBox.setAlignmentX(0.0f);
JLabel dtRefLabel = new JLabel("Terms of Reference ");
dtRefBtnBox.add(dtRefLabel);
if (ctxt.domTheoryRefExists()) {
JButton dtRefEdit = new JButton("Edit Theory");
dtRefEdit.setActionCommand("edit dtRef");
dtRefEdit.addActionListener(listener);
dtRefBtnBox.add(dtRefEdit);
// JButton dtRefDelete = new JButton("Delete Theory");
// dtRefDelete.setActionCommand("dtRef delete");
// dtRefDelete.addActionListener(listener);
// dtRefBtnBox.add(dtRefDelete);
} // end of if-dt-exists
else { // if does not exist
JLabel dtRefNone = new JLabel("< None >");
dtRefBtnBox.add(dtRefNone);
// JButton dtRefAdd = new JButton("Add Theory");
// dtRefAdd.setActionCommand("dtRef add");
// dtRefAdd.addActionListener(listener);
// dtRefBtnBox.add(dtRefAdd);
} // end of does-not-exist
domThs.add(dtRefBtnBox);
JPanel dtAddrBtnBox = new JPanel();
dtAddrBtnBox.setLayout(new BoxLayout(dtAddrBtnBox, BoxLayout.LINE_AXIS));
dtAddrBtnBox.setAlignmentX(0.0f);
JLabel dtAddrLabel = new JLabel("Terms of Address ");
dtAddrBtnBox.add(dtAddrLabel);
if (ctxt.domTheoryAdrExists()) {
JButton dtAddrEdit = new JButton("Edit Theory");
dtAddrEdit.setActionCommand("edit dtAddr");
dtAddrEdit.addActionListener(listener);
dtAddrBtnBox.add(dtAddrEdit);
// JButton dtAddrViewList = new JButton("Delete Theory");
// dtAddrViewList.setActionCommand("dtAddr delete");
// dtAddrViewList.addActionListener(listener);
// dtAddrBtnBox.add(dtAddrViewList);
} // end of if-dt-exists
else { // if does not exist
JLabel dtAddrNone = new JLabel("< None >");
dtAddrBtnBox.add(dtAddrNone);
// JButton dtAddrAdd = new JButton("Add Theory");
// dtAddrAdd.setActionCommand("dtAddr add");
// dtAddrAdd.addActionListener(listener);
// dtAddrBtnBox.add(dtAddrAdd);
} // end of does-not-exist
domThs.add(dtAddrBtnBox);
// End of the left hand portion
// Right hand portion follows. it is narrower.
JPanel polyBox = new JPanel();
polyBox.setLayout(new BoxLayout(polyBox, BoxLayout.PAGE_AXIS));
polyBox.setAlignmentX(0.5f);
JLabel polyLabelA = new JLabel("Polygamy");
JLabel polyLabelB = new JLabel("Permitted?");
JRadioButton yesPoly = new JRadioButton("Yes");
yesPoly.setActionCommand("polygamy yes");
yesPoly.addActionListener(listener);
JRadioButton noPoly = new JRadioButton("No");
noPoly.setActionCommand("polygamy no");
noPoly.addActionListener(listener);
if (cntxt.polygamyPermit) {
yesPoly.setSelected(true);
} else {
noPoly.setSelected(true);
}
ButtonGroup polyBtns = new ButtonGroup();
polyBtns.add(yesPoly);
polyBtns.add(noPoly);
polyBox.add(polyLabelA);
polyBox.add(polyLabelB);
polyBox.add(yesPoly);
polyBox.add(noPoly);
JPanel matrixBox = new JPanel();
matrixBox.setLayout(new BoxLayout(matrixBox, BoxLayout.PAGE_AXIS));
matrixBox.setAlignmentX(0.5f);
JLabel matrixLabelA = new JLabel("Kin Term Matrix");
JLabel matrixLabelC = new JLabel(ctxt.indSerNumGen + " rows");
JLabel matrixLabelD = new JLabel(ctxt.ktm.numberOfKinTerms() + " terms");
matrixLabelA.setAlignmentX(0.5f);
matrixLabelC.setAlignmentX(0.5f);
matrixLabelD.setAlignmentX(0.5f);
JButton matrixEditBtn = new JButton("Edit Matrix");
matrixEditBtn.setEnabled(false);
matrixEditBtn.setActionCommand("edit matrix");
matrixEditBtn.addActionListener(listener);
matrixEditBtn.setAlignmentX(0.5f);
matrixBox.add(matrixLabelA);
matrixBox.add(matrixLabelC);
matrixBox.add(matrixLabelD);
matrixBox.add(matrixEditBtn);
JPanel distinctBox = new JPanel();
distinctBox.setLayout(new BoxLayout(distinctBox, BoxLayout.PAGE_AXIS));
distinctBox.setAlignmentX(0.5f);
JLabel distinctLabelA = new JLabel("Distinct Terms");
JLabel distinctLabelB = new JLabel("of Address");
distinctLabelA.setAlignmentX(0.5f);
distinctLabelB.setAlignmentX(0.5f);
JRadioButton yesDistinct = new JRadioButton("Yes");
yesDistinct.setActionCommand("distinct yes");
yesDistinct.addActionListener(listener);
JRadioButton noDistinct = new JRadioButton("No");
noDistinct.setActionCommand("distinct no");
noDistinct.addActionListener(listener);
yesDistinct.setAlignmentX(0.5f);
noDistinct.setAlignmentX(0.5f);
if (ctxt.distinctAdrTerms) {
yesDistinct.setSelected(true);
} else {
noDistinct.setSelected(true);
}
ButtonGroup distinctBtns = new ButtonGroup();
distinctBtns.add(yesDistinct);
distinctBtns.add(noDistinct);
distinctBox.add(distinctLabelA);
distinctBox.add(distinctLabelB);
distinctBox.add(yesDistinct);
distinctBox.add(noDistinct);
/*
* NOTE: It should be possible to put all these elements directly into
* the ContentPane. But that doesn't work; the layout is truly ugly and
* stuff gets stacked on top of other stuff. What works is to put
* everything into a JPanel with BoxLayout. Then put the JPanel into
* ContentPane.
*/
JPanel leftCol = new JPanel();
leftCol.setLayout(new BoxLayout(leftCol, BoxLayout.PAGE_AXIS));
leftCol.add(nameFolderBox);
leftCol.add(Box.createRigidArea(new Dimension(0, 4)));
leftCol.add(populationBox);
leftCol.add(Box.createRigidArea(new Dimension(0, 8)));
leftCol.add(btnBoxUDPs);
leftCol.add(Box.createRigidArea(new Dimension(0, 8)));
leftCol.add(domThs);
leftCol.add(new JLabel(" "));
JPanel rightCol = new JPanel();
rightCol.setLayout(new BoxLayout(rightCol, BoxLayout.PAGE_AXIS));
rightCol.setBorder(
BorderFactory.createTitledBorder(BorderFactory.createLineBorder(Color.blue), "Options"));
rightCol.add(Box.createRigidArea(new Dimension(0, 20)));
rightCol.add(polyBox);
rightCol.add(Box.createRigidArea(new Dimension(0, 20)));
rightCol.add(matrixBox);
int high = (numUDPs > 0 ? 120 : 20);
rightCol.add(Box.createRigidArea(new Dimension(0, high)));
rightCol.add(distinctBox);
JPanel commentBox = new JPanel();
commentBox.setLayout(new BoxLayout(commentBox, BoxLayout.PAGE_AXIS));
commentBox.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "Notes on this culture:"));
JScrollPane commentsPane = new JScrollPane();
comments = new JTextArea();
comments.setColumns(20);
comments.setEditable(true);
comments.setRows(3);
comments.setText(PersonPanel.restoreLineBreaks(ctxt.comments));
comments.getDocument().addDocumentListener(new CommentListener());
commentsPane.setViewportView(comments);
commentBox.add(commentsPane);
JPanel guts = new JPanel(); // Holds the guts of this window
guts.setLayout(new BoxLayout(guts, BoxLayout.LINE_AXIS));
guts.add(leftCol);
guts.add(Box.createRigidArea(new Dimension(10, 4)));
guts.add(rightCol);
JPanel wholeThing = new JPanel();
wholeThing.setLayout(new BoxLayout(wholeThing, BoxLayout.PAGE_AXIS));
wholeThing.add(Box.createRigidArea(new Dimension(0, 4)));
wholeThing.add(guts);
wholeThing.add(Box.createRigidArea(new Dimension(0, 8)));
wholeThing.add(commentBox);
wholeThing.add(Box.createRigidArea(new Dimension(0, 4)));
getContentPane().add(wholeThing);
addInternalFrameListener(this);
setSize(600, 620);
setVisible(true);
} // end of ContextEditor constructor
public MainCitiesCriteriaPanel() {
super(new BorderLayout());
CountryController countryc = Application.getCountryController();
CitiesController citiesc = Application.getCitiesController();
countryName = Application.getCountryName();
label = new JLabel();
labelPanel = new JPanel();
labelPanel.add(label);
label.setText("Criteria to select main cities for " + countryName.replaceAll("_", " "));
listModel = new DefaultListModel();
Iterator<HashMap<String, String>> iter = citiesc.getToponymTypesIterator();
while (iter.hasNext()) {
String topTypeName = iter.next().get("code");
listModel.addElement(topTypeName);
}
list = new JList(listModel);
list.addListSelectionListener(this);
listPanel = new JScrollPane(list);
NumberFormat nCitiesFormat = NumberFormat.getInstance();
nCitiesFormat.setMaximumFractionDigits(0);
nCitiesFormat.setMaximumIntegerDigits(4);
NumberFormat distFormat = NumberFormat.getInstance();
distFormat.setMaximumFractionDigits(0);
distFormat.setMaximumIntegerDigits(3);
nCitiesField = new JFormattedTextField(nCitiesFormat);
distField = new JFormattedTextField(distFormat);
nCitiesField.setMaximumSize(new Dimension(50, 1));
distField.setMaximumSize(new Dimension(50, 1));
rb1 = new JRadioButton("Filter by type", true);
rb2 = new JRadioButton("Filter by number", false);
rb3 = new JRadioButton("Filter by distance to the borders (km)", false);
ButtonGroup bgroup = new ButtonGroup();
bgroup.add(rb1);
bgroup.add(rb2);
bgroup.add(rb3);
JPanel radioPanel = new JPanel();
radioPanel.setLayout(new BoxLayout(radioPanel, BoxLayout.Y_AXIS));
radioPanel.add(rb1);
radioPanel.add(listPanel);
radioPanel.add(rb2);
radioPanel.add(nCitiesField);
radioPanel.add(rb3);
radioPanel.add(distField);
submit = new JButton();
back = new JButton();
submit.setText("OK");
back.setText("GO BACK");
submit.addActionListener(this);
back.addActionListener(this);
buttonPanel = new JPanel();
buttonPanel.add(back);
buttonPanel.add(submit);
add(labelPanel, BorderLayout.NORTH);
add(radioPanel, BorderLayout.CENTER);
add(buttonPanel, BorderLayout.SOUTH);
}
