TopicPane.java

TopicPane.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

ChannelSettingsDialog access$100(TopicPane)

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

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.topicWho.sas)
pre	(soft) this.topicText != null
pre	this.topicHistory != null
pre	this.topicWho != null
presumption	com.dmdirc.Topic:getTime(...)@229 in {-9_223_372_036_854_775..18_446_744_073_709_551}
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
test_vector	javax.swing.JComboBox:getSelectedItem(...)@225: Inverse{null}, Addr_Set{null}

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.parent.channelListModesPane. listModesArray[...])
pre	(soft) this...channel != null
pre	(soft) this...topicText != null
pre	(soft) this.parent.channelListModesPane. existingListItems != null
pre	(soft) this.parent.channelListModesPane. listModesPanels != null
pre	(soft) this.parent.channelModesPane.modeCheckBoxes != null
pre	(soft) this.parent.channelModesPane.modeInputs != null
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/channels etting/ChannelSettingsDialog.me)
pre	this.parent != null
pre	this.parent.channelListModesPane != null
pre	this.parent.channelListModesPane.channel != null
pre	this.parent.channelListModesPane.listModesArray != null
pre	this.parent.channelListModesPane.listModesArray. length <= 2³²-1
pre	this.parent.channelListModesPane.toggle != null
pre	this.parent.channelModesPane != null
pre	this.parent.channelModesPane.channel != null
pre	this.parent.channelSettingsPane != null
pre	this.parent.identity != null
pre	this.parent.tabbedPane != null
pre	this.parent.topicModesPane != null
post	com/dmdirc/addons/ui_swing/dialogs/channelsetting/C hannelSettingsDialog.me == null
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Channel:setTopic
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getState
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:save
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:alterMode
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:sendModes
unanalyzed	call on com.dmdirc.parser.irc.ChannelListModeItem:g etItem
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:contains
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.DefaultListModel:elements
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JTabbedPane:getSelectedIndex

void changedUpdate(DocumentEvent)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.channelsetting.TopicPane$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.channelsetting.TopicPane$EnterAction(TopicPane)

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.channelsetting.TopicPane$EnterAction(TopicPane, TopicPane$1)

Kind	Annotation Text
unanalyzed	call on javax.swing.AbstractAction

com.dmdirc.addons.ui_swing.dialogs.channelsetting.TopicPane$EnterAction__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.channelsetting.TopicPane(Channel, ChannelSettingsDialog)

