private void SetTrueAndFalseSuccessors(CFGBlockLogicalConstruct cfgConditionBlock) { stackVariable1 = cfgConditionBlock.get_TheBlock(); V_0 = stackVariable1.get_Successors()[0]; V_1 = stackVariable1.get_Successors()[1]; V_2 = cfgConditionBlock.get_CFGSuccessors().GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = V_2.get_Current(); if (InstructionBlock.op_Equality(V_3.get_TheBlock(), V_0)) { this.set_TrueCFGSuccessor(V_3); } if (!InstructionBlock.op_Equality(V_3.get_TheBlock(), V_1)) { continue; } this.set_FalseCFGSuccessor(V_3); } } finally { ((IDisposable)V_2).Dispose(); } 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; }