Messages

method

com.dmdirc.addons.time.TimedCommand__static_init

method	void com.dmdirc.addons.time.TimedCommand(int, int, String, InputWindow)
post	this.command == command
post	init'ed(this.command)
post	this.origin == origin
post	init'ed(this.origin)
post	this.repetitions == repetitions
post	init'ed(this.repetitions)
post	this.timer == &new Timer(TimedCommand#1)
post	new Timer(TimedCommand#1) num objects == 1

method	void run()
pre	this.repetitions >= -2³¹+1
pre	(soft) this.timer != null
presumption	com.dmdirc.commandparser.parsers.GlobalCommandParse r:getGlobalCommandParser(...)@73 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@75 != null
post	this.repetitions == old this.repetitions - 1
post	this.repetitions <= 2³²-2
test_vector	this.repetitions: {2..2³²-1}, {-2³¹+1..1}
test_vector	this.origin: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on GlobalCommandParser com.dmdirc. commandparser.parsers.GlobalCommandParser:getGlobal CommandParser()

method not available - call not analyzed Info call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. CommandParser:parseCommand(InputWindow, String)