URLSubsitutionsPanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • List access$002(URLSubsitutionsPanel, List)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x1
    postx0.substitutions == return_value

  • List access$100(URLSubsitutionsPanel)

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

  • void access$200(URLSubsitutionsPanel)

    • Kind Annotation Text
    prex0 != null

  • void com.dmdirc.addons.ui_swing.dialogs.url.URLSubsitutionsPanel$1(URLSubsitutionsPanel, List)

    • Kind Annotation Text
    postinit'ed(this.val$type)
    postthis.val$type == Param_2

  • com.dmdirc.addons.ui_swing.dialogs.url.URLSubsitutionsPanel$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.url.URLSubsitutionsPanel()

    • Kind Annotation Text
    presumptioninit'ed(com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment. VERTICAL)

  • void com.dmdirc.addons.ui_swing.dialogs.url.URLSubsitutionsPanel(List)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.url.URLSubsitutionsPanel__static_init

    • Kind Annotation Text

  • void run()

    • Kind Annotation Text
    postnew ArrayList(run#1) num objects == 1
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.url. URLSubsitutionsPanel:layoutComponents
    test_vectorjava.util.Iterator:hasNext(...)@73: {0}, {1}
    test_vectorthis.val$type: Addr_Set{null}, Inverse{null}

  • void setType(Object)

    • Kind Annotation Text
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void setType(List)

    • Kind Annotation Text