//# 0 errors, 163 messages
//#
/*
    //#OldTextLabel.java:1:1: class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#OldTextLabel.java:1:1: method: com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init
 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.addons.ui_swing.components.text;

import java.awt.Insets;

import javax.swing.JTextPane;
import javax.swing.plaf.basic.BasicTextPaneUI;
import javax.swing.text.DefaultStyledDocument;
import javax.swing.text.SimpleAttributeSet;
import javax.swing.text.StyleConstants;
import javax.swing.text.StyledDocument;

/**
 * Dyamnic text label.
 */
public class OldTextLabel extends JTextPane {
    //#OldTextLabel.java:37: method: Document com.dmdirc.addons.ui_swing.components.text.OldTextLabel.getDocument()
    //#input(Document getDocument()): __Descendant_Table[com/dmdirc/addons/ui_swing/components/text/OldTextLabel]
    //#input(Document getDocument()): __Descendant_Table[others]
    //#input(Document getDocument()): __Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(Document getDocument()): this
    //#input(Document getDocument()): this.__Tag
    //#output(Document getDocument()): return_value
    //#pre[2] (Document getDocument()): this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#post(Document getDocument()): init'ed(return_value)
    //#unanalyzed(Document getDocument()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#OldTextLabel.java:37: end of method: Document com.dmdirc.addons.ui_swing.components.text.OldTextLabel.getDocument()

    /**
     * A version number for this class. It should be changed whenever the
     * class structure is changed (or anything else that would prevent
     * serialized objects being unserialized with the new class).
     */
    private static final long serialVersionUID = 1;
    /** Simple attribute set. */
    private SimpleAttributeSet sas;

