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; }