2017-07-14 10:28:59 +02:00
|
|
|
|
/*
|
2018-01-16 08:24:00 +01:00
|
|
|
|
* Copyright (c) 2018 ETH Zürich, Educational Development and Technology (LET)
|
2017-07-14 10:28:59 +02:00
|
|
|
|
*
|
|
|
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
using System;
|
2017-07-24 17:31:28 +02:00
|
|
|
|
using SafeExamBrowser.Contracts.UserInterface;
|
2017-07-14 10:28:59 +02:00
|
|
|
|
|
|
|
|
|
namespace SafeExamBrowser.Contracts.Configuration
|
|
|
|
|
{
|
2017-08-02 08:31:12 +02:00
|
|
|
|
public delegate void TerminatedEventHandler(Guid id);
|
2017-07-31 20:22:53 +02:00
|
|
|
|
public delegate void NameChangedEventHandler(string name);
|
2017-07-28 09:12:17 +02:00
|
|
|
|
|
2018-03-06 11:38:12 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Defines an instance of a (third-party) application which can be accessed via the <see cref="UserInterface.Taskbar.ITaskbar"/>.
|
|
|
|
|
/// </summary>
|
2017-07-14 10:28:59 +02:00
|
|
|
|
public interface IApplicationInstance
|
|
|
|
|
{
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// The unique identifier for the application instance.
|
|
|
|
|
/// </summary>
|
|
|
|
|
Guid Id { get; }
|
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// The name or (document) title of the application instance.
|
|
|
|
|
/// </summary>
|
|
|
|
|
string Name { get; }
|
2017-07-24 17:31:28 +02:00
|
|
|
|
|
2017-07-28 09:12:17 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Event fired when the application instance has been terminated.
|
|
|
|
|
/// </summary>
|
2017-08-02 08:31:12 +02:00
|
|
|
|
event TerminatedEventHandler Terminated;
|
2017-07-28 09:12:17 +02:00
|
|
|
|
|
2017-07-24 17:31:28 +02:00
|
|
|
|
/// <summary>
|
2017-07-31 20:22:53 +02:00
|
|
|
|
/// Event fired when the name or (document) title of the application instance has changed.
|
2017-07-24 17:31:28 +02:00
|
|
|
|
/// </summary>
|
2017-07-31 20:22:53 +02:00
|
|
|
|
event NameChangedEventHandler NameChanged;
|
2017-07-24 17:31:28 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
2017-07-31 20:22:53 +02:00
|
|
|
|
/// The main window of the application instance.
|
2017-07-24 17:31:28 +02:00
|
|
|
|
/// </summary>
|
2017-07-31 20:22:53 +02:00
|
|
|
|
IWindow Window { get; }
|
2017-07-14 10:28:59 +02:00
|
|
|
|
}
|
|
|
|
|
}
|