TimedCommand.java

TimedCommand.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.time.TimedCommand(int, int, String, InputWindow)

Kind	Annotation Text
post	init'ed(this.command)
post	init'ed(this.origin)
post	init'ed(this.repetitions)
post	new Timer(TimedCommand#1) num objects == 1
post	this.command == command
post	this.origin == origin
post	this.repetitions == repetitions
post	this.timer == &new Timer(TimedCommand#1)

com.dmdirc.addons.time.TimedCommand__static_init

Kind	Annotation Text

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