Kind	Annotation Text
pre	channel != null
presumption	com.dmdirc.Channel:getServer(...)@95 != null
presumption	com.dmdirc.Server:getParser(...)@95 != null
presumption	com.dmdirc.parser.irc.IRCParser:get005(...)@95 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	init'ed(this.parent)
post	init'ed(this.topicLengthMax)
post	new JComboBox(initTopicsPanel#3) num objects == 1
post	new JLabel(initTopicsPanel#1) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextAreaInputField(initTopicsPanel#2) num objects == 1
post	new TextLabel(initTopicsPanel#5) num objects == 1
post	this.channel != null
post	this.channel == channel
post	this.parent == parent
post	this.topicHistory == &new JComboBox(initTopicsP anel#3)
post	this.topicLengthLabel == &new JLabel(initTopics Panel#1)
post	this.topicText == &new TextAreaInputField(initT opicsPanel#2)
post	this.topicWho == &new TextLabel(initTopicsPanel #5)
post	this.topicWho.sas == &new SimpleAttributeSet(Te xtLabel#6)
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.Channel:getTopics
unanalyzed	call on com.dmdirc.Topic:getClient
unanalyzed	call on com.dmdirc.Topic:getTime
unanalyzed	call on com.dmdirc.Topic:getTopic
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NoNewlinesPasteAction
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setLineWrap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setWrapStyleWord
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 com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setVisible
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
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.Collections:reverse
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.List:toArray
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setPrototypeDisplayVa lue
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JScrollPane
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.KeyStroke:getKeyStroke
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.Document:addDocumentListen er
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 net.miginfocom.swing.MigLayout
test_vector	java.util.Map:containsKey(...)@97: {0}, {1}

com.dmdirc.addons.ui_swing.dialogs.channelsetting.TopicPane__static_init

Kind	Annotation Text

void initTopicsPanel()

Kind	Annotation Text
pre	init'ed(this.topicLengthMax)
pre	this.channel != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@140 != null
presumption	com.dmdirc.Channel:getFrame(...)@145 != null
presumption	com.dmdirc.Channel:getTopics(...)@127 != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap(...)@148 != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap(...)@151 != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap(...)@154 != null
presumption	javax.swing.JComboBox:getModel(...)@136 != null
post	new JComboBox(initTopicsPanel#3) num objects == 1
post	new JLabel(initTopicsPanel#1) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextAreaInputField(initTopicsPanel#2) num objects == 1
post	new TextLabel(initTopicsPanel#5) num objects == 1
post	this.topicHistory == &new JComboBox(initTopicsP anel#3)
post	this.topicLengthLabel == &new JLabel(initTopics Panel#1)
post	this.topicText == &new TextAreaInputField(initT opicsPanel#2)
post	this.topicWho == &new TextLabel(initTopicsPanel #5)
post	this.topicWho.sas == &new SimpleAttributeSet(Te xtLabel#6)
unanalyzed	call on com.dmdirc.Topic:getClient
unanalyzed	call on com.dmdirc.Topic:getTime
unanalyzed	call on com.dmdirc.Topic:getTopic
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setText
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.Date
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on javax.swing.JLabel:setText
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
test_vector	javax.swing.ComboBoxModel:getSize(...)@136: {-2³¹..-1, 1..2³²-1}, {0}

void insertUpdate(DocumentEvent)

Kind	Annotation Text
pre	init'ed(this.topicLengthMax)
pre	this.topicLengthLabel != null
pre	this.topicText != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on javax.swing.JLabel:setText

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.topicHistory)
pre	init'ed(this.topicLengthLabel)
pre	init'ed(this.topicText)
pre	init'ed(this.topicWho)

void removeUpdate(DocumentEvent)

Kind	Annotation Text
pre	init'ed(this.topicLengthMax)
pre	this.topicLengthLabel != null
pre	this.topicText != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on javax.swing.JLabel:setText

void setChangedTopic()

Kind	Annotation Text
pre	this.channel != null
pre	this.topicText != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@176 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getTopic(... )@176 != null
test_vector	java.lang.String:equals(...)@176: {1}, {0}

void topicChanged()

Kind	Annotation Text
pre	init'ed(this.topicLengthMax)
pre	this.topicLengthLabel != null
pre	this.topicText != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText(...)@185 != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText(...)@187 != null
presumption	init'ed(java.awt.Color.BLACK)
presumption	init'ed(java.awt.Color.RED)
presumption	java.lang.String:length(...)@187 - this. topicLengthMax in {-2³²+1..2³¹}
test_vector	java.lang.String:length(...)@187 - this. topicLengthMax: {1..2³¹}, {-2³²+1..0}
test_vector	this.topicLengthMax: {1..2³²-2}, {0}

void update()

Kind	Annotation Text
pre	init'ed(this.topicLengthMax)
pre	this.channel != null
presumption	com.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument(...)@119 != null
post	new JComboBox(initTopicsPanel#3) num objects == 1
post	new JLabel(initTopicsPanel#1) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextAreaInputField(initTopicsPanel#2) num objects == 1
post	new TextLabel(initTopicsPanel#5) num objects == 1
post	this.topicHistory == &new JComboBox(initTopicsP anel#3)
post	this.topicLengthLabel == &new JLabel(initTopics Panel#1)
post	this.topicText == &new TextAreaInputField(initT opicsPanel#2)
post	this.topicWho == &new TextLabel(initTopicsPanel #5)
post	this.topicWho.sas == &new SimpleAttributeSet(Te xtLabel#6)
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.Channel:getTopics
unanalyzed	call on com.dmdirc.Topic:getClient
unanalyzed	call on com.dmdirc.Topic:getTime
unanalyzed	call on com.dmdirc.Topic:getTopic
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NoNewlinesPasteAction
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setLineWrap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setWrapStyleWord
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 com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setLayout
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
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.Collections:reverse
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.List:toArray
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JComboBox:setPrototypeDisplayVa lue
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JScrollPane
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.KeyStroke:getKeyStroke
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 net.miginfocom.swing.MigLayout