Esempio n. 1
0
        public override Problem[] Check(Method method)
        {
            this.populator.BuildGraphFromMethod(method);

            EdgeDepthFirstSearchAlgorithm edfs = new EdgeDepthFirstSearchAlgorithm(this.populator.Graph);
            NullStateVisitor vis = new NullStateVisitor(this.populator.Graph);

            edfs.RegisterEdgeColorizerHandlers(vis);

            vis.Log.WriteLine("-- Fault detection for {0}.{1}",
                              method.DeclaringType.ToString(),
                              method.Name
                              );

            int       index    = 0;
            ArrayList problems = new ArrayList();

            for (index = 0; index < method.Parameters.Length; ++index)
            {
                Parameter param = method.Parameters[index];
                vis.Clear();
                vis.Log.WriteLine("-- {0} parameter", param.Name);
                vis.ParameterIndex = index;
                edfs.Initialize();
                edfs.Compute(this.populator.Graph.Root);

                if (vis.Warnings.Count > 0 || vis.Errors.Count > 0)
                {
                    this.Problems.Add(
                        this.GetResolution(method.Name.Name, param.Name.Name)
                        );
                }
            }

            Problem[] ps = new Problem[problems.Count];
            problems.CopyTo(ps, 0);

            return(ps);
        }
        public override Problem[] Check(Method method)
        {
            this.populator.BuildGraphFromMethod(method);

            EdgeDepthFirstSearchAlgorithm edfs = new EdgeDepthFirstSearchAlgorithm(this.populator.Graph);
            NullStateVisitor vis = new NullStateVisitor(this.populator.Graph);
            edfs.RegisterEdgeColorizerHandlers(vis);

            vis.Log.WriteLine("-- Fault detection for {0}.{1}",
                method.DeclaringType.ToString(),
                method.Name
                );

            int index=0;
            ArrayList problems = new ArrayList();
            for(index=0;index<method.Parameters.Length;++index)
            {
                Parameter param = method.Parameters[index];
                vis.Clear();
                vis.Log.WriteLine("-- {0} parameter",param.Name);
                vis.ParameterIndex=index;
                edfs.Initialize();
                edfs.Compute( this.populator.Graph.Root );

                if (vis.Warnings.Count>0 || vis.Errors.Count > 0)
                {
                    this.Problems.Add(
                        this.GetResolution(method.Name.Name,param.Name.Name)
                        );
                }
            }

            Problem[] ps=new Problem[problems.Count];
            problems.CopyTo(ps,0);

            return ps;
        }