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
    postCHANNEL == &new IRCTextAttribute(IRCTextAttribu te__static_init#4)
    postHYPERLINK == &new IRCTextAttribute(IRCTextAttri bute__static_init#2)
    postINSTANCE_MAP == &new HashMap(IRCTextAttribute__ static_init#1)
    postNICKNAME == &new IRCTextAttribute(IRCTextAttrib ute__static_init#3)
    postSMILEY == &new IRCTextAttribute(IRCTextAttribut e__static_init#5)
    postinit'ed(INSTANCE_MAP)
    postnew HashMap(IRCTextAttribute__static_init#1) num objects == 1
    postnew IRCTextAttribute(IRCTextAttribute__static_ init#2) num objects == 1
    postnew IRCTextAttribute(IRCTextAttribute__static_ init#3) num objects == 1
    postnew IRCTextAttribute(IRCTextAttribute__static_ init#4) num objects == 1
    postnew IRCTextAttribute(IRCTextAttribute__static_ init#5) num objects == 1
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.text.AttributedCharacterIterator$Attri bute
    unanalyzedcall on java.util.Map:put

  • Object readResolve()

  • Kind Annotation Text
    presumptionjava.util.Map:get(...)@72 != null
    postreturn_value != null