    /**
     * Creates a new instance of TextLabel.
     */
    public OldTextLabel() {
        this(null, true);
    //#OldTextLabel.java:52: method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel()
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): __Descendant_Table[com/dmdirc/addons/ui_swing/components/text/OldTextLabel]
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): __Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): __Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): __Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): this
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): new SimpleAttributeSet(OldTextLabel#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): this.sas
    //#new obj(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): new SimpleAttributeSet(OldTextLabel#4)
    //#pre[1] (void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): (soft) this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): this.sas == &new SimpleAttributeSet(OldTextLabel#4)
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): new SimpleAttributeSet(OldTextLabel#4) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.StyleConstants:setFontFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.StyleConstants:setFontSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:java.awt.Font:isBold
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.StyleConstants:setBold
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:java.awt.Font:isItalic
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel()): Effects-of-calling:javax.swing.text.StyleConstants:setItalic
    }
    //#OldTextLabel.java:53: end of method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel()

    /**
     * Creates a new instance of TextLabel.
     *
     * @param text Text to display
     */
    public OldTextLabel(final String text) {
        this(text, true);
    //#OldTextLabel.java:61: method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): __Descendant_Table[com/dmdirc/addons/ui_swing/components/text/OldTextLabel]
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): __Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): __Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): __Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): text
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): this
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): new SimpleAttributeSet(OldTextLabel#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): this.sas
    //#new obj(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): new SimpleAttributeSet(OldTextLabel#4)
    //#pre[1] (void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): (soft) this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): this.sas == &new SimpleAttributeSet(OldTextLabel#4)
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): new SimpleAttributeSet(OldTextLabel#4) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.StyleConstants:setFontFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.StyleConstants:setFontSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:java.awt.Font:isBold
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.StyleConstants:setBold
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:java.awt.Font:isItalic
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)): Effects-of-calling:javax.swing.text.StyleConstants:setItalic
    }
    //#OldTextLabel.java:62: end of method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String)

    /**
     * Creates a new instance of TextLabel.
     *
     * @param text Text to display
     * @param justified Justify the text?
     */
    public OldTextLabel(final String text, final boolean justified) {
        super(new DefaultStyledDocument());
    //#OldTextLabel.java:71: method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): __Descendant_Table[com/dmdirc/addons/ui_swing/components/text/OldTextLabel]
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): __Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): __Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): __Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): justified
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): text
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): this
    //#input(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): new SimpleAttributeSet(OldTextLabel#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): this.sas
    //#new obj(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): new SimpleAttributeSet(OldTextLabel#4)
    //#pre[2] (void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): (soft) this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#presumption(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont(...)@84 != null
    //#presumption(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont(...)@85 != null
    //#presumption(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont(...)@86 != null
    //#presumption(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont(...)@87 != null
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): this.sas == &new SimpleAttributeSet(OldTextLabel#4)
    //#post(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): new SimpleAttributeSet(OldTextLabel#4) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#test_vector(void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)): justified: {0}, {1}
        setUI(new BasicTextPaneUI());
    //#OldTextLabel.java:72: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setUI(TextUI)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setUI(TextUI)

        setOpaque(false);
    //#OldTextLabel.java:74: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setOpaque(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setOpaque(bool)
        setEditable(false);
    //#OldTextLabel.java:75: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setEditable(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setEditable(bool)
        setHighlighter(null);
    //#OldTextLabel.java:76: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setHighlighter(Highlighter)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setHighlighter(Highlighter)
        setMargin(new Insets(0, 0, 0, 0));
    //#OldTextLabel.java:77: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setMargin(Insets)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel:setMargin(Insets)

        sas = new SimpleAttributeSet();
        if (justified) {
            StyleConstants.setAlignment(sas, StyleConstants.ALIGN_JUSTIFIED);
        }

        StyleConstants.setFontFamily(sas, getFont().getFamily());
    //#OldTextLabel.java:84: Warning: method not available - call not analyzed
    //#    call on Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()
        StyleConstants.setFontSize(sas, getFont().getSize());
    //#OldTextLabel.java:85: Warning: method not available - call not analyzed
    //#    call on Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()
        StyleConstants.setBold(sas, getFont().isBold());
    //#OldTextLabel.java:86: Warning: method not available - call not analyzed
    //#    call on Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()
        StyleConstants.setItalic(sas, getFont().isItalic());
    //#OldTextLabel.java:87: Warning: method not available - call not analyzed
    //#    call on Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
    //#    method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)
    //#    unanalyzed callee: Font com.dmdirc.addons.ui_swing.components.text.OldTextLabel:getFont()

        setText(text);
    }
    //#OldTextLabel.java:90: end of method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel(String, bool)

    /** {@inheritDoc} */
    @Override
    public StyledDocument getDocument() {
        return (StyledDocument) super.getDocument();
    //#OldTextLabel.java:95: method: StyledDocument com.dmdirc.addons.ui_swing.components.text.OldTextLabel.getDocument()
    //#input(StyledDocument getDocument()): this
    //#output(StyledDocument getDocument()): return_value
    //#post(StyledDocument getDocument()): init'ed(return_value)
    //#OldTextLabel.java:95: end of method: StyledDocument com.dmdirc.addons.ui_swing.components.text.OldTextLabel.getDocument()
    }

    /** {@inheritDoc} */
    @Override
    public void setText(final String t) {
        super.setText(t);
    //#OldTextLabel.java:101: method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.setText(String)
    //#input(void setText(String)): __Descendant_Table[com/dmdirc/addons/ui_swing/components/text/OldTextLabel]
    //#input(void setText(String)): __Descendant_Table[others]
    //#input(void setText(String)): __Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void setText(String)): t
    //#input(void setText(String)): this
    //#input(void setText(String)): this.__Tag
    //#input(void setText(String)): this.sas
    //#pre[3] (void setText(String)): (soft) this.__Tag == com/dmdirc/addons/ui_swing/components/text/OldTextLabel
    //#pre[4] (void setText(String)): (soft) init'ed(this.sas)
    //#presumption(void setText(String)): javax.swing.JTextPane:getDocument(...)@95 != null
    //#unanalyzed(void setText(String)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#test_vector(void setText(String)): t: Addr_Set{null}, Inverse{null}
    //#test_vector(void setText(String)): java.lang.String:isEmpty(...)@102: {1}, {0}
        if (t != null && !t.isEmpty()) {
            getDocument().setParagraphAttributes(0, t.length(), sas, true);
        }
    }
    //#OldTextLabel.java:105: end of method: void com.dmdirc.addons.ui_swing.components.text.OldTextLabel.setText(String)
}
    //#output(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/text/OldTextLabel]
    //#output(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Dispatch_Table.getDocument()Ljavax/swing/text/Document;
    //#output(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#output(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Dispatch_Table.setText(Ljava/lang/String;)V
    //#post(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/text/OldTextLabel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Dispatch_Table.getDocument()Ljavax/swing/text/Document; == &getDocument
    //#post(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument; == &getDocument
    //#post(com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init): __Dispatch_Table.setText(Ljava/lang/String;)V == &setText
    //#OldTextLabel.java:: end of method: com.dmdirc.addons.ui_swing.components.text.OldTextLabel.com.dmdirc.addons.ui_swing.components.text.OldTextLabel__static_init
    //#OldTextLabel.java:: end of class: com.dmdirc.addons.ui_swing.components.text.OldTextLabel
