Messages

method

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

method	Document getDocument()
post	init'ed(return_value)
unanalyzed	call on javax.swing.JTextPane:getDocument

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

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

method	void com.dmdirc.addons.ui_swing.components.text. OldTextLabel(String, bool)
presumption	com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@84 != null
presumption	com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@85 != null
presumption	com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@86 != null
presumption	com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont(...)@87 != null
post	this.sas == &new SimpleAttributeSet(OldTextLabe l#4)
post	new SimpleAttributeSet(OldTextLabel#4) num objects == 1
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
test_vector	justified: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.OldTextLabel:setUI(TextUI)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.OldTextLabel:setOpaque(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.OldTextLabel:setEditable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.OldTextLabel:setHighlighter(Highlighter)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.OldTextLabel:setMargin(Insets)

method not available - call not analyzed Info call on Font com.dmdirc.addons.ui_swing.components. text.OldTextLabel:getFont()

method	StyledDocument getDocument()
post	init'ed(return_value)

method	void setText(String)
pre	(soft) init'ed(this.sas)
presumption	javax.swing.JTextPane:getDocument(...)@95 != null
unanalyzed	call on javax.swing.JTextPane:getDocument
test_vector	t: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@102: {1}, {0}