Ejemplo n.º 1
0
        public static void ShowNotification(string text, long time)
        {
            if (Text == null)
            {
                Text = new CustomText(TextX, TextY, text);
                Text.TextRenderer.Centered = true;
                Text.TextRenderer.scale    = TextScale;
            }

            CancelNotification();

            Text.Text = text;

            NotificationTask = Task.Run(async() =>
            {
                Text.SetActive(true);
                Text.Color = new UnityEngine.Color(1, 1, 1, 0);

                CustomStopwatch stopwatch = new CustomStopwatch(true);

                while (stopwatch.ElapsedMilliseconds < time)
                {
                    float a = stopwatch.ElapsedMilliseconds / (time / 2f);

                    if (stopwatch.ElapsedMilliseconds > (time / 2))
                    {
                        a = (time - stopwatch.ElapsedMilliseconds) / (time / 2f);
                    }

                    Text.Color = new UnityEngine.Color(1, 1, 1, a);

                    await Task.Delay(1);
                }
            });
        }
Ejemplo n.º 2
0
        private int RunOneAnalysis(int id, string[] args, string selectedMethods)
        {
            var watch = new CustomStopwatch(); watch.Start();
            var idStr = string.Format("[{0}] ", id);

            try
            {
                Console.WriteLine(idStr + "Running with option = {0}", selectedMethods);
                var proc = SetupProcessInfo(GetExecutable(), args, selectedMethods);
                using (var exe = Process.Start(proc))
                {
                    Task.Factory.StartNew(
                        () =>
                    {
                        while (!exe.HasExited)
                        {
                            var lineErr = exe.StandardError.ReadLine();
                            Console.WriteLine(idStr + lineErr);
                        }

                        var lineOut = exe.StandardError.ReadToEnd();
                        Console.Write(idStr + lineOut);
                    });

                    // Reads the standard output
                    string line;
                    while (!exe.HasExited)
                    {
                        line = exe.StandardOutput.ReadLine();
                        Console.WriteLine(idStr + line);
                    }

                    line = exe.StandardOutput.ReadToEnd();
                    Console.WriteLine(idStr + line);

                    return(exe.ExitCode);
                }
            }
            catch
            {
                Console.WriteLine(idStr + "failed to start the process");
                return(-1);
            }
            finally
            {
                Console.WriteLine(idStr + "Analysis of {0} took {1}", selectedMethods, watch.Elapsed);
                // nothing?
            }
        }
Ejemplo n.º 3
0
        /// <param name="seconds"> The timeout in seconds</param>
        public TimeOutChecker(int seconds, CancellationToken cancellationToken, bool start = true)
        {
            Contract.Requires(seconds >= 0);

            stopWatch    = new CustomStopwatch();
            totalElapsed = new TimeSpan();
            if (start)
            {
                stopWatch.Start();
                state = State.Running;
            }
            else
            {
                state = State.Stopped;
            }
            timeout = seconds;
            this.cancellationToken = cancellationToken;
            exception = null;
        }
Ejemplo n.º 4
0
        static void Main(string[] args)
        {
            var start     = DateTime.Now;
            var stopWatch = new CustomStopwatch();

            stopWatch.Start();

            var tasks = new Task <int> [args.Length];
            var cmds  = new string[tasks.Length];

            times = new TimeSpan[tasks.Length];

            for (var i = 0; i < args.Length; i++)
            {
                cmds[i] = args[i];
            }

            Console.WriteLine("We start the analyses");
            for (var i = 0; i < tasks.Length; i++)
            {
                var clousotArgs = new List <string>();
                clousotArgs.Add(cmds[i]);

                Console.WriteLine("call: " + i);
                var local = i; // without it we get the wrong parameter!!!!!!!!
                tasks[i] = new Task <int>(() => CallClousotEXE(local, clousotArgs.ToArray()));
                tasks[i].Start();
            }

            Console.WriteLine("We wait");
            Task.WaitAll(tasks);

            for (var i = 0; i < tasks.Length; i++)
            {
                Console.WriteLine("Time for {0} was : {1}", i, times[i]);
            }

            Console.WriteLine("we are done (in {0})! Press a key", stopWatch.Elapsed);
            Console.ReadKey();
        }
Ejemplo n.º 5
0
        private void setCleaner(PlayerController ctrl)
        {
            var role = new RolePlayer(ctrl, "Cleaner");

            role.RoleIntro.UseRoleIntro    = true;
            role.RoleIntro.BackgroundColor = new Color(0, 136 / 255f, 255 / 255f);
            role.RoleIntro.RoleNameColor   = new Color(0, 221 / 255f, 255 / 255f);
            role.RoleIntro.RoleDescription = "Help the [ff0000ff]Impostors[] by [0088ffff]cleaning []the [ff0000ff]crime scene[].";

            role.RoleEjected.UseRoleEjected = true;

            role.NameColor = new Color(0, 221 / 255f, 255 / 255f);

            role.NameColorVisible = PlayerController.LocalPlayer.PlayerData.IsImpostor;

            AllRolePlayers.Add(role);

            if (ctrl.IsLocalPlayer)
            {
                CleanStopwatch = new CustomStopwatch(true);
            }
        }
