Messages

method

com.dmdirc.addons.ui_swing.components.text. TextLabel__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. TextLabel()
post	this.sas == &new SimpleAttributeSet(TextLabel#6 )
post	new SimpleAttributeSet(TextLabel#6) 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.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t

method	void com.dmdirc.addons.ui_swing.components.text. TextLabel(String)
post	this.sas == &new SimpleAttributeSet(TextLabel#6 )
post	new SimpleAttributeSet(TextLabel#6) 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.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t

method	void com.dmdirc.addons.ui_swing.components.text. TextLabel(String, bool)
presumption	javax.swing.JTextPane:getDocument(...)@101 != null
presumption	javax.swing.UIManager:getFont(...)@79 != null
presumption	javax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@80 != null
presumption	javax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@83 != null
post	this.sas == &new SimpleAttributeSet(TextLabel#6 )
post	new SimpleAttributeSet(TextLabel#6) 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.TextLabel:setEditorKit(EditorKit)

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

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

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

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

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

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

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