/** Machine-generated. */ private void connEtoC1( final java.awt.event.ActionEvent arg1 ) { try { // user code begin {1} // user code end this.pass1Button_ActionPerformed(arg1); // user code begin {2} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void connEtoC2( final java.awt.event.ActionEvent arg1 ) { try { // user code begin {1} // user code end this.pass2Button_ActionPerformed(arg1); // user code begin {2} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void connEtoC1(java.awt.event.ActionEvent arg1) { try { // user code begin {1} // user code end this.pass1Button_ActionPerformed(arg1); // user code begin {2} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void connEtoC4(java.awt.event.ActionEvent arg1) { try { // user code begin {1} // user code end this.flushButton_ActionPerformed(arg1); // user code begin {2} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void connEtoC3(java.awt.event.ActionEvent arg1) { try { // user code begin {1} // user code end this.pass4Button_ActionPerformed(arg1); // user code begin {2} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void connEtoC3( final java.awt.event.ActionEvent arg1 ) { try { // user code begin {1} // user code end this.pass4Button_ActionPerformed(arg1); // user code begin {2} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void connEtoC4( final java.awt.event.ActionEvent arg1 ) { try { // user code begin {1} // user code end this.flushButton_ActionPerformed(arg1); // user code begin {2} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void connEtoC2(java.awt.event.ActionEvent arg1) { try { // user code begin {1} // user code end this.pass2Button_ActionPerformed(arg1); // user code begin {2} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private javax.swing.JPanel getPass1Panel() { if (ivjPass1Panel == null) { try { ivjPass1Panel = new javax.swing.JPanel(); ivjPass1Panel.setName("Pass1Panel"); ivjPass1Panel.setLayout(null); ivjPass1Panel.setBackground(java.awt.SystemColor.controlShadow); ivjPass1Panel.setBounds(30, 30, 50, 50); // user code begin {1} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass1Panel; }
/** Machine-generated. */ private javax.swing.JPanel getPass3Panel() { if (ivjPass3Panel == null) { try { ivjPass3Panel = new javax.swing.JPanel(); ivjPass3Panel.setName("Pass3Panel"); ivjPass3Panel.setLayout(null); ivjPass3Panel.setBackground(java.awt.SystemColor.controlShadow); ivjPass3Panel.setBounds(30, 150, 50, 50); // user code begin {1} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass3Panel; }
/** Machine-generated. */ private javax.swing.JPanel getPass2Panel() { if (ivjPass2Panel == null) { try { ivjPass2Panel = new javax.swing.JPanel(); ivjPass2Panel.setName("Pass2Panel"); ivjPass2Panel.setLayout(null); ivjPass2Panel.setBackground(java.awt.SystemColor.controlShadow); ivjPass2Panel.setBounds(30, 90, 50, 50); // user code begin {1} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass2Panel; }
/** Machine-generated. */ private javax.swing.JPanel getPass2Panel() { if (ivjPass2Panel == null) { try { ivjPass2Panel = new javax.swing.JPanel(); ivjPass2Panel.setName("Pass2Panel"); ivjPass2Panel.setLayout(null); ivjPass2Panel.setBackground(java.awt.SystemColor.controlShadow); ivjPass2Panel.setBounds(30, 90, 50, 50); // user code begin {1} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass2Panel; }
/** Machine-generated. */ private javax.swing.JPanel getPass1Panel() { if (ivjPass1Panel == null) { try { ivjPass1Panel = new javax.swing.JPanel(); ivjPass1Panel.setName("Pass1Panel"); ivjPass1Panel.setLayout(null); ivjPass1Panel.setBackground(java.awt.SystemColor.controlShadow); ivjPass1Panel.setBounds(30, 30, 50, 50); // user code begin {1} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass1Panel; }
/** Machine-generated. */ private javax.swing.JPanel getPass3Panel() { if (ivjPass3Panel == null) { try { ivjPass3Panel = new javax.swing.JPanel(); ivjPass3Panel.setName("Pass3Panel"); ivjPass3Panel.setLayout(null); ivjPass3Panel.setBackground(java.awt.SystemColor.controlShadow); ivjPass3Panel.setBounds(30, 150, 50, 50); // user code begin {1} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass3Panel; }
/** 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 getPass2Button() { if (ivjPass2Button == null) { try { ivjPass2Button = new javax.swing.JButton(); ivjPass2Button.setName("Pass2Button"); ivjPass2Button.setText("Pass 2: Verify static .class file constraints"); ivjPass2Button.setBackground(java.awt.SystemColor.controlHighlight); ivjPass2Button.setBounds(100, 100, 300, 30); ivjPass2Button.setActionCommand("Button2"); // user code begin {1} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass2Button; }
/** 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 (final 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 (final java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjPass3Button; }
/** Machine-generated. */ private void initialize() { try { // user code begin {1} // user code end setName("VerifyDialog"); setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE); setSize(430, 280); setVisible(true); setModal(true); setResizable(false); setContentPane(getJDialogContentPane()); initConnections(); } catch (java.lang.Throwable ivjExc) { handleException(ivjExc); } // user code begin {2} setTitle("'"+class_name+"' verification - JustIce / BCEL"); // user code end } /**
/** Machine-generated. */ private void initialize() { try { // user code begin {1} // user code end setName("VerifyDialog"); setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE); setSize(430, 280); setVisible(true); setModal(true); setResizable(false); setContentPane(getJDialogContentPane()); initConnections(); } catch (final java.lang.Throwable ivjExc) { handleException(ivjExc); } // user code begin {2} setTitle("'" + class_name + "' verification - JustIce / BCEL"); // user code end }