AliasSubstitutionsPanel.java

AliasSubstitutionsPanel.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

List access$002(AliasSubstitutionsPanel, List)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x1
post	x0.substitutions == return_value

List access$100(AliasSubstitutionsPanel)

Kind	Annotation Text
pre	init'ed(x0.substitutions)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.substitutions

List access$200(AliasSubstitutionsPanel)

Kind	Annotation Text
pre	init'ed(x0.substitutions)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.substitutions

List access$300(AliasSubstitutionsPanel)

Kind	Annotation Text
pre	init'ed(x0.substitutions)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.substitutions

List access$400(AliasSubstitutionsPanel)

Kind	Annotation Text
pre	init'ed(x0.substitutions)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.substitutions

List access$500(AliasSubstitutionsPanel)

Kind	Annotation Text
pre	init'ed(x0.substitutions)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.substitutions

void access$600(AliasSubstitutionsPanel)

Kind	Annotation Text
pre	init'ed(x0.description)
pre	x0 != null
pre	x0.alignment != null
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:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
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 com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

void access$700(AliasSubstitutionsPanel)

Kind	Annotation Text
pre	init'ed(x0.description)
pre	x0 != null
pre	x0.alignment != null
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:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
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 com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasSubstitutionsPanel$1(AliasSubstitutionsPanel, ActionType)

Kind	Annotation Text
post	init'ed(this.val$type)
post	this.val$type == Param_2

com.dmdirc.addons.ui_swing.dialogs.aliases.AliasSubstitutionsPanel$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasSubstitutionsPanel()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.actions.CoreActionType.UNKNOWN_ COMMAND)
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 field"
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setLayout
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on setType

com.dmdirc.addons.ui_swing.dialogs.aliases.AliasSubstitutionsPanel__static_init

Kind	Annotation Text

void run()

Kind	Annotation Text
pre	init'ed(this.description)
pre	this.alignment != null
presumption	com.dmdirc.actions.ActionSubstitutor:getComponentSu bstitutions(...)@74 != null
presumption	com.dmdirc.actions.ActionSubstitutor:getConfigSubst itutions(...)@80 != null
presumption	com.dmdirc.actions.ActionSubstitutor:getServerSubst itutions(...)@85 != null
presumption	java.util.Iterator:next(...)@74 != null
presumption	java.util.Iterator:next(...)@85 != null
presumption	java.util.Map:entrySet(...)@74 != null
presumption	java.util.Map:entrySet(...)@85 != null
post	new ArrayList(run#1) num objects == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addFocusListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont
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 com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel$Alignment:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:getComponentCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
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 com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer
unanalyzed	call on java.awt.dnd.DragSource:getDefaultDragSourc e
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createCompoundBor der
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on layoutComponents
test_vector	java.util.Iterator:hasNext(...)@74: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@80: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@85: {0}, {1}
test_vector	this.val$type: Addr_Set{null}, Inverse{null}

void setType(ActionType)

Kind	Annotation Text

void setType(Object)

Kind	Annotation Text
unanalyzed	call on javax.swing.SwingUtilities:invokeLater