2017-07-05 11:41:19 +02:00
|
|
|
|
/*
|
2024-03-05 18:37:42 +01:00
|
|
|
|
* Copyright (c) 2024 ETH Zürich, IT Services
|
2017-07-05 11:41:19 +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/.
|
|
|
|
|
*/
|
|
|
|
|
|
2018-02-15 15:42:54 +01:00
|
|
|
|
using System;
|
2019-10-01 11:30:53 +02:00
|
|
|
|
using SafeExamBrowser.Settings.Applications;
|
2019-09-06 09:39:28 +02:00
|
|
|
|
using SafeExamBrowser.Settings.Browser;
|
|
|
|
|
using SafeExamBrowser.Settings.Logging;
|
|
|
|
|
using SafeExamBrowser.Settings.Monitoring;
|
2021-02-10 00:49:32 +01:00
|
|
|
|
using SafeExamBrowser.Settings.Proctoring;
|
2019-12-20 11:37:07 +01:00
|
|
|
|
using SafeExamBrowser.Settings.Security;
|
2020-07-01 13:39:17 +02:00
|
|
|
|
using SafeExamBrowser.Settings.Server;
|
2019-09-06 09:39:28 +02:00
|
|
|
|
using SafeExamBrowser.Settings.Service;
|
2024-01-11 12:02:01 +01:00
|
|
|
|
using SafeExamBrowser.Settings.System;
|
2019-09-06 09:39:28 +02:00
|
|
|
|
using SafeExamBrowser.Settings.SystemComponents;
|
|
|
|
|
using SafeExamBrowser.Settings.UserInterface;
|
|
|
|
|
|
|
|
|
|
namespace SafeExamBrowser.Settings
|
2017-07-05 11:41:19 +02:00
|
|
|
|
{
|
2018-03-06 11:38:12 +01:00
|
|
|
|
/// <summary>
|
2019-09-06 09:39:28 +02:00
|
|
|
|
/// Defines all settings for the application.
|
2018-03-06 11:38:12 +01:00
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
[Serializable]
|
2019-10-01 11:30:53 +02:00
|
|
|
|
public class AppSettings
|
2017-07-05 11:41:19 +02:00
|
|
|
|
{
|
2019-10-01 11:30:53 +02:00
|
|
|
|
/// <summary>
|
2019-11-05 10:08:19 +01:00
|
|
|
|
/// All settings related to external applications.
|
2019-10-01 11:30:53 +02:00
|
|
|
|
/// </summary>
|
|
|
|
|
public ApplicationSettings Applications { get; set; }
|
|
|
|
|
|
2019-08-16 08:26:11 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All audio-related settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public AudioSettings Audio { get; set; }
|
|
|
|
|
|
2017-07-26 08:50:36 +02:00
|
|
|
|
/// <summary>
|
2017-07-28 14:52:15 +02:00
|
|
|
|
/// All browser-related settings.
|
2017-07-26 08:50:36 +02:00
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public BrowserSettings Browser { get; set; }
|
2017-07-26 08:50:36 +02:00
|
|
|
|
|
2019-05-22 15:16:50 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The mode which determines the configuration behaviour.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public ConfigurationMode ConfigurationMode { get; set; }
|
|
|
|
|
|
2021-05-30 20:04:44 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All display-related settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public DisplaySettings Display { get; set; }
|
|
|
|
|
|
2017-08-04 12:19:56 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All keyboard-related settings.
|
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public KeyboardSettings Keyboard { get; set; }
|
2017-08-04 12:19:56 +02:00
|
|
|
|
|
2019-01-23 08:12:15 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The global log severity to be used.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public LogLevel LogLevel { get; set; }
|
|
|
|
|
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// <summary>
|
2017-11-09 10:27:55 +01:00
|
|
|
|
/// All mouse-related settings.
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public MouseSettings Mouse { get; set; }
|
2017-07-12 15:36:30 +02:00
|
|
|
|
|
2024-01-11 17:35:52 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All settings related to the power supply.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public PowerSupplySettings PowerSupply { get; set; }
|
|
|
|
|
|
2021-02-10 00:49:32 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All proctoring-related settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public ProctoringSettings Proctoring { get; set; }
|
|
|
|
|
|
2019-01-10 10:04:30 +01:00
|
|
|
|
/// <summary>
|
2019-12-20 11:37:07 +01:00
|
|
|
|
/// All security-related settings.
|
2019-01-10 10:04:30 +01:00
|
|
|
|
/// </summary>
|
2019-12-20 11:37:07 +01:00
|
|
|
|
public SecuritySettings Security { get; set; }
|
2019-01-10 10:04:30 +01:00
|
|
|
|
|
2020-07-01 13:39:17 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All server-related settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public ServerSettings Server { get; set; }
|
|
|
|
|
|
2018-01-24 12:34:32 +01:00
|
|
|
|
/// <summary>
|
2019-06-20 10:55:24 +02:00
|
|
|
|
/// All service-related settings.
|
2018-01-24 12:34:32 +01:00
|
|
|
|
/// </summary>
|
2019-06-20 10:55:24 +02:00
|
|
|
|
public ServiceSettings Service { get; set; }
|
2018-01-24 12:34:32 +01:00
|
|
|
|
|
2020-07-01 13:39:17 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The mode which determines the session behaviour.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public SessionMode SessionMode { get; set; }
|
|
|
|
|
|
2024-01-11 12:02:01 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All system-related settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public SystemSettings System { get; set; }
|
|
|
|
|
|
2024-06-12 17:30:19 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All settings related to the user interface.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public UserInterfaceSettings UserInterface { get; set; }
|
|
|
|
|
|
2019-10-01 11:30:53 +02:00
|
|
|
|
public AppSettings()
|
2018-02-15 15:42:54 +01:00
|
|
|
|
{
|
2019-10-01 11:30:53 +02:00
|
|
|
|
Applications = new ApplicationSettings();
|
2019-08-16 08:26:11 +02:00
|
|
|
|
Audio = new AudioSettings();
|
2018-02-15 15:42:54 +01:00
|
|
|
|
Browser = new BrowserSettings();
|
2021-05-30 20:04:44 +02:00
|
|
|
|
Display = new DisplaySettings();
|
2018-02-15 15:42:54 +01:00
|
|
|
|
Keyboard = new KeyboardSettings();
|
|
|
|
|
Mouse = new MouseSettings();
|
2024-01-11 17:35:52 +01:00
|
|
|
|
PowerSupply = new PowerSupplySettings();
|
2021-02-10 00:49:32 +01:00
|
|
|
|
Proctoring = new ProctoringSettings();
|
2019-12-20 11:37:07 +01:00
|
|
|
|
Security = new SecuritySettings();
|
2020-07-01 13:39:17 +02:00
|
|
|
|
Server = new ServerSettings();
|
2019-06-20 10:55:24 +02:00
|
|
|
|
Service = new ServiceSettings();
|
2024-01-11 12:02:01 +01:00
|
|
|
|
System = new SystemSettings();
|
2024-06-12 17:30:19 +02:00
|
|
|
|
UserInterface = new UserInterfaceSettings();
|
2018-02-15 15:42:54 +01:00
|
|
|
|
}
|
2017-07-05 11:41:19 +02:00
|
|
|
|
}
|
|
|
|
|
}
|