IRCTextAttribute.java

IRCTextAttribute.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.ui.messages.IRCTextAttribute(String)

Kind	Annotation Text

com.dmdirc.ui.messages.IRCTextAttribute__static_init

Kind	Annotation Text
post	CHANNEL == &new IRCTextAttribute(IRCTextAttribu te__static_init#4)
post	HYPERLINK == &new IRCTextAttribute(IRCTextAttri bute__static_init#2)
post	INSTANCE_MAP == &new HashMap(IRCTextAttribute__ static_init#1)
post	NICKNAME == &new IRCTextAttribute(IRCTextAttrib ute__static_init#3)
post	SMILEY == &new IRCTextAttribute(IRCTextAttribut e__static_init#5)
post	init'ed(INSTANCE_MAP)
post	new HashMap(IRCTextAttribute__static_init#1) num objects == 1
post	new IRCTextAttribute(IRCTextAttribute__static_ init#2) num objects == 1
post	new IRCTextAttribute(IRCTextAttribute__static_ init#3) num objects == 1
post	new IRCTextAttribute(IRCTextAttribute__static_ init#4) num objects == 1
post	new IRCTextAttribute(IRCTextAttribute__static_ init#5) num objects == 1
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.text.AttributedCharacterIterator$Attri bute
unanalyzed	call on java.util.Map:put

Object readResolve()

Kind	Annotation Text
presumption	java.util.Map:get(...)@72 != null
post	return_value != null