source: branches/XmlTextWriterBranch/HeuristicLab/SplashScreen.cs @ 165

#region License Information
/* HeuristicLab
 * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
 *
 * This file is part of HeuristicLab.
 *
 * HeuristicLab is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * HeuristicLab is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
 */
#endregion

using System;
using System.Collections.Generic;
using System.Data;
using System.Drawing;
using System.Windows.Forms;
using System.Reflection;
using HeuristicLab.PluginInfrastructure;

namespace HeuristicLab {
  public partial class SplashScreen : Form {
    private int myDisplayTime = 1000;
    public int DisplayTime {
      get { return (myDisplayTime); }
      set {
        if(value > 0) {
          myDisplayTime = value;
          waitTimer.Interval = value;
        }
      }
    }

    public SplashScreen() {
      InitializeComponent();

      Assembly assembly = this.GetType().Assembly;
      object[] attributes = assembly.GetCustomAttributes(false);
      string user, company;

      titleLabel.Text = Application.ProductName;
      versionLabel.Text = "Version " + Application.ProductVersion;
      infoLabel.Text = "";

      foreach(object obj in attributes) {
        if(obj is AssemblyCopyrightAttribute) {
          copyrightLabel.Text = "Copyright " + ((AssemblyCopyrightAttribute)obj).Copyright;
        }
      }

      try {
        user = HeuristicLab.Properties.Settings.Default.User;
        company = HeuristicLab.Properties.Settings.Default.Organization;

        if((user == null) || (user.Equals(""))) {
          userNameLabel.Text = "-";
        } else {
          userNameLabel.Text = user;
        }

        if((company == null) || (company.Equals(""))) {
          companyLabel.Text = "-";
        } else {
          companyLabel.Text = company;
        }
      } catch(Exception) {
        userNameLabel.Text = "-";
        companyLabel.Text = "-";
      }
      waitTimer.Start();
    }

    public SplashScreen(int displayTime, string initialText)
      : this() {
      waitTimer.Stop();
      DisplayTime = displayTime;
      waitTimer.Start();
      infoLabel.Text = initialText;
    }

    private void SetInfoText(string text) {
      this.Invoke((MethodInvoker)delegate() { infoLabel.Text = text; });
    }

    public void Manager_Action(object sender, PluginManagerActionEventArgs e) {
      if(!this.Disposing && !this.IsDisposed) {
        waitTimer.Stop();
        string info;
        if(e.Action == PluginManagerAction.Initializing) info = "Initializing ...";
        else if(e.Action == PluginManagerAction.InitializingPlugin) info = "Initializing Plugin " + e.Id + " ...";
        else if(e.Action == PluginManagerAction.InitializedPlugin) info = "Initializing Plugin " + e.Id + " ... Initialized";
        else if(e.Action == PluginManagerAction.Initialized) info = "Initialization Completed";
        else {
          if(e.Id != null) info = e.Action.ToString() + "   (" + e.Id + ")";
          else info = e.Action.ToString();
        }
        SetInfoText(info);
        Application.DoEvents();
        waitTimer.Start();
      }
    }

    private void waitTimer_Tick(object sender, System.EventArgs e) {
      if(!this.Disposing && !this.IsDisposed) {
        waitTimer.Stop();
        fadeTimer.Start();
      }
    }

    private void fadeTimer_Tick(object sender, EventArgs e) {
      if(InvokeRequired) {
        Invoke((MethodInvoker)delegate() {
          if(Opacity > 0.9) {
            Opacity = 0.9;
          } else if(this.Opacity > 0) {
            Opacity -= 0.1;
          } else {
            Opacity = 0;
            fadeTimer.Stop();
            Close();
          }
        });
      } else {
        if(Opacity > 0.9) {
          Opacity = 0.9;
        } else if(this.Opacity > 0) {
          Opacity -= 0.1;
        } else {
          Opacity = 0;
          fadeTimer.Stop();
          Close();
        }
      }
    }


    private void SplashScreen_FormClosing(object sender, FormClosingEventArgs e) {
      PluginManager.Manager.Action -= new PluginManagerActionEventHandler(this.Manager_Action);
    }

    private void closeButton_Click(object sender, EventArgs e) {
      waitTimer.Stop();
      Close();
    }
  }
}