Messages

method

com.dmdirc.addons.dcc.DCCChat__static_init

method	void com.dmdirc.addons.dcc.DCCChat()
post	this.address == 0
post	this.listen == 0
post	this.port == 0
post	this.running == 0
post	this.handler == null
post	this.serverListeningSem == &new Semaphore(DCC#2)
post	this.serverSocketSem == &new Semaphore(DCC#1)
post	new Semaphore(DCC#1) num objects == 1
post	new Semaphore(DCC#2) num objects == 1
unanalyzed	call on java.util.concurrent.Semaphore

method	void setHandler(DCCChatInterface)
post	this.handler == handler
post	init'ed(this.handler)

method	void socketOpened()
pre	init'ed(this.handler)
pre	(soft) this.socket != null
post	this.in in Addr_Set{null,&new BufferedReader(so cketOpened#2)}
post	this.out in Addr_Set{null,&new PrintWriter(sock etOpened#1)}
post	new BufferedReader(socketOpened#2) num objects <= 1
post	new PrintWriter(socketOpened#1) num objects <= 1
unanalyzed	call on socketClosed
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on addLine
unanalyzed	call on setIcon
test_vector	this.handler: Addr_Set{null}, Inverse{null}

call too complex - analysis skipped Info call on void socketOpened(DCCChat)

method	void socketClosed()
pre	init'ed(this.handler)
post	this.in == null
post	this.out == null
test_vector	this.handler: Addr_Set{null}, Inverse{null}

call too complex - analysis skipped Info call on void socketClosed(DCCChat)

method	bool handleSocket()
pre	init'ed(this.out)
pre	(soft) init'ed(this.handler)
pre	(soft) init'ed(this.in)
post	init'ed(return_value)
test_vector	this.handler: Addr_Set{null}, Inverse{null}
test_vector	this.in: Inverse{null}, Addr_Set{null}
test_vector	this.out: Addr_Set{null}, Inverse{null}
test_vector	java.io.BufferedReader:readLine(...)@99: Inverse{null}, Addr_Set{null}

call too complex - analysis skipped Info call on void handleChatMessage(DCCChat, String)

method	void sendLine(String)
pre	init'ed(this.out)
test_vector	this.out: Addr_Set{null}, Inverse{null}