1 | #region License Information
|
---|
2 | /* HeuristicLab
|
---|
3 | * Copyright (C) Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
4 | *
|
---|
5 | * This file is part of HeuristicLab.
|
---|
6 | *
|
---|
7 | * HeuristicLab is free software: you can redistribute it and/or modify
|
---|
8 | * it under the terms of the GNU General Public License as published by
|
---|
9 | * the Free Software Foundation, either version 3 of the License, or
|
---|
10 | * (at your option) any later version.
|
---|
11 | *
|
---|
12 | * HeuristicLab is distributed in the hope that it will be useful,
|
---|
13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
15 | * GNU General Public License for more details.
|
---|
16 | *
|
---|
17 | * You should have received a copy of the GNU General Public License
|
---|
18 | * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
|
---|
19 | */
|
---|
20 | #endregion
|
---|
21 |
|
---|
22 | using System;
|
---|
23 |
|
---|
24 | namespace HeuristicLab.PluginInfrastructure {
|
---|
25 |
|
---|
26 | /// <summary>
|
---|
27 | /// The ApplicationManager has a reference to the application manager singleton.
|
---|
28 | /// </summary>
|
---|
29 | public static class ApplicationManager {
|
---|
30 | // the singleton instance is initialized to LightweightApplicationManager as long as no other application manager is registered
|
---|
31 | private static IApplicationManager appManager;
|
---|
32 |
|
---|
33 | /// <summary>
|
---|
34 | /// Gets the application manager singleton.
|
---|
35 | /// </summary>
|
---|
36 | public static IApplicationManager Manager {
|
---|
37 | get {
|
---|
38 | if (appManager == null)
|
---|
39 | appManager = new LightweightApplicationManager();
|
---|
40 | return appManager;
|
---|
41 | }
|
---|
42 | }
|
---|
43 |
|
---|
44 | /// <summary>
|
---|
45 | /// Registers a new application manager.
|
---|
46 | /// </summary>
|
---|
47 | /// <param name="manager"></param>
|
---|
48 | internal static void RegisterApplicationManager(IApplicationManager manager) {
|
---|
49 | if (appManager != null && !(appManager is LightweightApplicationManager)) throw new InvalidOperationException("The application manager has already been set.");
|
---|
50 | else {
|
---|
51 | appManager = manager;
|
---|
52 | }
|
---|
53 | }
|
---|
54 | }
|
---|
55 | }
|
---|