StandardDialog.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • JButton access$000(StandardDialog)

    • Kind Annotation Text
    preinit'ed(x0.cancelButton)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.cancelButton

  • JButton access$100(StandardDialog)

    • Kind Annotation Text
    preinit'ed(x0.okButton)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.okButton

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.okButton)
    unanalyzedcall on javax.swing.JButton:doClick

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    preinit'ed(this.cancelButton)
    unanalyzedcall on javax.swing.JButton:doClick

  • void com.dmdirc.addons.ui_swing.components.StandardDialog$1(StandardDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardDialog$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardDialog$2(StandardDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.StandardDialog$2__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.StandardDialog(Dialog, bool)

    • Kind Annotation Text
    test_vectorowner: Addr_Set{null}, Inverse{null}

  • void com.dmdirc.addons.ui_swing.components.StandardDialog(Frame, bool)

    • Kind Annotation Text
    test_vectorowner: Addr_Set{null}, Inverse{null}

  • void com.dmdirc.addons.ui_swing.components.StandardDialog(Window, Dialog$ModalityType)

    • Kind Annotation Text
    test_vectorowner: Addr_Set{null}, Inverse{null}

  • com.dmdirc.addons.ui_swing.components.StandardDialog__static_init

    • Kind Annotation Text

  • JRootPane createRootPane()

    • Kind Annotation Text
    postnew JRootPane(createRootPane#3) num objects == 1
    postreturn_value == &new JRootPane(createRootPane#3 )

  • void display()

    • Kind Annotation Text

  • void executeAction(JButton)

    • Kind Annotation Text
    test_vectortarget: Addr_Set{null}, Inverse{null}

  • JButton getCancelButton()

    • Kind Annotation Text
    preinit'ed(this.cancelButton)
    postinit'ed(return_value)
    postreturn_value == this.cancelButton

  • JButton getLeftButton()

    • Kind Annotation Text
    pre(soft) init'ed(this.cancelButton)
    pre(soft) init'ed(this.okButton)
    presumptionjava.lang.System:getProperty(...)@134 != null
    postinit'ed(return_value)
    postreturn_value == One-of{this.okButton, this.cancelButton}
    test_vectorjava.lang.String:startsWith(...)@134: {0}, {1}

  • JButton getOkButton()

    • Kind Annotation Text
    preinit'ed(this.okButton)
    postinit'ed(return_value)
    postreturn_value == this.okButton

  • JButton getRightButton()

    • Kind Annotation Text
    pre(soft) init'ed(this.cancelButton)
    pre(soft) init'ed(this.okButton)
    presumptionjava.lang.System:getProperty(...)@146 != null
    postinit'ed(return_value)
    postreturn_value == One-of{this.cancelButton, this.okButton}
    test_vectorjava.lang.String:startsWith(...)@146: {0}, {1}

  • void orderButtons(JButton, JButton)

    • Kind Annotation Text
    preleftButton != null
    prerightButton != null
    presumptionjava.lang.System:getProperty(...)@161 != null
    postthis.cancelButton != null
    postthis.cancelButton == One-of{rightButton, leftButton}
    postthis.okButton != null
    postthis.okButton == One-of{leftButton, rightButton}
    unanalyzedcall on javax.swing.JButton:setDefaultCapable
    unanalyzedcall on javax.swing.JButton:setText
    test_vectorjava.lang.String:startsWith(...)@161: {0}, {1}

  • void setCancelButton(JButton)

    • Kind Annotation Text
    prebutton != null
    postthis.cancelButton != null
    postthis.cancelButton == button

  • void setOkButton(JButton)

    • Kind Annotation Text
    prebutton != null
    postthis.okButton != null
    postthis.okButton == button