Ejemplo n.º 1
0
 private ConditionLogicalConstruct(CFGBlockLogicalConstruct cfgConditionBlock)
 {
     base();
     this.set_Entry(cfgConditionBlock);
     this.SetTrueAndFalseSuccessors(cfgConditionBlock);
     this.set_ConditionExpression(cfgConditionBlock.get_LogicalConstructExpressions().get_Item(0));
     stackVariable12    = new ILogicalConstruct[1];
     stackVariable12[0] = cfgConditionBlock;
     this.RedirectChildrenToNewParent((IEnumerable <ILogicalConstruct>)stackVariable12);
     this.AddTrueFalseSuccessors();
     this.set_LogicalContainer(null);
     return;
 }
 private SwitchLogicalConstruct(CFGBlockLogicalConstruct entry, ICollection <CaseLogicalConstruct> body, PairList <List <int>, CFGBlockLogicalConstruct> nonDominatedCFGSuccessors, CaseLogicalConstruct defaultCase, CFGBlockLogicalConstruct defaultCFGSuccessor)
 {
     base();
     this.set_SwitchConditionExpression(entry.get_LogicalConstructExpressions().get_Item(0));
     this.set_DefaultCase(defaultCase);
     this.set_DefaultCFGSuccessor(defaultCFGSuccessor);
     this.set_NonDominatedCFGSuccessors(nonDominatedCFGSuccessors);
     this.FillCasesArray(body);
     this.set_Entry(entry);
     this.RedirectChildrenToNewParent(this.GetBodyCollection());
     if (entry.get_CFGSuccessors().Contains(entry))
     {
         this.AddToPredecessors(entry);
         this.AddToSuccessors(entry);
     }
     return;
 }