Ejemplo n.º 1
0
        /// <summary>
        /// Create program point graph from source begining by entryPoint
        /// </summary>
        /// <param name="entryBlock">Entry point into source (all feasible basic blocks will be included in program point graph)</param>
        /// <param name="sourceObject">Object that is source for program point graph (Function declaration, GlobalCode,...)</param>
        private ProgramPointGraph(BasicBlock entryBlock, LangElement sourceObject)
        {
            ProgramPointGraphID = PPG_ID++;

            Context      = new PPGraphContext(this);
            SourceObject = sourceObject;

            _context = new PPGraphBuildingContext(this);

            var startBlock = _context.CreateSubprogramEntryBlock(out Start, entryBlock);
            var endBlock   = _context.CreateEmptyBlock(out End);

            buildGraph(startBlock);
            //connecting end points has to be done before contracting (because of loosing child less points)
            connectChildLessPoints();

            contractBlocks();

            foreach (var point in Points)
            {
                point.SetOwningGraph(this);
            }

            //Associate everything in subgraph
            EvaluationLog.AssociatePointHierarchy(Start);
        }