OldTextLabel.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.components.text.OldTextLabel()

    • Kind Annotation Text
    postnew SimpleAttributeSet(OldTextLabel#4) num objects == 1
    postthis.sas == &new SimpleAttributeSet(OldTextLabe l#4)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Font:isBold
    unanalyzedcall on java.awt.Font:isItalic
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyleConstants:setBold
    unanalyzedcall on javax.swing.text.StyleConstants:setFontFami ly
    unanalyzedcall on javax.swing.text.StyleConstants:setFontSize
    unanalyzedcall on javax.swing.text.StyleConstants:setItalic
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes

  • void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)

    • Kind Annotation Text
    postnew SimpleAttributeSet(OldTextLabel#4) num objects == 1
    postthis.sas == &new SimpleAttributeSet(OldTextLabe l#4)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Font:isBold
    unanalyzedcall on java.awt.Font:isItalic
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyleConstants:setBold
    unanalyzedcall on javax.swing.text.StyleConstants:setFontFami ly
    unanalyzedcall on javax.swing.text.StyleConstants:setFontSize
    unanalyzedcall on javax.swing.text.StyleConstants:setItalic
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes

  • void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@84 != null
    presumptioncom.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@85 != null
    presumptioncom.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@86 != null
    presumptioncom.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@87 != null
    postnew SimpleAttributeSet(OldTextLabel#4) num objects == 1
    postthis.sas == &new SimpleAttributeSet(OldTextLabe l#4)
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    test_vectorjustified: {0}, {1}

  • com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init

    • Kind Annotation Text

  • Document getDocument()

    • Kind Annotation Text
    postinit'ed(return_value)
    unanalyzedcall on javax.swing.JTextPane:getDocument

  • StyledDocument getDocument()

    • Kind Annotation Text
    postinit'ed(return_value)

  • void setText(String)

    • Kind Annotation Text
    pre(soft) init'ed(this.sas)
    presumptionjavax.swing.JTextPane:getDocument(...)@95 != null
    unanalyzedcall on javax.swing.JTextPane:getDocument
    test_vectorjava.lang.String:isEmpty(...)@102: {1}, {0}
    test_vectort: Addr_Set{null}, Inverse{null}