method

com.dmdirc.parser.irc.PingTimer__static_init

method	void com.dmdirc.parser.irc.PingTimer(IRCParser, Timer)
post	this.myOwner == control
post	init'ed(this.myOwner)
post	this.myTimer == timer
post	init'ed(this.myTimer)

method	void run()
pre	this.myOwner != null
pre	this.myOwner.pingNeeded != null
pre	(soft) this.myOwner.cMyself != null
pre	(soft) init'ed(this.myOwner.currentSocketState)
pre	(soft) this.myOwner.pingCountDown >= -231+1
pre	(soft) init'ed(this.myOwner.pingTimer)
pre	(soft) init'ed(this.myOwner.stringConverter)
pre	(soft) this.myOwner.hChanModesOther != null
pre	(soft) this.myOwner.hChannelList != null
pre	(soft) this.myOwner.myCallbackManager != null
pre	(soft) this.myOwner.myCallbackManager.callbackHash != null
pre	(soft) init'ed(this.myOwner.out)
pre	(soft) init'ed(this.myOwner.pingCountDownLength)
pre	(soft) this.myOwner.pingTimerSem != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	java.lang.String:valueOf(...)._tainted == 0
post	this.myOwner.cMyself == old this.myOwner.cMyself
post	this.myOwner.cMyself != null
post	possibly_updated(this.myOwner.cMyself. myAwayReason)
post	this.myOwner.currentSocketState == old this.myOwner.currentSocketState
post	init'ed(this.myOwner.currentSocketState)
post	this.myOwner.got001 == old this.myOwner.got001
post	this.myOwner.lastLine == old this.myOwner.lastLine
post	this.myOwner.lastPingValue == One-of{old this.myOwner.lastPingValue, &java.lang. String:valueOf(...)}
post	this.myOwner.nNextKeyCMBool == old this.myOwner. nNextKeyCMBool
post	this.myOwner.nNextKeyPrefix == old this.myOwner. nNextKeyPrefix
post	this.myOwner.nNextKeyUser == old this.myOwner. nNextKeyUser
post	this.myOwner.pingCountDown == One-of{old this.myOwner.pingCountDown, old this.myOwner. pingCountDown - 1, this.myOwner.pingCountDownLength }
post	init'ed(this.myOwner.pingCountDown)
post	possibly_updated(this.myOwner.pingTime)
post	this.myOwner.pingTimer == old this.myOwner. pingTimer
post	init'ed(this.myOwner.pingTimer)
post	this.myOwner.post005 == old this.myOwner.post005
post	this.myOwner.sNetworkName == old this.myOwner. sNetworkName
post	this.myOwner.sServerName == old this.myOwner. sServerName
post	this.myOwner.stringConverter == One-of{old this.myOwner.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	init'ed(this.myOwner.stringConverter)
post	this.myOwner.triedAlt == old this.myOwner.triedAlt
post	new IRCStringConverter(getIRCStringConverter#1) num objects == undefined
post	new IRCStringConverter(getIRCStringConverter#1) num objects == 0, if init'ed
post	new IRCStringConverter(getIRCStringConverter#1). limit == new IRCStringConverter(getIRCStringConvert er#1) num objects
post	new IRCStringConverter(updateCharArrays#1) num objects == new IRCStringConverter(getIRCStringConv erter#1) num objects
post	new IRCStringConverter(updateCharArrays#1).limit == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new IRCStringConverter(getIRCStringConverter#1). lowercase == undefined
post	new IRCStringConverter(getIRCStringConverter#1). lowercase == null
post	new IRCStringConverter(getIRCStringConverter#1). uppercase == new IRCStringConverter(getIRCStringCon verter#1).lowercase
post	new IRCStringConverter(updateCharArrays#1). lowercase == new IRCStringConverter(getIRCStringCon verter#1).lowercase
post	new IRCStringConverter(updateCharArrays#1). uppercase == new IRCStringConverter(getIRCStringCon verter#1).lowercase
post	new char[](IRCStringConverter#1) num objects <= 1
post	new char[](IRCStringConverter#2) num objects == new char[](IRCStringConverter#1) num objects
post	init'ed(new char[](IRCStringConverter#1).length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	init'ed(new char[](IRCStringConverter#2).length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:set
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on doSendString
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on sendString
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on call
unanalyzed	call on java.net.Socket:close
unanalyzed	call on callSocketClosed
unanalyzed	call on resetState
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo
unanalyzed	call on setFake
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on disconnect
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on callPingSent
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.io.PrintWriter:printf
unanalyzed	call on setAwayReason
unanalyzed	call on java.util.LinkedList
unanalyzed	call on getListModeQueue
unanalyzed	call on java.util.LinkedList:contains
unanalyzed	call on java.util.Queue:offer
unanalyzed	call on java.util.LinkedList:offer