/** Machine-generated. */
private javax.swing.JButton getPass1Button() {
if (ivjPass1Button == null) {
try {
ivjPass1Button = new javax.swing.JButton();
ivjPass1Button.setName("Pass1Button");
ivjPass1Button.setText("Pass1: Verify binary layout of .class file");
ivjPass1Button.setBackground(java.awt.SystemColor.controlHighlight);
ivjPass1Button.setBounds(100, 40, 300, 30);
ivjPass1Button.setActionCommand("Button1");
// user code begin {1}
// user code end
} catch (java.lang.Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass1Button;
}
/** Machine-generated. */
private javax.swing.JButton getPass3Button() {
if (ivjPass3Button == null) {
try {
ivjPass3Button = new javax.swing.JButton();
ivjPass3Button.setName("Pass3Button");
ivjPass3Button.setText("Passes 3a+3b: Verify code arrays");
ivjPass3Button.setBackground(java.awt.SystemColor.controlHighlight);
ivjPass3Button.setBounds(100, 160, 300, 30);
ivjPass3Button.setActionCommand("Button2");
// user code begin {1}
// user code end
} catch (java.lang.Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass3Button;
}
/** Machine-generated. */
private javax.swing.JButton getFlushButton() {
if (ivjFlushButton == null) {
try {
ivjFlushButton = new javax.swing.JButton();
ivjFlushButton.setName("FlushButton");
ivjFlushButton.setText("Flush: Forget old verification results");
ivjFlushButton.setBackground(java.awt.SystemColor.controlHighlight);
ivjFlushButton.setBounds(60, 215, 300, 30);
ivjFlushButton.setForeground(java.awt.Color.red);
ivjFlushButton.setActionCommand("FlushButton");
// user code begin {1}
// user code end
} catch (java.lang.Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjFlushButton;
}