Line.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.ui_swing.textpane.Line(String[], ConfigManager)

    • Kind Annotation Text
    presumptionjavax.swing.UIManager:getFont(...)@63 != null
    postinit'ed(this.config)
    postinit'ed(this.lineHeight)
    postinit'ed(this.lineParts)
    postthis.config == config
    postthis.lineParts == lineParts

  • com.dmdirc.addons.ui_swing.textpane.Line__static_init

    • Kind Annotation Text

  • bool equals(Object)

    • Kind Annotation Text
    postinit'ed(return_value)

  • int getHeight()

    • Kind Annotation Text
    preinit'ed(this.lineHeight)
    postinit'ed(return_value)
    postreturn_value == this.lineHeight

  • int getLength()

    • Kind Annotation Text
    pre(soft) this.lineParts[...] != null
    prethis.lineParts != null
    prethis.lineParts.length <= 232-1
    postinit'ed(return_value)

  • String[] getLineParts()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.lineParts

  • AttributedString getStyled()

    • Kind Annotation Text
    pre(soft) this.config.sources != null
    prethis.config != null
    presumptioncom.dmdirc.ui.messages.Styliser:getStyledString(... )@131 != 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)
    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)
    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)
    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
    presumptionjavax.swing.text.StyledDocument:getParagraphElement (...)@134 != null
    postinit'ed(this.lineHeight)
    postnew AttributedString(getStyled#1) num objects == 1
    postnew AttributedString(getStyled#4) num objects <= 1
    postreturn_value in Addr_Set{&amp;new AttributedString( getStyled#1),&amp;new AttributedString(getStyled#4) }
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on getOption
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    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}

  • String getStyledText()

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

  • String getText()

    • Kind Annotation Text
    pre(soft) init'ed(this.lineParts[...])
    prethis.lineParts != null
    prethis.lineParts.length <= 232-1
    postinit'ed(return_value)

  • int hashCode()

    • Kind Annotation Text
    prethis.lineParts != null
    postinit'ed(return_value)