PHPAnalysis.CTLLTLProgram.CTLLTLMain C# (CSharp) Метод

        public static void CTLLTLMain(Arguments args, Config conf)
        {
            Arguments arguments = args;

            if (arguments.Result == null || arguments.Main == null)
            {
                Console.WriteLine("Result dir and Main file must be specified");
                Environment.Exit(1);
            }

            Configuration = conf;
            Config configuration = Configuration;

            Analyze (arguments, configuration);
        }