PasteDialogFocusTraversalPolicy.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialogFocusTraversalPolicy(JButton, JButton, JButton)

    • Kind Annotation Text
    postinit'ed(this.cancelButton)
    postinit'ed(this.editButton)
    postinit'ed(this.sendButton)
    postthis.cancelButton == cancelButton
    postthis.editButton == editButton
    postthis.sendButton == sendButton

  • com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialogFocusTraversalPolicy__static_init

    • Kind Annotation Text

  • Component getComponentAfter(Container, Component)

    • Kind Annotation Text
    preaComponent != null
    postinit'ed(return_value)
    postreturn_value == One-of{this.editButton, this.sendButton, this.cancelButton}
    test_vectorjava.lang.Object:equals(...)@62: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@64: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@66: {0}, {1}

  • Component getComponentBefore(Container, Component)

    • Kind Annotation Text
    preaComponent != null
    postinit'ed(return_value)
    postreturn_value == One-of{this.sendButton, this.cancelButton, this.editButton}
    test_vectorjava.lang.Object:equals(...)@76: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@78: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@80: {0}, {1}

  • Component getDefaultComponent(Container)

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

  • Component getFirstComponent(Container)

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

  • Component getLastComponent(Container)

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