private void calcStats() {
// Graph resultGraph = getAlgorithmRunner().getResultGraph();
IGesRunner runner = (IGesRunner) getAlgorithmRunner();
if (runner.getTopGraphs().isEmpty()) {
throw new IllegalArgumentException(
"No patterns were recorded. Please adjust the number of " + "patterns to store.");
}
Graph resultGraph = runner.getTopGraphs().get(runner.getIndex()).getGraph();
if (getAlgorithmRunner().getDataModel() instanceof DataSet) {
// resultGraph may be the output of a PC search.
// Such graphs sometimes contain doubly directed edges.
// /We converte such edges to directed edges here.
// For the time being an orientation is arbitrarily selected.
Set<Edge> allEdges = resultGraph.getEdges();
for (Edge edge : allEdges) {
if (edge.getEndpoint1() == Endpoint.ARROW && edge.getEndpoint2() == Endpoint.ARROW) {
// Option 1 orient it from node1 to node2
resultGraph.setEndpoint(edge.getNode1(), edge.getNode2(), Endpoint.ARROW);
// Option 2 remove such edges:
resultGraph.removeEdge(edge);
}
}
Pattern pattern = new Pattern(resultGraph);
PatternToDag ptd = new PatternToDag(pattern);
Graph dag = ptd.patternToDagMeekRules();
DataSet dataSet = (DataSet) getAlgorithmRunner().getDataModel();
String report;
if (dataSet.isContinuous()) {
report = reportIfContinuous(dag, dataSet);
} else if (dataSet.isDiscrete()) {
report = reportIfDiscrete(dag, dataSet);
} else {
throw new IllegalArgumentException("");
}
JScrollPane dagWorkbenchScroll = dagWorkbenchScroll(dag);
modelStatsText.setLineWrap(true);
modelStatsText.setWrapStyleWord(true);
modelStatsText.setText(report);
removeStatsTabs();
tabbedPane.addTab("DAG in pattern", dagWorkbenchScroll);
tabbedPane.addTab("DAG Model Statistics", modelStatsText);
}
}
/*
* Creates the JTextArea for the GUI with the ScrollPane.
*/
private JScrollPane responseArea() {
responseArea = new JTextArea();
responseArea.setSize(10, 10);
responseArea.setLineWrap(true);
responseArea.setWrapStyleWord(true);
scrollPane =
new JScrollPane(
responseArea,
ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS,
ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
return scrollPane;
}
void addTextArea(JPanel panel, String key, String label) {
JLabel lab = new JLabel(label);
lab.setAlignmentX(LEFT_ALIGNMENT);
panel.add(lab);
JTextArea field = new JTextArea();
field.setText(sketch.configFile.get(key));
field.setLineWrap(true);
field.setWrapStyleWord(true);
fields.put(key, field);
JScrollPane scroll = new JScrollPane(field);
scroll.setAlignmentX(0.0f);
panel.add(scroll);
}
public void run() {
WindowBlocker blocker = new WindowBlocker(NearInfinity.getInstance());
blocker.setBlocked(true);
List<ResourceEntry> files = new ArrayList<ResourceEntry>();
for (final String fileType : FILETYPES)
files.addAll(ResourceFactory.getInstance().getResources(fileType));
ProgressMonitor progress =
new ProgressMonitor(NearInfinity.getInstance(), "Searching...", null, 0, files.size());
table =
new SortableTable(
new String[] {"String", "StrRef"},
new Class[] {Object.class, Integer.class},
new int[] {450, 20});
StringResource.getStringRef(0);
strUsed = new boolean[StringResource.getMaxIndex() + 1];
for (int i = 0; i < files.size(); i++) {
ResourceEntry entry = files.get(i);
Resource resource = ResourceFactory.getResource(entry);
if (resource instanceof DlgResource) checkDialog((DlgResource) resource);
else if (resource instanceof BcsResource) checkScript((BcsResource) resource);
else if (resource instanceof PlainTextResource) checkTextfile((PlainTextResource) resource);
else if (resource != null) checkStruct((AbstractStruct) resource);
progress.setProgress(i + 1);
if (progress.isCanceled()) {
JOptionPane.showMessageDialog(
NearInfinity.getInstance(),
"Operation canceled",
"Info",
JOptionPane.INFORMATION_MESSAGE);
blocker.setBlocked(false);
return;
}
}
for (int i = 0; i < strUsed.length; i++)
if (!strUsed[i]) table.addTableItem(new UnusedStringTableItem(new Integer(i)));
if (table.getRowCount() == 0)
JOptionPane.showMessageDialog(
NearInfinity.getInstance(),
"No unused strings found",
"Info",
JOptionPane.INFORMATION_MESSAGE);
else {
table.tableComplete(1);
textArea = new JTextArea(10, 40);
textArea.setEditable(false);
textArea.setWrapStyleWord(true);
textArea.setLineWrap(true);
JScrollPane scrollText = new JScrollPane(textArea);
resultFrame = new ChildFrame("Result", true);
save = new JMenuItem("Save");
save.addActionListener(this);
JMenu fileMenu = new JMenu("File");
fileMenu.add(save);
JMenuBar menuBar = new JMenuBar();
menuBar.add(fileMenu);
resultFrame.setJMenuBar(menuBar);
resultFrame.setIconImage(Icons.getIcon("Find16.gif").getImage());
JLabel count = new JLabel(table.getRowCount() + " unused string(s) found", JLabel.CENTER);
count.setFont(count.getFont().deriveFont((float) count.getFont().getSize() + 2.0f));
JScrollPane scrollTable = new JScrollPane(table);
scrollTable.getViewport().setBackground(table.getBackground());
JPanel pane = (JPanel) resultFrame.getContentPane();
pane.setLayout(new BorderLayout(0, 3));
pane.add(count, BorderLayout.NORTH);
pane.add(scrollTable, BorderLayout.CENTER);
JPanel bottomPanel = new JPanel(new BorderLayout());
JPanel searchPanel = SearchMaster.createAsPanel(this, resultFrame);
bottomPanel.add(scrollText, BorderLayout.CENTER);
bottomPanel.add(searchPanel, BorderLayout.EAST);
pane.add(bottomPanel, BorderLayout.SOUTH);
table.setFont(BrowserMenuBar.getInstance().getScriptFont());
pane.setBorder(BorderFactory.createEmptyBorder(3, 3, 3, 3));
table.getSelectionModel().addListSelectionListener(this);
resultFrame.pack();
Center.center(resultFrame, NearInfinity.getInstance().getBounds());
resultFrame.setVisible(true);
}
blocker.setBlocked(false);
}
public SwingUpdaterUI(String oldBuildDesc, String newBuildDesc, InstallOperation operation) {
myOperation = operation;
myProcessTitle = new JLabel(" ");
myProcessProgress = new JProgressBar(0, 100);
myProcessStatus = new JLabel(" ");
myCancelButton = new JButton(CANCEL_BUTTON_TITLE);
myConsole = new JTextArea();
myConsole.setLineWrap(true);
myConsole.setWrapStyleWord(true);
myConsole.setCaretPosition(myConsole.getText().length());
myConsole.setTabSize(1);
myConsolePane = new JPanel(new BorderLayout());
myConsolePane.add(new JScrollPane(myConsole));
myConsolePane.setBorder(BUTTONS_BORDER);
myConsolePane.setVisible(false);
myCancelButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
doCancel();
}
});
myFrame = new JFrame();
myFrame.setTitle(TITLE);
myFrame.setLayout(new BorderLayout());
myFrame.getRootPane().setBorder(FRAME_BORDER);
myFrame.setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE);
myFrame.addWindowListener(
new WindowAdapter() {
@Override
public void windowClosing(WindowEvent e) {
doCancel();
}
});
JPanel processPanel = new JPanel();
processPanel.setLayout(new BoxLayout(processPanel, BoxLayout.Y_AXIS));
processPanel.add(myProcessTitle);
processPanel.add(myProcessProgress);
processPanel.add(myProcessStatus);
processPanel.add(myConsolePane);
for (Component each : processPanel.getComponents()) {
((JComponent) each).setAlignmentX(Component.LEFT_ALIGNMENT);
}
JPanel buttonsPanel = new JPanel();
buttonsPanel.setBorder(BUTTONS_BORDER);
buttonsPanel.setLayout(new BoxLayout(buttonsPanel, BoxLayout.X_AXIS));
buttonsPanel.add(Box.createHorizontalGlue());
buttonsPanel.add(myCancelButton);
myProcessTitle.setText("<html>Updating " + oldBuildDesc + " to " + newBuildDesc + "...");
myFrame.add(processPanel, BorderLayout.CENTER);
myFrame.add(buttonsPanel, BorderLayout.SOUTH);
myFrame.setMinimumSize(new Dimension(500, 50));
myFrame.pack();
myFrame.setLocationRelativeTo(null);
myFrame.setVisible(true);
myQueue.add(
new UpdateRequest() {
@Override
public void perform() {
doPerform();
}
});
startRequestDispatching();
}
/** Creates the GUI. */
public void majorLayout() {
//
// Setup Menu
//
JMenuBar menuBar = new JMenuBar();
JMenu file = new JMenu(ResourceHandler.getMessage("menu.file"));
file.setMnemonic(ResourceHandler.getAcceleratorKey("menu.file"));
file.add(exitMenuItem = new JMenuItem(ResourceHandler.getMessage("menu.exit")));
exitMenuItem.setMnemonic(ResourceHandler.getAcceleratorKey("menu.exit"));
exitMenuItem.addActionListener(this);
menuBar.add(file);
JMenu edit = new JMenu(ResourceHandler.getMessage("menu.edit"));
edit.setMnemonic(ResourceHandler.getAcceleratorKey("menu.edit"));
edit.add(optionMenuItem = new JMenuItem(ResourceHandler.getMessage("menu.option")));
optionMenuItem.setMnemonic(ResourceHandler.getAcceleratorKey("menu.option"));
optionMenuItem.addActionListener(this);
menuBar.add(edit);
JMenu help = new JMenu(ResourceHandler.getMessage("menu.help"));
help.setMnemonic(ResourceHandler.getAcceleratorKey("menu.help"));
help.add(helpMenuItem = new JMenuItem(ResourceHandler.getMessage("menu.help")));
helpMenuItem.setMnemonic(ResourceHandler.getAcceleratorKey("menu.help"));
help.add(new JSeparator());
help.add(aboutMenuItem = new JMenuItem(ResourceHandler.getMessage("menu.about")));
aboutMenuItem.setMnemonic(ResourceHandler.getAcceleratorKey("menu.about"));
helpMenuItem.addActionListener(this);
aboutMenuItem.addActionListener(this);
menuBar.add(help);
setJMenuBar(menuBar);
//
// Setup main GUI
//
dirLabel = new JLabel(ResourceHandler.getMessage("converter_gui.lablel0"));
dirTF = new JTextField();
dirBttn = new JButton(ResourceHandler.getMessage("button.browse.dir"));
dirBttn.setMnemonic(ResourceHandler.getAcceleratorKey("button.browse.dir"));
matchingLabel = new JLabel(ResourceHandler.getMessage("converter_gui.lablel1"));
matchingTF = new JTextField(ResourceHandler.getMessage("converter_gui.lablel2"));
recursiveCheckBox = new JCheckBox(ResourceHandler.getMessage("converter_gui.lablel3"));
recursiveCheckBox.setMnemonic(ResourceHandler.getAcceleratorKey("converter_gui.lablel3"));
backupLabel = new JLabel(ResourceHandler.getMessage("converter_gui.lablel5"));
backupTF = new JTextField();
backupBttn = new JButton(ResourceHandler.getMessage("button.browse.backup"));
backupBttn.setMnemonic(ResourceHandler.getAcceleratorKey("button.browse.backup"));
templateLabel = new JLabel(ResourceHandler.getMessage("converter_gui.lablel7"));
templateCh = new TemplateFileChoice();
staticVersioningLabel = new JLabel(ResourceHandler.getMessage("static.versioning.label"));
String version = System.getProperty("java.version");
if (version.indexOf("-") > 0) {
version = version.substring(0, version.indexOf("-"));
}
int dotIndex = version.indexOf(".");
dotIndex = version.indexOf(".", dotIndex + 1);
String familyVersion = version.substring(0, dotIndex);
MessageFormat formatter =
new MessageFormat(ResourceHandler.getMessage("static.versioning.radio.button"));
staticVersioningRadioButton = new JRadioButton(formatter.format(new Object[] {version}));
staticVersioningRadioButton.setMnemonic(
ResourceHandler.getAcceleratorKey("static.versioning.radio.button"));
formatter = new MessageFormat(ResourceHandler.getMessage("dynamic.versioning.radio.button"));
dynamicVersioningRadioButton = new JRadioButton(formatter.format(new Object[] {familyVersion}));
dynamicVersioningRadioButton.setMnemonic(
ResourceHandler.getAcceleratorKey("dynamic.versioning.radio.button"));
staticVersioningTextArea = new JTextArea(ResourceHandler.getMessage("static.versioning.text"));
formatter = new MessageFormat(ResourceHandler.getMessage("dynamic.versioning.text"));
dynamicVersioningTextArea = new JTextArea(formatter.format(new Object[] {familyVersion}));
ButtonGroup versioningButtonGroup = new ButtonGroup();
versioningButtonGroup.add(staticVersioningRadioButton);
versioningButtonGroup.add(dynamicVersioningRadioButton);
runBttn = new JButton(ResourceHandler.getMessage("button.convert"));
runBttn.setMnemonic(ResourceHandler.getAcceleratorKey("button.convert"));
recursiveCheckBox.setOpaque(false);
staticVersioningRadioButton.setOpaque(false);
dynamicVersioningRadioButton.setOpaque(false);
staticVersioningTextArea.setEditable(false);
staticVersioningTextArea.setLineWrap(true);
staticVersioningTextArea.setWrapStyleWord(true);
dynamicVersioningTextArea.setEditable(false);
dynamicVersioningTextArea.setLineWrap(true);
dynamicVersioningTextArea.setWrapStyleWord(true);
staticVersioningPanel.setLayout(new BorderLayout());
staticVersioningPanel.add(staticVersioningTextArea, "Center");
staticVersioningPanel.setBorder(new LineBorder(Color.black));
dynamicVersioningPanel.setLayout(new BorderLayout());
dynamicVersioningPanel.add(dynamicVersioningTextArea, "Center");
dynamicVersioningPanel.setBorder(new LineBorder(Color.black));
if (converter.isStaticVersioning()) {
staticVersioningRadioButton.setSelected(true);
} else {
dynamicVersioningRadioButton.setSelected(true);
}
addListeners();
final int buf = 10, // Buffer (between components and form)
sp = 10, // Space between components
vsp = 5, // Vertical space
indent = 20; // Indent between form (left edge) and component
GridBagConstraints gbc = new GridBagConstraints();
GridBagLayout gbl = new GridBagLayout();
getContentPane().setLayout(gbl);
//
// Setup top panel
//
GridBagLayout topLayout = new GridBagLayout();
JPanel topPanel = new JPanel();
topPanel.setOpaque(false);
topPanel.setLayout(topLayout);
topLayout.setConstraints(
dirLabel,
new GridBagConstraints(
0,
0,
1,
1,
0,
0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(10, 0, 0, 0),
0,
0));
topLayout.setConstraints(
dirTF,
new GridBagConstraints(
1,
0,
1,
1,
1,
0,
GridBagConstraints.WEST,
GridBagConstraints.HORIZONTAL,
new Insets(vsp, 2, 0, 0),
0,
0));
topLayout.setConstraints(
dirBttn,
new GridBagConstraints(
2,
0,
1,
1,
0,
0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(10, sp, 0, 0),
0,
0));
topLayout.setConstraints(
matchingLabel,
new GridBagConstraints(
0,
1,
1,
1,
0,
0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(10, 0, 0, 0),
0,
0));
topLayout.setConstraints(
matchingTF,
new GridBagConstraints(
1,
1,
1,
1,
1,
0,
GridBagConstraints.WEST,
GridBagConstraints.HORIZONTAL,
new Insets(vsp, 2, 0, 0),
0,
0));
topLayout.setConstraints(
recursiveCheckBox,
new GridBagConstraints(
2,
1,
GridBagConstraints.REMAINDER,
1,
1,
0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(vsp, 10, 0, 0),
0,
0));
topLayout.setConstraints(
backupLabel,
new GridBagConstraints(
0,
3,
1,
1,
0,
0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(10, 0, 0, 0),
0,
0));
topLayout.setConstraints(
backupTF,
new GridBagConstraints(
1,
3,
1,
1,
1,
0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(vsp, 2, 0, 0),
0,
0));
topLayout.setConstraints(
backupBttn,
new GridBagConstraints(
2,
3,
1,
1,
0,
0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(10, sp, 0, 0),
0,
0));
topLayout.setConstraints(
templateLabel,
new GridBagConstraints(
0,
4,
1,
1,
0,
0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(10, 0, 0, 0),
0,
0));
topLayout.setConstraints(
templateCh,
new GridBagConstraints(
1,
4,
1,
1,
0,
0,
GridBagConstraints.WEST,
GridBagConstraints.HORIZONTAL,
new Insets(vsp, 2, 0, 0),
0,
0));
topLayout.setConstraints(
sep1,
new GridBagConstraints(
0,
5,
GridBagConstraints.REMAINDER,
1,
1,
0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(10, 10, 10, 10),
0,
0));
topLayout.setConstraints(
staticVersioningLabel,
new GridBagConstraints(
0,
6,
1,
1,
0,
0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(10, 0, 0, 0),
0,
0));
topLayout.setConstraints(
staticVersioningRadioButton,
new GridBagConstraints(
0,
7,
GridBagConstraints.REMAINDER,
1,
1,
0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(vsp, 10, 0, 0),
0,
0));
topLayout.setConstraints(
staticVersioningPanel,
new GridBagConstraints(
0,
8,
GridBagConstraints.REMAINDER,
1,
0,
0,
GridBagConstraints.WEST,
GridBagConstraints.BOTH,
new Insets(vsp, 25, 10, 0),
0,
0));
topLayout.setConstraints(
dynamicVersioningRadioButton,
new GridBagConstraints(
0,
9,
GridBagConstraints.REMAINDER,
1,
1,
0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(vsp, 10, 0, 0),
0,
0));
topLayout.setConstraints(
dynamicVersioningPanel,
new GridBagConstraints(
0,
10,
GridBagConstraints.REMAINDER,
1,
0,
0,
GridBagConstraints.WEST,
GridBagConstraints.BOTH,
new Insets(vsp, 25, 0, 0),
0,
0));
topLayout.setConstraints(
sep2,
new GridBagConstraints(
0,
11,
GridBagConstraints.REMAINDER,
1,
1,
0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(10, 10, 0, 10),
0,
0));
invisibleBttn = new JButton();
invisibleBttn.setVisible(false);
topLayout.setConstraints(
invisibleBttn,
new GridBagConstraints(
2,
6,
1,
1,
0,
0,
GridBagConstraints.CENTER,
GridBagConstraints.CENTER,
new Insets(indent, sp, 0, 0),
0,
0));
topPanel.add(dirLabel);
topPanel.add(dirTF);
topPanel.add(dirBttn);
topPanel.add(matchingLabel);
topPanel.add(matchingTF);
topPanel.add(recursiveCheckBox);
topPanel.add(backupLabel);
topPanel.add(backupTF);
topPanel.add(backupBttn);
topPanel.add(templateLabel);
topPanel.add(templateCh);
topPanel.add(sep1);
topPanel.add(staticVersioningLabel);
topPanel.add(staticVersioningRadioButton);
topPanel.add(staticVersioningPanel);
topPanel.add(dynamicVersioningRadioButton);
topPanel.add(dynamicVersioningPanel);
topPanel.add(sep2);
topPanel.add(invisibleBttn);
//
// Setup bottom panel
//
GridBagLayout buttomLayout = new GridBagLayout();
JPanel buttomPanel = new JPanel();
buttomPanel.setOpaque(false);
buttomPanel.setLayout(buttomLayout);
buttomLayout.setConstraints(
runBttn,
new GridBagConstraints(
3,
0,
1,
1,
0,
0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(sp, 0, 0, 0),
0,
0));
buttomPanel.add(runBttn);
//
// Setup main panel
//
GridBagLayout mainLayout = new GridBagLayout();
JPanel mainPanel = new JPanel();
mainPanel.setOpaque(false);
mainPanel.setLayout(mainLayout);
mainLayout.setConstraints(
topPanel,
new GridBagConstraints(
0,
0,
1,
1,
1,
0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(buf, buf, 0, buf),
0,
0));
mainLayout.setConstraints(
buttomPanel,
new GridBagConstraints(
0,
1,
1,
1,
1,
1,
GridBagConstraints.SOUTH,
GridBagConstraints.HORIZONTAL,
new Insets(0, buf, buf, buf),
0,
0));
mainPanel.add(topPanel);
mainPanel.add(buttomPanel);
Border border = BorderFactory.createEtchedBorder();
mainPanel.setBorder(border);
GridBagLayout layout = new GridBagLayout();
getContentPane().setLayout(layout);
layout.setConstraints(
mainPanel,
new GridBagConstraints(
0,
0,
1,
1,
1,
1,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(0, 0, 0, 0),
0,
0));
getContentPane().add(mainPanel);
pack();
setResizable(false);
}
public void setup() {
setLayout(new GridBagLayout());
GridBagConstraints gbc = new GridBagConstraints();
title = new JLabel(SHTML + TITLE + elem.title + EHTML);
gbc.fill = GridBagConstraints.NONE;
gbc.anchor = GridBagConstraints.WEST;
gbc.gridy = 4;
gbc.gridx = 0;
gbc.gridwidth = 2;
gbc.gridheight = 1;
gbc.weighty = 1.0;
add(title, gbc);
donor = new JLabel(SHTML + DONOR + elem.donor + EHTML);
gbc.gridy = 5;
add(donor, gbc);
subDate = new JLabel(SHTML + SUB_DATE + elem.subDate.toString() + EHTML);
gbc.gridy = 6;
add(subDate, gbc);
objDate = new JLabel(SHTML + OBJ_DATE + elem.objDate.toString() + EHTML);
gbc.gridy = 7;
add(objDate, gbc);
medium = new JLabel(SHTML + MEDIUM + elem.medium + EHTML);
gbc.gridy = 8;
add(medium, gbc);
accNum = new JLabel(SHTML + ACC_NUM + elem.accNum + EHTML);
gbc.gridy = 9;
add(accNum, gbc);
desc = new JLabel(SHTML + DESC + EHTML);
// gbc.anchor = GridBagConstraints.PAGE_START;
gbc.insets = new Insets(0, 50, 0, 0);
gbc.gridy = 4;
gbc.gridx = 2;
add(desc, gbc);
descView = new JTextArea();
descView.setLineWrap(true);
descView.setWrapStyleWord(true);
descView.setEditable(false);
descView.setText(elem.desc);
descView.setFont(new Font("Times New Roman", Font.PLAIN, 13));
JScrollPane scrollPane = new JScrollPane(descView);
scrollPane.setPreferredSize(new Dimension(225, 100));
// scrollPane.setBorder(null);
scrollPane.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);
descView.setCaretPosition(0);
gbc.gridy = 5;
gbc.gridheight = 4;
gbc.gridx = 2;
add(scrollPane, gbc);
gbc.insets = null;
gbc.gridy = 0;
gbc.gridx = 0;
gbc.gridwidth = 4;
gbc.gridheight = 4;
gbc.fill = GridBagConstraints.HORIZONTAL;
gbc.insets = new Insets(0, 0, 10, 0);
vpan = new V3DPanel(elem, provider);
vpan.setPreferredSize(new Dimension(500, 300));
setBackground(BACKGROUND);
add(vpan, gbc);
validate();
}
/** Construct a new dialog. */
public JExecDetailsDialog() {
super("Execution Details");
/* create dialog body components */
{
JPanel body = new JPanel();
body.setLayout(new BoxLayout(body, BoxLayout.Y_AXIS));
{
JPanel panel = new JPanel();
panel.setName("MainDialogPanel");
panel.setLayout(new BoxLayout(panel, BoxLayout.Y_AXIS));
/* working directory */
{
panel.add(UIFactory.createPanelLabel("Working Directory:"));
panel.add(Box.createRigidArea(new Dimension(0, 4)));
JTextField field = UIFactory.createTextField(null, 100, JLabel.LEFT);
pWorkingDirField = field;
panel.add(field);
}
body.add(panel);
}
{
JPanel panel = new JPanel();
panel.setName("HorizontalBar");
Dimension size = new Dimension(100, 7);
panel.setPreferredSize(size);
panel.setMinimumSize(size);
panel.setMaximumSize(new Dimension(Integer.MAX_VALUE, 7));
body.add(panel);
}
/* command line */
JPanel above = new JPanel();
{
above.setName("MainDialogPanel");
above.setLayout(new BoxLayout(above, BoxLayout.Y_AXIS));
{
Box hbox = new Box(BoxLayout.X_AXIS);
hbox.add(Box.createRigidArea(new Dimension(4, 0)));
{
JLabel label = new JLabel("X");
pCommandLineLabel = label;
label.setName("PanelLabel");
hbox.add(label);
}
hbox.add(Box.createHorizontalGlue());
above.add(hbox);
}
above.add(Box.createRigidArea(new Dimension(0, 4)));
{
JTextArea area = new JTextArea(null, 5, 70);
pCommandLineArea = area;
area.setName("CodeTextArea");
area.setLineWrap(true);
area.setWrapStyleWord(true);
area.setEditable(false);
}
{
JScrollPane scroll =
UIFactory.createScrollPane(
pCommandLineArea,
ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER,
ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED,
new Dimension(100, 27),
null,
null);
above.add(scroll);
}
}
/* environment */
JPanel below = new JPanel();
{
below.setName("MainDialogPanel");
below.setLayout(new BoxLayout(below, BoxLayout.Y_AXIS));
{
Box hbox = new Box(BoxLayout.X_AXIS);
hbox.add(Box.createRigidArea(new Dimension(4, 0)));
{
JLabel label = new JLabel("X");
pEnvLabel = label;
label.setName("PanelLabel");
hbox.add(label);
}
hbox.add(Box.createHorizontalGlue());
below.add(hbox);
}
below.add(Box.createRigidArea(new Dimension(0, 4)));
Component comps[] = UIFactory.createTitledPanels();
{
JPanel tpanel = (JPanel) comps[0];
JPanel vpanel = (JPanel) comps[1];
tpanel.add(Box.createRigidArea(new Dimension(sTSize, 0)));
vpanel.add(Box.createHorizontalGlue());
}
{
pEnvScroll =
UIFactory.createScrollPane(
comps[2],
ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER,
ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED,
new Dimension(100, 50),
new Dimension(100, 300),
null);
below.add(pEnvScroll);
}
}
{
JVertSplitPanel split = new JVertSplitPanel(above, below);
split.setResizeWeight(0.0);
split.setAlignmentX(0.5f);
body.add(split);
}
super.initUI("X", body, null, null, null, "Close", null);
}
}
public WizStepManyTextFields(Wizard w, String instr, Vector strings) {
// store wizard?
_instructions.setText(instr);
_instructions.setWrapStyleWord(true);
_instructions.setEditable(false);
_instructions.setBorder(null);
_instructions.setBackground(_mainPanel.getBackground());
_mainPanel.setBorder(new EtchedBorder());
GridBagLayout gb = new GridBagLayout();
_mainPanel.setLayout(gb);
GridBagConstraints c = new GridBagConstraints();
c.ipadx = 3;
c.ipady = 3;
c.weightx = 0.0;
c.weighty = 0.0;
c.anchor = GridBagConstraints.EAST;
JLabel image = new JLabel("");
// image.setMargin(new Insets(0, 0, 0, 0));
image.setIcon(WIZ_ICON);
image.setBorder(null);
c.gridx = 0;
c.gridheight = GridBagConstraints.REMAINDER;
c.gridy = 0;
c.anchor = GridBagConstraints.NORTH;
gb.setConstraints(image, c);
_mainPanel.add(image);
c.weightx = 0.0;
c.gridx = 2;
c.gridheight = 1;
c.gridwidth = 3;
c.gridy = 0;
c.fill = GridBagConstraints.NONE;
gb.setConstraints(_instructions, c);
_mainPanel.add(_instructions);
c.gridx = 1;
c.gridy = 1;
c.weightx = 0.0;
c.gridwidth = 1;
c.fill = GridBagConstraints.NONE;
SpacerPanel spacer = new SpacerPanel();
gb.setConstraints(spacer, c);
_mainPanel.add(spacer);
c.gridx = 2;
c.weightx = 1.0;
c.anchor = GridBagConstraints.WEST;
c.gridwidth = 1;
int size = strings.size();
for (int i = 0; i < size; i++) {
c.gridy = 2 + i;
String s = (String) strings.elementAt(i);
JTextField tf = new JTextField(s, 50);
tf.setMinimumSize(new Dimension(200, 20));
tf.getDocument().addDocumentListener(this);
_fields.addElement(tf);
gb.setConstraints(tf, c);
_mainPanel.add(tf);
}
c.gridx = 1;
c.gridy = 3 + strings.size();
c.weightx = 0.0;
c.gridwidth = 1;
c.fill = GridBagConstraints.NONE;
SpacerPanel spacer2 = new SpacerPanel();
gb.setConstraints(spacer2, c);
_mainPanel.add(spacer2);
}
public void go() {
// build gui
frame = new JFrame("Quiz Card Buider");
JPanel mainPanel = new JPanel();
Font bigFont = new Font("sanserif", Font.BOLD, 24);
question = new JTextArea(6, 20);
question.setLineWrap(true);
question.setWrapStyleWord(true);
question.setFont(bigFont);
JScrollPane qScroller = new JScrollPane(question);
qScroller.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);
qScroller.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
answer = new JTextArea(6, 20);
answer.setLineWrap(true);
answer.setWrapStyleWord(true);
answer.setFont(bigFont);
JScrollPane aScroller = new JScrollPane(question);
aScroller.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);
aScroller.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
JButton nextButton = new JButton("Next Card");
cardList = new ArrayList<QuizCard>();
JLabel qLabel = new JLabel("Question");
JLabel aLabel = new JLabel("Answer");
mainPanel.add(qLabel);
mainPanel.add(qScroller);
mainPanel.add(aLabel);
mainPanel.add(aScroller);
mainPanel.add(nextButton);
nextButton.addActionListener(new NextCardListener());
JMenuBar menuBar = new JMenuBar();
JMenu fileMenu = new JMenu("File");
JMenuItem newMenuItem = new JMenuItem("New");
JMenuItem saveMenuItem = new JMenuItem("Save");
newMenuItem.addActionListener(new NewMenuListener());
saveMenuItem.addActionListener(new SaveMenuListener());
fileMenu.add(newMenuItem);
fileMenu.add(saveMenuItem);
menuBar.add(fileMenu);
frame.setJMenuBar(menuBar);
frame.getContentPane().add(BorderLayout.CENTER, mainPanel);
frame.setSize(500, 600);
frame.setVisible(true);
// frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
}
