Last Msg First Msg
























method com.dmdirc.addons.ui_swing.textpane.Line__static_ init










method void com.dmdirc.addons.ui_swing.textpane. Line(String[], ConfigManager)
presumptionjavax.swing.UIManager:getFont(...)@63 != null
postthis.config == config
postinit'ed(this.config)
postinit'ed(this.lineHeight)
postthis.lineParts == lineParts
postinit'ed(this.lineParts)










method String[] getLineParts()
postreturn_value == this.lineParts
postinit'ed(return_value)










method int getLength()
prethis.lineParts != null
prethis.lineParts.length <= 232-1
pre(soft) this.lineParts[...] != null
postinit'ed(return_value)










method int getHeight()
preinit'ed(this.lineHeight)
postreturn_value == this.lineHeight
postinit'ed(return_value)










method String getText()
prethis.lineParts != null
prethis.lineParts.length <= 232-1
pre(soft) init'ed(this.lineParts[...])
postinit'ed(return_value)









  method not available - call not analyzedInfocall on String com.dmdirc.ui.messages. Styliser:stipControlCodes(String)











method String getStyledText()
prethis.lineParts != null
prethis.lineParts.length <= 232-1
pre(soft) init'ed(this.lineParts[...])
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)










method AttributedString getStyled()
prethis.config != null
pre(soft) this.config.sources != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumptioninit'ed(com.dmdirc.ui.messages.IRCTextAttribute. CHANNEL)
presumptioninit'ed(com.dmdirc.ui.messages.IRCTextAttribute. HYPERLINK)
presumptioninit'ed(com.dmdirc.ui.messages.IRCTextAttribute. NICKNAME)
presumptioncom.dmdirc.ui.messages.Styliser:getStyledString(... )@131 != null
presumptioninit'ed(java.awt.font.TextAttribute.BACKGROUND)
presumptioninit'ed(java.awt.font.TextAttribute.FAMILY)
presumptioninit'ed(java.awt.font.TextAttribute.FOREGROUND)
presumptioninit'ed(java.awt.font.TextAttribute.POSTURE)
presumptioninit'ed(java.awt.font.TextAttribute.POSTURE_ OBLIQUE)
presumptioninit'ed(java.awt.font.TextAttribute.SIZE)
presumptioninit'ed(java.awt.font.TextAttribute.UNDERLINE)
presumptioninit'ed(java.awt.font.TextAttribute.UNDERLINE_ON)
presumptioninit'ed(java.awt.font.TextAttribute.WEIGHT)
presumptioninit'ed(java.awt.font.TextAttribute.WEIGHT_BOLD)
presumptionjava.text.AttributedString:getIterator(...)@159 != null
presumptionjava.text.AttributedString:getIterator(...)@233 != null
presumptionjavax.swing.UIManager:getFont(...)@144 != null
presumptionjavax.swing.text.AttributeSet:getAttributeNames(... )@169 != null
presumptionjavax.swing.text.Element:getAttributes(...)@168 != null
presumptionjavax.swing.text.Element:getDocument(...)@136 != null
presumptionjavax.swing.text.Element:getElement(...)@166 != null
presumptioninit'ed(javax.swing.text.StyleConstants$CharacterCo nstants.Underline)
presumptioninit'ed(javax.swing.text.StyleConstants$ColorConsta nts.Background)
presumptioninit'ed(javax.swing.text.StyleConstants$ColorConsta nts.Foreground)
presumptioninit'ed(javax.swing.text.StyleConstants$FontConstan ts.Bold)
presumptioninit'ed(javax.swing.text.StyleConstants$FontConstan ts.Family)
presumptioninit'ed(javax.swing.text.StyleConstants$FontConstan ts.Italic)
presumptionjavax.swing.text.StyledDocument:getParagraphElement (...)@134 != null
postreturn_value in Addr_Set{&amp;new AttributedString( getStyled#1),&amp;new AttributedString(getStyled#4) }
postinit'ed(this.lineHeight)
postnew AttributedString(getStyled#1) num objects == 1
postnew AttributedString(getStyled#4) num objects <= 1
unanalyzedcall on hasOption
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.lang.Integer:intValue
unanalyzedcall on java.lang.Integer:valueOf
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getOption
unanalyzedcall on java.lang.IllegalArgumentException
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
test_vectorjava.text.AttributedCharacterIterator:getEndIndex(. ..)@159: {0}, {-231..-1, 1.. 232-1}
test_vectorjava.text.AttributedCharacterIterator:getEndIndex(. ..)@233: {-231..-1, 1..232-1}, {0}
test_vectorjava.util.Enumeration:hasMoreElements(...)@171: {0}, {1}









  method not available - call not analyzedInfocall on StyledDocument com.dmdirc.ui.messages. Styliser:getStyledString(String[])










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:userError(Err orLevel, String)










Prev Msg Next Msg
  null dereference
Medium Prob.
check that attString != null
Prev Msg Next Msg











method bool equals(Object)
postinit'ed(return_value)










method int hashCode()
prethis.lineParts != null
postinit'ed(return_value)