source: trunk/sources/HeuristicLab/SplashScreen.cs @ 2567

#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 const int FADE_INTERVAL = 50;
    private System.Timers.Timer fadeTimer;
    private int initialInterval;
    private object bigLock = new object();
    private bool closing = false;

    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 = "-";
      }
    }

    public SplashScreen(int initialInterval, string initialText)
      : this() {
      this.initialInterval = initialInterval;
      infoLabel.Text = initialText;
    }

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

    public void Manager_Action(object sender, PluginManagerActionEventArgs e) {
      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";
        fadeTimer = new System.Timers.Timer();
        fadeTimer.SynchronizingObject = this;
        fadeTimer.Elapsed += new System.Timers.ElapsedEventHandler(fadeTimer_Elapsed);
        fadeTimer.Interval = initialInterval;
        fadeTimer.AutoReset = true;
        fadeTimer.Start();
      } else {
        if(e.Id != null) info = e.Action.ToString() + "   (" + e.Id + ")";
        else info = e.Action.ToString();
      }
      SetInfoText(info);
      Application.DoEvents();
    }

    private void fadeTimer_Elapsed(object sender, System.Timers.ElapsedEventArgs e) {
      fadeTimer.Stop();
      if(InvokeRequired) {
        Invoke((MethodInvoker)UpdateOpacity);
      } else {
        UpdateOpacity();
      }
    }

    private void UpdateOpacity() {
      lock (bigLock) {
        if (closing) return;
        if (Opacity > 0.9) {
          Opacity = 0.9;
          fadeTimer.Interval = FADE_INTERVAL;
          fadeTimer.Start();
        } else if (this.Opacity > 0) {
          Opacity -= 0.1;
          fadeTimer.Start();
        } else {
          Opacity = 0;
          CloseSplashScreen();
        }
      }
    }

    private void closeButton_Click(object sender, EventArgs e) {
      CloseSplashScreen();
    }

    private void CloseSplashScreen() {
      lock (bigLock) {
        if (!closing) { // just close once
          closing = true;
          if (fadeTimer != null) fadeTimer.Stop();
          PluginManager.Manager.Action -= new PluginManagerActionEventHandler(this.Manager_Action); // remove event before calling close
          Application.DoEvents(); // work up all existing events
          Close(); // close
        }
      }
    }
  }
}