ActionGroupComponent.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.updater.components.ActionGroupComponent(ActionGroup)

    • Kind Annotation Text
    pregroup != null
    postthis.group != null
    postthis.group == group
    unanalyzedcall on com.dmdirc.actions.ActionGroup:getComponent
    unanalyzedcall on getName
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    test_vectorcom.dmdirc.actions.ActionGroup:getComponent(... )@49: {-1}, {-231..-2, 0..232-1}
    test_vectorcom.dmdirc.actions.ActionGroup:getVersion(...)@49: {-1}, {-231..-2, 0..232-1}

  • com.dmdirc.updater.components.ActionGroupComponent__static_init

    • Kind Annotation Text

  • bool doInstall(String)

    • Kind Annotation Text
    postreturn_value == 0

  • String getFriendlyName()

    • Kind Annotation Text
    prethis.group != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)

  • String getFriendlyVersion()

    • Kind Annotation Text
    prethis.group != null
    postjava.lang.String:valueOf(...)._tainted == 0
    postreturn_value == &java.lang.String:valueOf(...)
    unanalyzedcall on com.dmdirc.actions.ActionGroup:getVersion

  • String getName()

    • Kind Annotation Text
    prethis.group != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)

  • Version getVersion()

    • Kind Annotation Text
    prethis.group != null
    postinit'ed(return_value.intVersion)
    postnew Version(getVersion#1) num objects == 1
    postreturn_value == &new Version(getVersion#1)
    postreturn_value.strVersion == null