method com.dmdirc.updater.components.ActionGroupComponent __static_init










method void com.dmdirc.updater.components. ActionGroupComponent(ActionGroup)
pregroup != null
postthis.group == group
postthis.group != null
unanalyzedcall on com.dmdirc.actions.ActionGroup:getComponent
unanalyzedcall on getName
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.util.List:remove
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.List:add
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}









  method not available - call not analyzedInfocall on int com.dmdirc.actions.ActionGroup:getCompo nent()
  method not available - call not analyzedInfocall on int com.dmdirc.actions.ActionGroup:getVersi on()











method String getName()
prethis.group != null
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &java.lang.StringBuilder:toStri ng(...)









  method not available - call not analyzedInfocall on int com.dmdirc.actions.ActionGroup:getCompo nent()











method String getFriendlyName()
prethis.group != null
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &java.lang.StringBuilder:toStri ng(...)









  method not available - call not analyzedInfocall on String com.dmdirc.actions.ActionGroup:getNa me()











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









  method not available - call not analyzedInfocall on int com.dmdirc.actions.ActionGroup:getVersi on()











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










method bool doInstall(String)
postreturn_value == 0









  method not available - call not analyzedInfocall on void com.dmdirc.actions.ActionManager:insta llActionPack(String)