Messages

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionSubstitutionsPanel$1__static_init

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionSubstitutionsPanel__static_init

method	void setType(Object)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	List access$002(ActionSubstitutionsPanel, List)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.substitutions == return_value

method	List access$100(ActionSubstitutionsPanel)
pre	x0 != null
pre	init'ed(x0.substitutions)
post	return_value == x0.substitutions
post	init'ed(return_value)

method	List access$200(ActionSubstitutionsPanel)
pre	x0 != null
pre	init'ed(x0.substitutions)
post	return_value == x0.substitutions
post	init'ed(return_value)

method	List access$300(ActionSubstitutionsPanel)
pre	x0 != null
pre	init'ed(x0.substitutions)
post	return_value == x0.substitutions
post	init'ed(return_value)

method	void access$400(ActionSubstitutionsPanel)
pre	x0 != null
pre	x0.alignment != null
pre	init'ed(x0.description)
pre	x0.substitutions != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:removeAll
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:add
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount
unanalyzed	call on javax.swing.JLabel

method	void access$500(ActionSubstitutionsPanel)
pre	x0 != null
pre	x0.alignment != null
pre	init'ed(x0.description)
pre	x0.substitutions != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:removeAll
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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:add
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount
unanalyzed	call on javax.swing.JLabel

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel()
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 == &"Substitutions may be used in the response and target fields"
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel(ActionType)
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 == &"Substitutions may be used in the response and target fields"
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel$1(ActionSubst itutionsPanel, ActionType)
post	this.val$type == Param_2
post	init'ed(this.val$type)

method

void setType(ActionType)

method	void run()
pre	this.alignment != null
pre	init'ed(this.description)
presumption	com.dmdirc.actions.ActionSubstitutor:getComponentSu bstitutions(...)@79 != null
presumption	com.dmdirc.actions.ActionSubstitutor:getConfigSubst itutions(...)@85 != null
presumption	com.dmdirc.actions.ActionSubstitutor:getServerSubst itutions(...)@90 != null
presumption	java.util.Iterator:next(...)@79 != null
presumption	java.util.Iterator:next(...)@90 != null
presumption	java.util.Map:entrySet(...)@79 != null
presumption	java.util.Map:entrySet(...)@90 != null
post	new ArrayList(run#1) num objects == 1
unanalyzed	call on java.awt.dnd.DragSource:getDefaultDragSourc e
unanalyzed	call on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setFont
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.BorderFactory:createCompoundBor der
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setContentAreaFille d
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addFocusListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addActionListener
unanalyzed	call on javax.swing.JButton
unanalyzed	call on layoutComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:removeAll
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 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 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
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:add
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount
unanalyzed	call on javax.swing.JLabel
test_vector	this.val$type: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@79: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@85: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@90: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionSubstitutor(A ctionType)

method not available - call not analyzed Info call on Map com.dmdirc.actions.ActionSubstitutor:ge tComponentSubstitutions()

method not available - call not analyzed Info call on Set com.dmdirc.actions.ActionSubstitutor:ge tConfigSubstitutions()

method not available - call not analyzed Info call on Map com.dmdirc.actions.ActionSubstitutor:ge tServerSubstitutions()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionSubstitutionsPanel:validate()