Пример #1
0
        /// <summary>
        /// The entry method of the application.
        /// </summary>
        /// <param name="customConfigurationFilePaths"><inheritdoc cref="Application.Run(string[], Func{IKernel, JsonConfiguration, Task})"/></param>
        public static async Task Main(string[] customConfigurationFilePaths) => await Application.Run(customConfigurationFilePaths, async (kernel, settings) =>
        {
            // Initialize the container
            await PrepareDIContainer(kernel, settings);

            #region Clear best theorem folders

            // Clear JSON best theorem folder
            IOUtilities.ClearDirectoryIfItExists(settings.GetSettings <ProblemGenerationRunnerSettings>().JsonBestTheoremFolder);

            // Clear Readable best theorem folder
            IOUtilities.ClearDirectoryIfItExists(settings.GetSettings <ProblemGenerationRunnerSettings>().ReadableBestTheoremFolder);

            #endregion

            // Run the algorithm
            await kernel.Get <IBatchRunner>().FindAllInputFilesAndRunProblemGenerationAsync();
        });