Messages

method

com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel__static_init

method	SubstitutionsPanel$Alignment[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new SubstitutionsPanel$Alignme nt[](values#1)
post	new SubstitutionsPanel$Alignment[](values#1) num objects == 1
post	return_value.length == 2
post	return_value[...] == One-of{$VALUES[...], undefined}

method	SubstitutionsPanel$Alignment valueOf(String)
post	init'ed(return_value)

method

void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment(String, int)

method	com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment__static_ init
post	$VALUES == &new SubstitutionsPanel$Alignment[]( SubstitutionsPanel$Alignment__static_init#3)
post	HORIZONTAL == &new SubstitutionsPanel$Alignment (SubstitutionsPanel$Alignment__static_init#1)
post	$VALUES[0] == &new SubstitutionsPanel$Alignment (SubstitutionsPanel$Alignment__static_init#1)
post	VERTICAL == &new SubstitutionsPanel$Alignment(S ubstitutionsPanel$Alignment__static_init#2)
post	$VALUES[1] == &new SubstitutionsPanel$Alignment (SubstitutionsPanel$Alignment__static_init#2)
post	new SubstitutionsPanel$Alignment(SubstitutionsPanel $Alignment__static_init#1) num objects == 1
post	new SubstitutionsPanel$Alignment(SubstitutionsPanel $Alignment__static_init#2) num objects == 1
post	new SubstitutionsPanel$Alignment[](SubstitutionsPan el$Alignment__static_init#3) num objects == 1
post	$VALUES.length == 2
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel(String)
post	this.alignment == &com.dmdirc.addons.ui_swing. components.substitutions.SubstitutionsPanel$Alignme nt__static_init.new SubstitutionsPanel$Alignment(Su bstitutionsPanel$Alignment__static_init#2)
post	this.description == description
post	init'ed(this.description)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on setType
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel(String, Object)
post	this.alignment == &com.dmdirc.addons.ui_swing. components.substitutions.SubstitutionsPanel$Alignme nt__static_init.new SubstitutionsPanel$Alignment(Su bstitutionsPanel$Alignment__static_init#2)
post	this.description == description
post	init'ed(this.description)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on setType
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel(String, SubstitutionsPanel$Alignment)
pre	alignment != null
post	this.alignment == alignment
post	this.alignment != null
post	this.description == description
post	init'ed(this.description)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on setType
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel(String, SubstitutionsPanel$Alignment, Object)
pre	alignment != null
post	this.alignment == alignment
post	this.alignment != null
post	this.description == description
post	init'ed(this.description)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void initComponents()
pre	this.alignment != null
test_vector	com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel_Alignment:equals(. ..)@117: {0}, {1}

method not available - call not analyzed Info call on Border com.dmdirc.addons.ui_swing. components.substitutions.SubstitutionsPanel:getBord er()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder(Border)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals(O bject)

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.components. substitutions.SubstitutionsPanel:setLayout(LayoutMa nager)

method

void addListeners()

method	void layoutComponents()
pre	this.alignment != null
pre	init'ed(this.description)
pre	this.substitutions != null
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
test_vector	com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount( ...)@149: {-2³¹..1, 3..2³²-1}, {2}
test_vector	com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel_Alignment:equals(. ..)@137: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@145: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:isVisible()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:removeAll()

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals(O bject)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:add(Component, Object)

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount( )

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:add(Component, Object)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible(bool)

	method not available - call not analyzed	Info	call on Border com.dmdirc.addons.ui_swing. components.substitutions.SubstitutionsPanel:getBord er()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder(Border)

	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.components. substitutions.SubstitutionsPanel:setLayout(LayoutMa nager)