Last Msg First Msg
























method com.dmdirc.actions.ActionComponentChain__static_ init










method void com.dmdirc.actions.ActionComponentChain(Class , String)
prechain != null
postthis.components == &new ArrayList(ActionCompone ntChain#1)
postnew ArrayList(ActionComponentChain#1) num objects == 1
unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.lang.Enum:name









Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(arr$.length)
  use of default init
Low Prob.
check if init'ed(len$)
  test always goes same way
Low Prob.
Test predetermined because i$ == len$
  dead code
Low Prob.
Dead code here because i$ == len$
  dead code continuesInfoDead code continues
Prev Msg Next Msg










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues











method Object get(Object)
prethis.components != null
presumptionjava.util.Iterator:next(...)@77 != null
postinit'ed(return_value)
test_vectorjava.util.Iterator:hasNext(...)@77: {0}, {1}









  call too complex - analysis skippedInfocall on Object get(Object)











method Class appliesTo()
prethis.components != null
presumptionjava.util.List:get(...)@90 != null
postinit'ed(return_value)









  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:assertTrue(bo ol)










  call too complex - analysis skippedInfocall on Class appliesTo()











method Class getType()
prethis.components != null
presumptionjava.util.List:get(...)@99 != null
presumptionjava.util.List:size(...)@99 >= -231+1
postinit'ed(return_value)









  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:assertTrue(bo ol)










  call too complex - analysis skippedInfocall on Class getType()











method String getName()
prethis.components != null
presumptionjava.util.Iterator:next(...)@110 != null
postreturn_value != null
test_vectorjava.util.Iterator:hasNext(...)@110: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:assertTrue(bo ol)










  call too complex - analysis skippedInfocall on String getName()











method String toString()
prethis.components != null
presumptionjava.util.Iterator:next(...)@126 != null
postreturn_value != null
test_vectorjava.util.Iterator:hasNext(...)@126: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:assertTrue(bo ol)