Messages

method

com.dmdirc.addons.ui_swing.dialogs.actionsmanager. ActionGroupInformationPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel(ActionGr oup)
post	this.author == &new JLabel(initComponents#5)
post	this.authorLabel == &new JLabel(initComponents# 4)
post	this.group == group
post	init'ed(this.group)
post	this.infoLabel == &new OldTextLabel(initCompone nts#1)
post	this.version == &new JLabel(initComponents#3)
post	this.versionLabel == &new JLabel(initComponents #2)
post	new JLabel(initComponents#2) num objects == 1
post	new JLabel(initComponents#3) num objects == 1
post	new JLabel(initComponents#4) num objects == 1
post	new JLabel(initComponents#5) num objects == 1
post	new OldTextLabel(initComponents#1) num objects == 1
post	new SimpleAttributeSet(OldTextLabel#4) num objects == 1
post	new OldTextLabel(initComponents#1).sas == &new SimpleAttributeSet(OldTextLabel#4)
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setLayou t
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:add
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.JLabel:setText
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on javax.swing.JLabel:setVisible
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
unanalyzed	call on javax.swing.JLabel

method	void initComponents()
pre	init'ed(this.group)
post	this.author == &new JLabel(initComponents#5)
post	this.authorLabel == &new JLabel(initComponents# 4)
post	this.group == old this.group
post	init'ed(this.group)
post	this.infoLabel == &new OldTextLabel(initCompone nts#1)
post	this.version == &new JLabel(initComponents#3)
post	this.versionLabel == &new JLabel(initComponents #2)
post	new JLabel(initComponents#2) num objects == 1
post	new JLabel(initComponents#3) num objects == 1
post	new JLabel(initComponents#4) num objects == 1
post	new JLabel(initComponents#5) num objects == 1
post	new OldTextLabel(initComponents#1) num objects == 1
post	new SimpleAttributeSet(OldTextLabel#4) num objects == 1
post	this.infoLabel.sas == &new SimpleAttributeSet(O ldTextLabel#4)
unanalyzed	call on com.dmdirc.actions.ActionGroup:getDescripti on
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.JLabel:setText
unanalyzed	call on com.dmdirc.actions.ActionGroup:getAuthor
unanalyzed	call on com.dmdirc.actions.ActionGroup:getVersion
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on javax.swing.JLabel:setVisible
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 addListeners()

method	void layoutComponents()
pre	init'ed(this.author)
pre	init'ed(this.authorLabel)
pre	init'ed(this.infoLabel)
pre	init'ed(this.version)
pre	init'ed(this.versionLabel)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setLayou t(LayoutManager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:add(Comp onent, Object)

method	void setActionGroup(ActionGroup)
pre	this.author != null
pre	this.infoLabel != null
pre	this.version != null
pre	(soft) this.authorLabel != null
pre	(soft) init'ed(this.infoLabel.sas)
pre	(soft) this.versionLabel != null
post	this.group == group
post	init'ed(this.group)
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	group: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.actions.ActionGroup:getDescription(... )@112: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getDe scription()

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getAu thor()

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionGroup:getVersi on()

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getAu thor()

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionGroup:getVersi on()

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getAu thor()

method not available - call not analyzed Info call on int com.dmdirc.actions.ActionGroup:getVersi on()

method	bool shouldDisplay()
pre	init'ed(this.group)
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.actions.ActionGroup:getDe scription()

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setLayou t(LayoutManager)