//# 0 errors, 103 messages
//#
/*
    //#InfoPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1
    //#InfoPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1__static_init
    //#InfoPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#InfoPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel__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.Main;
import com.dmdirc.ui.core.util.Info;
import com.dmdirc.addons.ui_swing.SwingController;
import com.dmdirc.addons.ui_swing.UIUtilities;


import java.awt.Font;
import javax.swing.JEditorPane;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.SwingUtilities;

import javax.swing.UIManager;
import javax.swing.text.html.HTMLDocument;
import javax.swing.text.html.HTMLEditorKit;
import net.miginfocom.layout.LayoutUtil;
import net.miginfocom.swing.MigLayout;

/** Info panel. */
public final class InfoPanel extends JPanel {

    /**
     * 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;

    /** Creates a new instance of InfoPanel. */
    public InfoPanel() {
        super();
    //#InfoPanel.java:55: method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<.html>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<b>Java version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<b>Look and Feel: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<b>MiG Layout version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<b>OS Version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<b>Profile directory: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<br>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "<html><b>DMDirc version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): this
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.JEditorPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.JEditorPane:setEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.JEditorPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:com.dmdirc.ui.core.util.Info:getDMDircVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:com.dmdirc.ui.core.util.Info:getJavaVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:com.dmdirc.ui.core.util.Info:getOSVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.SwingController:getLookAndFeel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:net.miginfocom.layout.LayoutUtil:getVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.JEditorPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.JEditorPane:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.JScrollPane:setViewportView
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:add

        this.setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#InfoPanel.java:57: 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.InfoPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#InfoPanel.java:57: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setOpaque(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setOpaque(bool)
        initComponents();
    }
    //#InfoPanel.java:59: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()

    /** Initialises the components. */
    private void initComponents() {
        final JScrollPane scrollPane = new JScrollPane();
    //#InfoPanel.java:63: method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel.initComponents()
    //#input(void initComponents()): "; "._tainted
    //#input(void initComponents()): "<.html>"._tainted
    //#input(void initComponents()): "<b>Java version: <.b>"._tainted
    //#input(void initComponents()): "<b>Look and Feel: <.b>"._tainted
    //#input(void initComponents()): "<b>MiG Layout version: <.b>"._tainted
    //#input(void initComponents()): "<b>OS Version: <.b>"._tainted
    //#input(void initComponents()): "<b>Profile directory: <.b>"._tainted
    //#input(void initComponents()): "<br>"._tainted
    //#input(void initComponents()): "<html><b>DMDirc version: <.b>"._tainted
    //#input(void initComponents()): "body { font-family: "._tainted
    //#input(void initComponents()): "font-size: "._tainted
    //#input(void initComponents()): "pt; }"._tainted
    //#input(void initComponents()): this
    //#presumption(void initComponents()): javax.swing.JEditorPane:getDocument(...)@67 != null
    //#presumption(void initComponents()): javax.swing.UIManager:getFont(...)@66 != null
    //#presumption(void initComponents()): javax.swing.text.html.HTMLDocument:getStyleSheet(...)@67 != null
        final JEditorPane infoPane = new JEditorPane();
        infoPane.setEditorKit(new HTMLEditorKit());
        final Font font = UIManager.getFont("Label.font");
        ((HTMLDocument) infoPane.getDocument()).getStyleSheet().addRule("body " +
                "{ font-family: " + font.getFamily() + "; " + "font-size: " +
                font.getSize() + "pt; }");
        
         infoPane.setText("<html>" +
    //#InfoPanel.java:71: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.ui.core.util.Info:getDMDircVersion()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: String com.dmdirc.ui.core.util.Info:getDMDircVersion()
    //#InfoPanel.java:71: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.Main:getConfigDir()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: String com.dmdirc.Main:getConfigDir()
    //#InfoPanel.java:71: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.ui.core.util.Info:getJavaVersion()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: String com.dmdirc.ui.core.util.Info:getJavaVersion()
    //#InfoPanel.java:71: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.ui.core.util.Info:getOSVersion()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: String com.dmdirc.ui.core.util.Info:getOSVersion()
    //#InfoPanel.java:71: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.addons.ui_swing.SwingController:getLookAndFeel()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: String com.dmdirc.addons.ui_swing.SwingController:getLookAndFeel()
    //#InfoPanel.java:71: Warning: method not available - call not analyzed
    //#    call on String net.miginfocom.layout.LayoutUtil:getVersion()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: String net.miginfocom.layout.LayoutUtil:getVersion()
                "<b>DMDirc version: </b>" + Info.getDMDircVersion() + "<br>" +
                "<b>Profile directory: </b>" + Main.getConfigDir() + "<br>" +
                "<b>Java version: </b>" + Info.getJavaVersion() + "<br>" +
                "<b>OS Version: </b>" + Info.getOSVersion() + "<br>" +
                "<b>Look and Feel: </b>" + SwingController.getLookAndFeel() + "<br>" +
                "<b>MiG Layout version: </b>" + LayoutUtil.getVersion() + "<br>" +
                "</html>");
        infoPane.setEditable(false);
        scrollPane.setViewportView(infoPane);

        SwingUtilities.invokeLater(new Runnable() {
    //#InfoPanel.java:82: method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): Param_2
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): this.this$0
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): this.val$scrollPane
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): init'ed(this.this$0)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): this.val$scrollPane == Param_2
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)): init'ed(this.val$scrollPane)
    //#InfoPanel.java:82: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1(InfoPanel, JScrollPane)

            /** {@inheritDoc} */
            @Override
            public void run() {
                scrollPane.getVerticalScrollBar().setValue(0);
    //#InfoPanel.java:87: method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1.run()
    //#input(void run()): this
    //#input(void run()): this.val$scrollPane
    //#pre[2] (void run()): this.val$scrollPane != null
    //#presumption(void run()): javax.swing.JScrollPane:getVerticalScrollBar(...)@87 != null
            }
    //#InfoPanel.java:88: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1.run()
        });

        setLayout(new MigLayout("ins rel, fill"));
    //#InfoPanel.java:91: 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.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#InfoPanel.java:91: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setLayout(LayoutManager)
        add(scrollPane, "grow, push, wrap");
    //#InfoPanel.java:92: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:add(Component, Object)
    }
    //#InfoPanel.java:93: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel.initComponents()
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/InfoPanel$1]
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1__static_init): __Dispatch_Table.run()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/InfoPanel$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1__static_init): __Dispatch_Table.run()V == &run
    //#InfoPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1__static_init
    //#InfoPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/InfoPanel]
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel__static_init): __Dispatch_Table.initComponents()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/InfoPanel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#InfoPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel.com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel__static_init
    //#InfoPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel
