Class VerifyDialog

    • Constructor Detail

      • VerifyDialog

        public VerifyDialog()
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Dialog owner)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Dialog owner,
                            String title)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Dialog owner,
                            String title,
                            boolean modal)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Dialog owner,
                            boolean modal)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Frame owner)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Frame owner,
                            String title)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Frame owner,
                            String title,
                            boolean modal)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(Frame owner,
                            boolean modal)
        Machine-generated.
      • VerifyDialog

        public VerifyDialog​(String fully_qualified_class_name)
        Use this constructor if you want a possibility to verify other class files than java.lang.Object.
        Parameters:
        fully_qualified_class_name - java.lang.String
    • Method Detail

      • flushButton_ActionPerformed

        public void flushButton_ActionPerformed​(ActionEvent actionEvent)
        Machine-generated.
      • main

        public static void main​(String[] args)
        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'.
        Parameters:
        args - java.lang.String[] fully qualified names of classes to verify.
      • pass1Button_ActionPerformed

        public void pass1Button_ActionPerformed​(ActionEvent actionEvent)
        Machine-generated.
      • pass2Button_ActionPerformed

        public void pass2Button_ActionPerformed​(ActionEvent actionEvent)
        Machine-generated.
      • pass4Button_ActionPerformed

        public void pass4Button_ActionPerformed​(ActionEvent actionEvent)
        Machine-generated.