| Kind |
Annotation Text |
| post | init'ed(this.group) |
| 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 OldTextLabel(initComponents#1).sas == &new SimpleAttributeSet(OldTextLabel#4) |
| post | new SimpleAttributeSet(OldTextLabel#4) num objects == 1 |
| post | this.author == &new JLabel(initComponents#5) |
| post | this.authorLabel == &new JLabel(initComponents# 4) |
| post | this.group == group |
| post | this.infoLabel == &new OldTextLabel(initCompone nts#1) |
| post | this.version == &new JLabel(initComponents#3) |
| post | this.versionLabel == &new JLabel(initComponents #2) |
| unanalyzed | call on com.dmdirc.actions.ActionGroup:getAuthor |
| unanalyzed | call on com.dmdirc.actions.ActionGroup:getDescripti on |
| unanalyzed | call on com.dmdirc.actions.ActionGroup:getVersion |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont |
| 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 com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setMargin |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setUI |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionGroupInformationPanel:setLayou t |
| unanalyzed | call on java.awt.Font:getFamily |
| unanalyzed | call on java.awt.Font:getSize |
| unanalyzed | call on java.awt.Font:isBold |
| unanalyzed | call on java.awt.Font:isItalic |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.Integer:toString |
| unanalyzed | call on java.lang.String:isEmpty |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on javax.swing.JLabel |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JLabel:setVisible |
| 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.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.StyleConstants:setBold |
| unanalyzed | call on javax.swing.text.StyleConstants:setFontFami ly |
| unanalyzed | call on javax.swing.text.StyleConstants:setFontSize |
| unanalyzed | call on javax.swing.text.StyleConstants:setItalic |
| unanalyzed | call on javax.swing.text.StyledDocument:setParagrap hAttributes |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| Kind |
Annotation Text |
| pre | init'ed(this.group) |
| post | init'ed(this.group) |
| 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.author == &new JLabel(initComponents#5) |
| post | this.authorLabel == &new JLabel(initComponents# 4) |
| post | this.group == old this.group |
| post | this.infoLabel == &new OldTextLabel(initCompone nts#1) |
| post | this.infoLabel.sas == &new SimpleAttributeSet(O ldTextLabel#4) |
| post | this.version == &new JLabel(initComponents#3) |
| post | this.versionLabel == &new JLabel(initComponents #2) |
| unanalyzed | call on com.dmdirc.actions.ActionGroup:getAuthor |
| unanalyzed | call on com.dmdirc.actions.ActionGroup:getDescripti on |
| unanalyzed | call on com.dmdirc.actions.ActionGroup:getVersion |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:getFont |
| 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 com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setMargin |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. OldTextLabel:setUI |
| unanalyzed | call on java.awt.Font:getFamily |
| unanalyzed | call on java.awt.Font:getSize |
| unanalyzed | call on java.awt.Font:isBold |
| unanalyzed | call on java.awt.Font:isItalic |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.Integer:toString |
| unanalyzed | call on java.lang.String:isEmpty |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JLabel:setVisible |
| 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.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.StyleConstants:setBold |
| unanalyzed | call on javax.swing.text.StyleConstants:setFontFami ly |
| unanalyzed | call on javax.swing.text.StyleConstants:setFontSize |
| unanalyzed | call on javax.swing.text.StyleConstants:setItalic |
| unanalyzed | call on javax.swing.text.StyledDocument:setParagrap hAttributes |
| Kind |
Annotation Text |
| pre | (soft) init'ed(this.infoLabel.sas) |
| pre | (soft) this.authorLabel != null |
| pre | (soft) this.versionLabel != null |
| pre | this.author != null |
| pre | this.infoLabel != null |
| pre | this.version != null |
| post | init'ed(this.group) |
| post | this.group == group |
| 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 | com.dmdirc.actions.ActionGroup:getDescription(... )@112: Inverse{null}, Addr_Set{null} |
| test_vector | group: Addr_Set{null}, Inverse{null} |