public void Parse(IMethodGraphBuilder methodGraphBuilder, IInitialSymbolTableBuilder initialSymbolTableBuilder)
        {
            ArgumentUtility.CheckNotNull ("methodGraphBuilder", methodGraphBuilder);
              ArgumentUtility.CheckNotNull ("parameterSymbolTableBuilder", initialSymbolTableBuilder);

              var methodGraph = methodGraphBuilder.GetResult();
              var initialSymbolTable = initialSymbolTableBuilder.GetResult();

              if (methodGraph != null && !methodGraph.IsEmpty() && initialSymbolTable != null)
              {
            if (!AnalysisRequired(methodGraph))
              return;

            Parse (methodGraph, initialSymbolTable, methodGraph.InitialBlock, new Dictionary<int, int>());
              }
        }
Esempio n. 2
0
        public void Parse(IMethodGraphBuilder methodGraphBuilder, IInitialSymbolTableBuilder initialSymbolTableBuilder)
        {
            ArgumentUtility.CheckNotNull("methodGraphBuilder", methodGraphBuilder);
            ArgumentUtility.CheckNotNull("parameterSymbolTableBuilder", initialSymbolTableBuilder);

            var methodGraph        = methodGraphBuilder.GetResult();
            var initialSymbolTable = initialSymbolTableBuilder.GetResult();

            if (methodGraph != null && !methodGraph.IsEmpty() && initialSymbolTable != null)
            {
                if (!AnalysisRequired(methodGraph))
                {
                    return;
                }

                Parse(methodGraph, initialSymbolTable, methodGraph.InitialBlock, new Dictionary <int, int>());
            }
        }
Esempio n. 3
0
        public void Parse_EmptyGraph_NoProblems()
        {
            using (_mocks.Record())
            {
                _methodGraph.IsEmpty();
                LastCall.Return(true);

                _methodGraphBuilder.GetResult();
                LastCall.Return(_methodGraph);
                _parameterSymbolTableBuilder.GetResult();
                LastCall.Return(_methodPreConditions);
            }

            ProblemCollection result = ParseGraph();

            Assert.That(result.Count, Is.EqualTo(0));
        }