TextLabel.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.TextLabel()

    • Kind Annotation Text
    postnew SimpleAttributeSet(TextLabel#6) num objects == 1
    postthis.sas == &new SimpleAttributeSet(TextLabel#6 )
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    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.UIManager:getFont
    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.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule

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

    • Kind Annotation Text
    postnew SimpleAttributeSet(TextLabel#6) num objects == 1
    postthis.sas == &new SimpleAttributeSet(TextLabel#6 )
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    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.UIManager:getFont
    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.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule

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

    • Kind Annotation Text
    presumptionjavax.swing.JTextPane:getDocument(...)@101 != null
    presumptionjavax.swing.UIManager:getFont(...)@79 != null
    presumptionjavax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@80 != null
    presumptionjavax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@83 != null
    postnew SimpleAttributeSet(TextLabel#6) num objects == 1
    postthis.sas == &new SimpleAttributeSet(TextLabel#6 )
    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.TextLabel__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(...)@101 != null
    unanalyzedcall on javax.swing.JTextPane:getDocument
    test_vectorjava.lang.String:isEmpty(...)@108: {1}, {0}
    test_vectort: Addr_Set{null}, Inverse{null}