//# 0 errors, 105 messages
//#
/*
    //#CreditsPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#CreditsPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__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.dialogs.about;

import com.dmdirc.addons.ui_swing.components.text.HTMLLabel;
import com.dmdirc.addons.ui_swing.UIUtilities;
import com.dmdirc.util.URLHandler;

import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.event.HyperlinkEvent;
import javax.swing.event.HyperlinkEvent.EventType;
import javax.swing.event.HyperlinkListener;

import net.miginfocom.swing.MigLayout;

/**
 * Authors Panel.
 */
public final class CreditsPanel extends JPanel implements HyperlinkListener {
    
    /**
     * 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 = 2;

    /** HTML label we're using. */
    private HTMLLabel about;
    
    /** Creates a new instance of CreditsPanel. */
    public CreditsPanel() {
        super();
    //#CreditsPanel.java:54: method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): new HTMLLabel(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): new HTMLLabel(initComponents#1).__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): this.about
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): new HTMLLabel(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): this.about == &new HTMLLabel(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): new HTMLLabel(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): new HTMLLabel(initComponents#1).__Tag == com/dmdirc/addons/ui_swing/components/text/HTMLLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.JEditorPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:addHyperlinkListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.JScrollPane:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.JScrollPane:getViewport
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:javax.swing.JViewport:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:add
        
        this.setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#CreditsPanel.java:56: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#CreditsPanel.java:56: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setOpaque(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setOpaque(bool)
        initComponents();
    }
    //#CreditsPanel.java:58: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel()

    /** Shows some alternate content. */
    public void showEE() {
        about.setText("<html><center><br><br><br>"
    //#CreditsPanel.java:62: method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.showEE()
    //#CreditsPanel.java:62: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setText(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void showEE()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setText(String)
    //#input(void showEE()): this
    //#input(void showEE()): this.about
    //#pre[2] (void showEE()): this.about != null
                + "<img src=\"http://www.dmdirc.com/res/about.png\"></html>");
    }
    //#CreditsPanel.java:64: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.showEE()
    
    /** Initialises the components. */
    private void initComponents() {
        about = new HTMLLabel("<html>"
    //#CreditsPanel.java:68: method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.initComponents()
    //#input(void initComponents()): "; "._tainted
    //#input(void initComponents()): "body { font-family: "._tainted
    //#input(void initComponents()): "font-size: "._tainted
    //#input(void initComponents()): "pt; }"._tainted
    //#input(void initComponents()): this
    //#output(void initComponents()): new HTMLLabel(initComponents#1) num objects
    //#output(void initComponents()): this.about.__Tag
    //#output(void initComponents()): this.about
    //#new obj(void initComponents()): new HTMLLabel(initComponents#1)
    //#presumption(void initComponents()): javax.swing.JScrollPane:getViewport(...)@87 != null
    //#post(void initComponents()): this.about == &new HTMLLabel(initComponents#1)
    //#post(void initComponents()): new HTMLLabel(initComponents#1) num objects == 1
    //#post(void initComponents()): this.about.__Tag == com/dmdirc/addons/ui_swing/components/text/HTMLLabel
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setUI
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setEditable
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setHighlighter
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setFont
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JEditorPane
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:getDocument
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void initComponents()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void initComponents()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
                + "<h3 style='margin: 3px; padding: 0px 0px 5px 0px;'>Main developers:</h1>"
                + "<ul style='list-style-type: circle; margin-top: 0px;'>"
                + "<li><a href=\"http://www.md87.co.uk\">Chris 'MD87' Smith</a></li>"
                + "<li><a href=\"http://www.greboid.com\">Gregory 'Greboid' Holmes</a></li>"
                + "<li><a href=\"http://home.dataforce.org.uk\">Shane 'Dataforce' Mc Cormack</a></li>"
                + "<li><a href=\"http://www.zipplet.co.uk\">Michael 'Zipplet' Nixon</a></li>"
                + "</ul>"
                + "<h3 style='margin: 3px; padding: 0px 0px 5px 0px;'>Testers:</h1>"
                + "<ul style='list-style-type: circle; margin-top: 0px;'>"
                + "<li><a href=\"http://www.pling.org.uk\">Chris 'laser' Northwood</a></li>"
                + "<li>Simon 'Demented-Idiot' Mott</li>"
                + "</ul>"
                + "</html>");
        about.addHyperlinkListener(this);
    //#CreditsPanel.java:82: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.HTMLLabel:addHyperlinkListener(HyperlinkListener)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.HTMLLabel:addHyperlinkListener(HyperlinkListener)
        
        setLayout(new MigLayout("ins rel, fill"));
    //#CreditsPanel.java:84: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#CreditsPanel.java:84: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setLayout(LayoutManager)
        final JScrollPane scrollPane = new JScrollPane(about);
        scrollPane.setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#CreditsPanel.java:86: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
        scrollPane.getViewport().setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#CreditsPanel.java:87: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
        add(scrollPane, "grow, push");
    //#CreditsPanel.java:88: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:add(Component, Object)
    }
    //#CreditsPanel.java:89: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.initComponents()
    
    /** {@inheritDoc} */
    @Override
    public void hyperlinkUpdate(final HyperlinkEvent e) {
        if (e.getEventType() == EventType.ACTIVATED) {
    //#CreditsPanel.java:94: method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.hyperlinkUpdate(HyperlinkEvent)
    //#input(void hyperlinkUpdate(HyperlinkEvent)): e
    //#input(void hyperlinkUpdate(HyperlinkEvent)): javax.swing.event.HyperlinkEvent$EventType.ACTIVATED
    //#pre[1] (void hyperlinkUpdate(HyperlinkEvent)): e != null
    //#presumption(void hyperlinkUpdate(HyperlinkEvent)): com.dmdirc.util.URLHandler:getURLHander(...)@95 != null
    //#presumption(void hyperlinkUpdate(HyperlinkEvent)): init'ed(javax.swing.event.HyperlinkEvent$EventType.ACTIVATED)
            URLHandler.getURLHander().launchApp(e.getURL());
    //#CreditsPanel.java:95: Warning: method not available - call not analyzed
    //#    call on URLHandler com.dmdirc.util.URLHandler:getURLHander()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void hyperlinkUpdate(HyperlinkEvent)
    //#    unanalyzed callee: URLHandler com.dmdirc.util.URLHandler:getURLHander()
    //#CreditsPanel.java:95: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.URLHandler:launchApp(URL)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
    //#    method: void hyperlinkUpdate(HyperlinkEvent)
    //#    unanalyzed callee: void com.dmdirc.util.URLHandler:launchApp(URL)
        }
    }
    //#CreditsPanel.java:97: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.hyperlinkUpdate(HyperlinkEvent)
    
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/CreditsPanel]
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Dispatch_Table.hyperlinkUpdate(Ljavax/swing/event/HyperlinkEvent;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Dispatch_Table.showEE()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/CreditsPanel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Dispatch_Table.hyperlinkUpdate(Ljavax/swing/event/HyperlinkEvent;)V == &hyperlinkUpdate
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init): __Dispatch_Table.showEE()V == &showEE
    //#CreditsPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel.com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init
    //#CreditsPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel
