VerifyDialog.java
/*
* Licensed to the Apache Software Foundation (ASF) under one or more
* contributor license agreements. See the NOTICE file distributed with
* this work for additional information regarding copyright ownership.
* The ASF licenses this file to You under the Apache License, Version 2.0
* (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.apache.bcel.verifier;
import java.awt.Color;
import java.awt.Dialog;
import java.awt.Frame;
import java.awt.SystemColor;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.event.WindowAdapter;
import java.awt.event.WindowEvent;
import javax.swing.JButton;
import javax.swing.JDialog;
import javax.swing.JPanel;
import org.apache.bcel.Repository;
import org.apache.bcel.classfile.JavaClass;
import org.apache.bcel.classfile.Utility;
/**
* A class for simple graphical class file verification. Use the main(String []) method with fully qualified class names
* as arguments to use it as a stand-alone application. Use the VerifyDialog(String) constructor to use this class in
* your application. [This class was created using VisualAge for Java, but it does not work under VAJ itself (Version
* 3.02 JDK 1.2)]
*
* @see #main(String[])
* @see #VerifyDialog(String)
*/
public class VerifyDialog extends JDialog {
/** Machine-generated, made final. */
final class IvjEventHandler implements ActionListener {
@Override
public void actionPerformed(final ActionEvent e) {
if (e.getSource() == getPass1Button()) {
connEtoC1(e);
}
if (e.getSource() == getPass2Button()) {
connEtoC2(e);
}
if (e.getSource() == getPass3Button()) {
connEtoC3(e);
}
if (e.getSource() == getFlushButton()) {
connEtoC4(e);
}
}
}
private static final long serialVersionUID = -6374807677043142313L;
/**
* This field is here to count the number of open VerifyDialog instances so the JVM can be exited afer every Dialog had
* been closed.
*/
private static int classesToVerify;
/**
* Verifies one or more class files. Verification results are presented graphically: Red means 'rejected', green means
* 'passed' while yellow means 'could not be verified yet'.
*
* @param args String[] fully qualified names of classes to verify.
*/
public static void main(final String[] args) {
classesToVerify = args.length;
for (final String arg : args) {
try {
final VerifyDialog aVerifyDialog;
aVerifyDialog = new VerifyDialog(arg);
aVerifyDialog.setModal(true);
aVerifyDialog.addWindowListener(new WindowAdapter() {
@Override
public void windowClosing(final WindowEvent e) {
classesToVerify--;
if (classesToVerify == 0) {
System.exit(0);
}
}
});
aVerifyDialog.setVisible(true);
} catch (final Throwable exception) {
System.err.println("Exception occurred in main() of JDialog");
exception.printStackTrace(System.out);
}
}
}
/** Machine-generated. */
private JPanel ivjJDialogContentPane;
/** Machine-generated. */
private JPanel ivjPass1Panel;
/** Machine-generated. */
private JPanel ivjPass2Panel;
/** Machine-generated. */
private JPanel ivjPass3Panel;
/** Machine-generated. */
private JButton ivjPass1Button;
/** Machine-generated. */
private JButton ivjPass2Button;
/** Machine-generated. */
private JButton ivjPass3Button;
/** Machine-generated. */
private final IvjEventHandler ivjEventHandler = new IvjEventHandler();
/**
* The class to verify. Default set to 'java.lang.Object' in case this class is instantiated via one of the many
* machine-generated constructors.
*/
private String className = "java.lang.Object";
/** Machine-generated. */
private JButton ivjFlushButton;
/** Machine-generated. */
public VerifyDialog() {
initialize();
}
/** Machine-generated. */
public VerifyDialog(final Dialog owner) {
super(owner);
}
/** Machine-generated. */
public VerifyDialog(final Dialog owner, final boolean modal) {
super(owner, modal);
}
/** Machine-generated. */
public VerifyDialog(final Dialog owner, final String title) {
super(owner, title);
}
/** Machine-generated. */
public VerifyDialog(final Dialog owner, final String title, final boolean modal) {
super(owner, title, modal);
}
/** Machine-generated. */
public VerifyDialog(final Frame owner) {
super(owner);
}
/** Machine-generated. */
public VerifyDialog(final Frame owner, final boolean modal) {
super(owner, modal);
}
/** Machine-generated. */
public VerifyDialog(final Frame owner, final String title) {
super(owner, title);
}
/** Machine-generated. */
public VerifyDialog(final Frame owner, final String title, final boolean modal) {
super(owner, title, modal);
}
/**
* Use this constructor if you want a possibility to verify other class files than {@link Object}.
*
* @param fullyQualifiedClassName "java.lang.String"
*/
public VerifyDialog(String fullyQualifiedClassName) {
final int dotclasspos = fullyQualifiedClassName.lastIndexOf(JavaClass.EXTENSION);
if (dotclasspos != -1) {
fullyQualifiedClassName = fullyQualifiedClassName.substring(0, dotclasspos);
}
fullyQualifiedClassName = Utility.pathToPackage(fullyQualifiedClassName);
this.className = fullyQualifiedClassName;
initialize();
}
/** Machine-generated. */
private void connEtoC1(final ActionEvent arg1) {
try {
// user code begin {1}
// user code end
pass1Button_ActionPerformed(arg1);
// user code begin {2}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {3}
// user code end
handleException(ivjExc);
}
}
/** Machine-generated. */
private void connEtoC2(final ActionEvent arg1) {
try {
// user code begin {1}
// user code end
pass2Button_ActionPerformed(arg1);
// user code begin {2}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {3}
// user code end
handleException(ivjExc);
}
}
/** Machine-generated. */
private void connEtoC3(final ActionEvent arg1) {
try {
// user code begin {1}
// user code end
pass4Button_ActionPerformed(arg1);
// user code begin {2}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {3}
// user code end
handleException(ivjExc);
}
}
/** Machine-generated. */
private void connEtoC4(final ActionEvent arg1) {
try {
// user code begin {1}
// user code end
flushButton_ActionPerformed(arg1);
// user code begin {2}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {3}
// user code end
handleException(ivjExc);
}
}
/** Machine-generated. */
public void flushButton_ActionPerformed(final ActionEvent actionEvent) {
VerifierFactory.getVerifier(className).flush();
Repository.removeClass(className); // Make sure it will be reloaded.
getPass1Panel().setBackground(Color.gray);
getPass1Panel().repaint();
getPass2Panel().setBackground(Color.gray);
getPass2Panel().repaint();
getPass3Panel().setBackground(Color.gray);
getPass3Panel().repaint();
}
/** Machine-generated. */
private JButton getFlushButton() {
if (ivjFlushButton == null) {
try {
ivjFlushButton = new JButton();
ivjFlushButton.setName("FlushButton");
ivjFlushButton.setText("Flush: Forget old verification results");
ivjFlushButton.setBackground(SystemColor.controlHighlight);
ivjFlushButton.setBounds(60, 215, 300, 30);
ivjFlushButton.setForeground(Color.red);
ivjFlushButton.setActionCommand("FlushButton");
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjFlushButton;
}
/** Machine-generated. */
private JPanel getJDialogContentPane() {
if (ivjJDialogContentPane == null) {
try {
ivjJDialogContentPane = new JPanel();
ivjJDialogContentPane.setName("JDialogContentPane");
ivjJDialogContentPane.setLayout(null);
getJDialogContentPane().add(getPass1Panel(), getPass1Panel().getName());
getJDialogContentPane().add(getPass3Panel(), getPass3Panel().getName());
getJDialogContentPane().add(getPass2Panel(), getPass2Panel().getName());
getJDialogContentPane().add(getPass1Button(), getPass1Button().getName());
getJDialogContentPane().add(getPass2Button(), getPass2Button().getName());
getJDialogContentPane().add(getPass3Button(), getPass3Button().getName());
getJDialogContentPane().add(getFlushButton(), getFlushButton().getName());
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjJDialogContentPane;
}
/** Machine-generated. */
private JButton getPass1Button() {
if (ivjPass1Button == null) {
try {
ivjPass1Button = new JButton();
ivjPass1Button.setName("Pass1Button");
ivjPass1Button.setText("Pass1: Verify binary layout of .class file");
ivjPass1Button.setBackground(SystemColor.controlHighlight);
ivjPass1Button.setBounds(100, 40, 300, 30);
ivjPass1Button.setActionCommand("Button1");
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass1Button;
}
/** Machine-generated. */
private JPanel getPass1Panel() {
if (ivjPass1Panel == null) {
try {
ivjPass1Panel = new JPanel();
ivjPass1Panel.setName("Pass1Panel");
ivjPass1Panel.setLayout(null);
ivjPass1Panel.setBackground(SystemColor.controlShadow);
ivjPass1Panel.setBounds(30, 30, 50, 50);
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass1Panel;
}
/** Machine-generated. */
private JButton getPass2Button() {
if (ivjPass2Button == null) {
try {
ivjPass2Button = new JButton();
ivjPass2Button.setName("Pass2Button");
ivjPass2Button.setText("Pass 2: Verify static .class file constraints");
ivjPass2Button.setBackground(SystemColor.controlHighlight);
ivjPass2Button.setBounds(100, 100, 300, 30);
ivjPass2Button.setActionCommand("Button2");
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass2Button;
}
/** Machine-generated. */
private JPanel getPass2Panel() {
if (ivjPass2Panel == null) {
try {
ivjPass2Panel = new JPanel();
ivjPass2Panel.setName("Pass2Panel");
ivjPass2Panel.setLayout(null);
ivjPass2Panel.setBackground(SystemColor.controlShadow);
ivjPass2Panel.setBounds(30, 90, 50, 50);
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass2Panel;
}
/** Machine-generated. */
private JButton getPass3Button() {
if (ivjPass3Button == null) {
try {
ivjPass3Button = new JButton();
ivjPass3Button.setName("Pass3Button");
ivjPass3Button.setText("Passes 3a+3b: Verify code arrays");
ivjPass3Button.setBackground(SystemColor.controlHighlight);
ivjPass3Button.setBounds(100, 160, 300, 30);
ivjPass3Button.setActionCommand("Button2");
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass3Button;
}
/** Machine-generated. */
private JPanel getPass3Panel() {
if (ivjPass3Panel == null) {
try {
ivjPass3Panel = new JPanel();
ivjPass3Panel.setName("Pass3Panel");
ivjPass3Panel.setLayout(null);
ivjPass3Panel.setBackground(SystemColor.controlShadow);
ivjPass3Panel.setBounds(30, 150, 50, 50);
// user code begin {1}
// user code end
} catch (final Throwable ivjExc) {
// user code begin {2}
// user code end
handleException(ivjExc);
}
}
return ivjPass3Panel;
}
/** Machine-generated. */
private void handleException(final Throwable exception) {
/* Uncomment the following lines to print uncaught exceptions to stdout */
System.out.println("--------- UNCAUGHT EXCEPTION ---------");
exception.printStackTrace(System.out);
// manually added code
if (exception instanceof ThreadDeath) {
throw (ThreadDeath) exception;
}
if (exception instanceof VirtualMachineError) {
throw (VirtualMachineError) exception;
}
}
/** Machine-generated. */
private void initConnections() {
// user code begin {1}
// user code end
getPass1Button().addActionListener(ivjEventHandler);
getPass2Button().addActionListener(ivjEventHandler);
getPass3Button().addActionListener(ivjEventHandler);
getFlushButton().addActionListener(ivjEventHandler);
}
/** Machine-generated. */
private void initialize() {
try {
// user code begin {1}
// user code end
setName("VerifyDialog");
setDefaultCloseOperation(DISPOSE_ON_CLOSE);
setSize(430, 280);
setVisible(true);
setModal(true);
setResizable(false);
setContentPane(getJDialogContentPane());
initConnections();
} catch (final Throwable ivjExc) {
handleException(ivjExc);
}
// user code begin {2}
setTitle("'" + className + "' verification - JustIce / BCEL");
// user code end
}
/** Machine-generated. */
public void pass1Button_ActionPerformed(final ActionEvent actionEvent) {
final Verifier v = VerifierFactory.getVerifier(className);
final VerificationResult vr = v.doPass1();
if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
getPass1Panel().setBackground(Color.green);
getPass1Panel().repaint();
}
if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED) {
getPass1Panel().setBackground(Color.red);
getPass1Panel().repaint();
}
}
/** Machine-generated. */
public void pass2Button_ActionPerformed(final ActionEvent actionEvent) {
pass1Button_ActionPerformed(actionEvent);
final Verifier v = VerifierFactory.getVerifier(className);
final VerificationResult vr = v.doPass2();
if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
getPass2Panel().setBackground(Color.green);
getPass2Panel().repaint();
}
if (vr.getStatus() == VerificationResult.VERIFIED_NOTYET) {
getPass2Panel().setBackground(Color.yellow);
getPass2Panel().repaint();
}
if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED) {
getPass2Panel().setBackground(Color.red);
getPass2Panel().repaint();
}
}
/** Machine-generated. */
public void pass4Button_ActionPerformed(final ActionEvent actionEvent) {
pass2Button_ActionPerformed(actionEvent);
Color color = Color.green;
final Verifier v = VerifierFactory.getVerifier(className);
VerificationResult vr = v.doPass2();
if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
JavaClass jc = null;
try {
jc = Repository.lookupClass(className);
final int nr = jc.getMethods().length;
for (int i = 0; i < nr; i++) {
vr = v.doPass3b(i);
if (vr.getStatus() != VerificationResult.VERIFIED_OK) {
color = Color.red;
break;
}
}
} catch (final ClassNotFoundException ex) {
// FIXME: report the error
ex.printStackTrace();
}
} else {
color = Color.yellow;
}
getPass3Panel().setBackground(color);
getPass3Panel().repaint();
}
}