method com.dmdirc.ServerStatus__static_init










method void com.dmdirc.ServerStatus()
postthis.history == &new RollingList(ServerStatus#1 )
postthis.state == &com.dmdirc.ServerState__static_ init.new ServerState(ServerState__static_init#7)
postnew RollingList(ServerStatus#1) num objects == 1









  method not available - call not analyzedInfocall on void com.dmdirc.util.RollingList(int)











method void transition(ServerState)
prenewState != null
prethis.state != null
prethis.history != null
prethis.state.transitions != null
presumptionjava.util.List:contains(...)@101 == 1
postthis.state == newState
postthis.state != null
unanalyzedcall on com.dmdirc.util.RollingList:getList
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.ServerState:name
unanalyzedcall on java.lang.Thread:currentThread
unanalyzedcall on java.lang.Thread:getStackTrace
unanalyzedcall on java.lang.StackTraceElement:toString
unanalyzedcall on java.lang.Thread:getName
unanalyzedcall on com.dmdirc.util.RollingList:add
unanalyzedcall on java.util.List:contains










method ServerState getState()
preinit'ed(this.state)
postreturn_value == this.state
postinit'ed(return_value)










method void addHistoryEntry(ServerState, ServerState)
prefromState != null
prethis.history != null
pretoState != null
presumptionjava.lang.Thread:currentThread(...)@86 != null
presumptionjava.lang.Thread:currentThread(...)@88 != null
presumptionjava.lang.Thread:getStackTrace(...).length@86 >= 4
presumptionjava.lang.Thread:getStackTrace(...)@86 != null
presumptionjava.lang.Thread:getStackTrace(...)[3]@86 != null









  method not available - call not analyzedInfocall on String com.dmdirc.ServerState:name()










  method not available - call not analyzedInfocall on String com.dmdirc.ServerState:name()










  method not available - call not analyzedInfocall on bool com.dmdirc.util.RollingList:add(Object )











method String getTransitionHistory()
prethis.history != null
presumptioncom.dmdirc.util.RollingList:getList(...)@104 != null
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &java.lang.StringBuilder:toStri ng(...)
test_vectorjava.lang.StringBuilder:length(...)@105: {-231..0}, {1..232-1}
test_vectorjava.util.Iterator:hasNext(...)@104: {0}, {1}









  method not available - call not analyzedInfocall on List com.dmdirc.util.RollingList:getList()