Ejemplo n.º 6
0
        /// <summary>
        /// Buckets output
        /// </summary>
        public void RunWithBuckets(string[] args)
        {
            Contract.Requires(args != null);

            args = RemoveArgs(args); // To make cccheck.exe happy

            var watch = new CustomStopwatch();

            watch.Start();

            var executor = new BucketExecutor();
//      var id = 0;

            var temp = new ConcurrentBag <IEnumerable <int> >();

//      foreach(var bucket in this.GenerateDisjointBuckets())
            Parallel.ForEach(
                this.GenerateDisjointBuckets(),
                bucket =>
            {
                //PrintBucket(watch, bucket);

                temp.Add(bucket);
                // executor.AddJob(() => RunOneAnalysis(id++, args, ToSelectArgument(bucket)));
            });

            var array = temp.ToArray();

            Console.WriteLine("Eventually we inferred {0} buckets", array.Count());
            foreach (var b in array)
            {
                PrintBucket(watch, b);
            }

            //executor.DoAllTheRemainingJobs();

            //executor.WaitForStillActiveJobs();
        }
Ejemplo n.º 7
0
        public bool TryInferConditions(ProofObligation obl, ICodeFixesManager codefixesManager, out InferredConditions preConditions)
        {
            var watch = new CustomStopwatch();

            watch.Start();
            var result = inner.TryInferConditions(obl, codefixesManager, out preConditions);

            watch.Stop();

            inferenceTime += watch.Elapsed;

            if (preConditions == null)
            {
                return(false);
            }

            if (result)
            {
                inferred += preConditions.Count();
            }

            return(result);
        }
Ejemplo n.º 8
0
                private IEnumerable <IFixpointInfo <APC, INumericalAbstractDomain <BoxedVariable <Variable>, BoxedExpression> > > FixpointInfo()
                {
                    if (fixpointInfo_List == null)
                    {
                        fixpointInfo_List = new List <IFixpointInfo <APC, INumericalAbstractDomain <BoxedVariable <Variable>, BoxedExpression> > >();
                    }

                    var cached_Count = fixpointInfo_List.Count;

                    for (var i = 1; i < this.optionsList.Count; i++)
                    {
                        var result = null as IFixpointInfo <APC, INumericalAbstractDomain <BoxedVariable <Variable>, BoxedExpression> >;
                        if (cached_Count > 0 && i <= cached_Count)
                        {
                            result = fixpointInfo_List[i - 1];
                        }
                        else
                        {
                            var opt = this.optionsList[i];

                            try
                            {
#if DEBUG
                                var stopWatch = new CustomStopwatch();
                                stopWatch.Start();
                                Console.WriteLine("[NUMERICAL] Running a refined analysis");
#endif


                                if (this.Options.LogOptions.ShowPhases)
                                {
                                    Console.WriteLine("===== Running a refined analysis");
                                }

                                string why;
                                if (!this.MethodDriver.AdditionalSyntacticInformation.Renamings.TooManyRenamingsForRefinedAnalysis(!this.Options.LogOptions.IsAdaptiveAnalysis, out why))
                                {
                                    var run = AnalysisWrapper.RunTheAnalysis(this.MethodName, opt.Type, this.MethodDriver, opt,
                                                                             (APC pc) => false, Controller == null || !Controller.HasReachedEnd ? null : Controller) as NumericalAnalysis <Options>;
                                    result = run.fixpointInfo;
                                }
                                else
                                {
#if DEBUG
                                    var methodName = this.DecoderForMetaData.Name(this.MethodDriver.CurrentMethod);
                                    Console.WriteLine("[REFINED ANALYSIS] Skipping refined analysis as the method {0} contains too many renamings ({1}). To force the more precise analysis add the option -adaptive=false", methodName, why);
#endif
                                    result = null;
                                }
#if DEBUG
                                if (this.Options.LogOptions.ShowPhases)
                                {
                                    Console.WriteLine("     Refined analysis done. Elapsed {0}", stopWatch.Elapsed);
                                }
#endif
                            }
                            catch (TimeoutExceptionFixpointComputation)
                            {
#if  DEBUG
                                Console.WriteLine("on demand fixpoint computation timed out!");
#endif
                            }
                            // Cache the fixpoint
                            this.fixpointInfo_List.Add(result);
                        }

                        if (result != null)
                        {
                            yield return(result);
                        }
                    }
                }