Serialized Form

Package de.fub.bytecode.verifier

Class de.fub.bytecode.verifier.VerifierAppFrame implements Serializable

Serialized Fields

contentPane

javax.swing.JPanel contentPane

jSplitPane1

javax.swing.JSplitPane jSplitPane1

jPanel1

javax.swing.JPanel jPanel1

jPanel2

javax.swing.JPanel jPanel2

jSplitPane2

javax.swing.JSplitPane jSplitPane2

jPanel3

javax.swing.JPanel jPanel3

classNamesJList

javax.swing.JList classNamesJList

gridLayout1

java.awt.GridLayout gridLayout1

messagesPanel

javax.swing.JPanel messagesPanel

gridLayout2

java.awt.GridLayout gridLayout2

jMenuBar1

javax.swing.JMenuBar jMenuBar1

jMenu1

javax.swing.JMenu jMenu1

jScrollPane1

javax.swing.JScrollPane jScrollPane1

messagesScrollPane

javax.swing.JScrollPane messagesScrollPane

jScrollPane3

javax.swing.JScrollPane jScrollPane3

gridLayout4

java.awt.GridLayout gridLayout4

jScrollPane4

javax.swing.JScrollPane jScrollPane4

cardLayout1

java.awt.CardLayout cardLayout1

JUSTICE_VERSION

java.lang.String JUSTICE_VERSION

current_class

java.lang.String current_class

gridLayout3

java.awt.GridLayout gridLayout3

pass1TextPane

javax.swing.JTextPane pass1TextPane

pass2TextPane

javax.swing.JTextPane pass2TextPane

messagesTextPane

javax.swing.JTextPane messagesTextPane

newFileMenuItem

javax.swing.JMenuItem newFileMenuItem

jSplitPane3

javax.swing.JSplitPane jSplitPane3

jSplitPane4

javax.swing.JSplitPane jSplitPane4

jScrollPane2

javax.swing.JScrollPane jScrollPane2

jScrollPane5

javax.swing.JScrollPane jScrollPane5

jScrollPane6

javax.swing.JScrollPane jScrollPane6

jScrollPane7

javax.swing.JScrollPane jScrollPane7

pass3aJList

javax.swing.JList pass3aJList

pass3bJList

javax.swing.JList pass3bJList

pass3aTextPane

javax.swing.JTextPane pass3aTextPane

pass3bTextPane

javax.swing.JTextPane pass3bTextPane

jMenu2

javax.swing.JMenu jMenu2

whatisMenuItem

javax.swing.JMenuItem whatisMenuItem

aboutMenuItem

javax.swing.JMenuItem aboutMenuItem

Class de.fub.bytecode.verifier.VerifyDialog implements Serializable

Serialized Fields

ivjJDialogContentPane

javax.swing.JPanel ivjJDialogContentPane

Machine-generated.

ivjPass1Panel

javax.swing.JPanel ivjPass1Panel

Machine-generated.

ivjPass2Panel

javax.swing.JPanel ivjPass2Panel

Machine-generated.

ivjPass3Panel

javax.swing.JPanel ivjPass3Panel

Machine-generated.

ivjPass1Button

javax.swing.JButton ivjPass1Button

Machine-generated.

ivjPass2Button

javax.swing.JButton ivjPass2Button

Machine-generated.

ivjPass3Button

javax.swing.JButton ivjPass3Button

Machine-generated.

ivjEventHandler

de.fub.bytecode.verifier.VerifyDialog.IvjEventHandler ivjEventHandler

Machine-generated.

class_name

java.lang.String class_name

The class to verify. Default set to 'java.lang.Object' in case this class is instantiated via one of the many machine-generated constructors.

ivjFlushButton

javax.swing.JButton ivjFlushButton

Machine-generated.

Package de.fub.bytecode.verifier.exc

Class de.fub.bytecode.verifier.exc.AssertionViolatedException implements Serializable

Serialized Fields

detailMessage

java.lang.String detailMessage

The error message.

Class de.fub.bytecode.verifier.exc.ClassConstraintException implements Serializable

Serialized Fields

detailMessage

java.lang.String detailMessage

The specified error message.

Class de.fub.bytecode.verifier.exc.CodeConstraintException implements Serializable

Class de.fub.bytecode.verifier.exc.InvalidMethodException implements Serializable

Class de.fub.bytecode.verifier.exc.LinkingConstraintException implements Serializable

Class de.fub.bytecode.verifier.exc.LoadingException implements Serializable

Serialized Fields

detailMessage

java.lang.String detailMessage

The specified error message.

Class de.fub.bytecode.verifier.exc.LocalVariableInfoInconsistentException implements Serializable

Class de.fub.bytecode.verifier.exc.StaticCodeConstraintException implements Serializable

Class de.fub.bytecode.verifier.exc.StaticCodeInstructionConstraintException implements Serializable

Class de.fub.bytecode.verifier.exc.StaticCodeInstructionOperandConstraintException implements Serializable

Class de.fub.bytecode.verifier.exc.StructuralCodeConstraintException implements Serializable

Class de.fub.bytecode.verifier.exc.VerificationException implements Serializable

Class de.fub.bytecode.verifier.exc.VerifierConstraintViolatedException implements Serializable

Serialized Fields

detailMessage

java.lang.String detailMessage

The specified error message.

Package de.fub.bytecode.verifier.structurals

Class de.fub.bytecode.verifier.structurals.GenericArray implements Serializable