private void RemoveTransitiveEdges() { V_0 = this.GenerateNodeToIndex(); V_1 = this.GeenrateAdjacencyMatrix(V_0); this.WarsawTransitiveClosure(V_1); V_2 = this.inferenceGraph.GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = V_2.get_Current(); V_4 = this.inferenceGraph.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_6 = this.inferenceGraph.GetEnumerator(); try { while (V_6.MoveNext()) { V_7 = V_6.get_Current(); V_8 = V_0.get_Item(V_3); V_9 = V_0.get_Item(V_5); V_10 = V_0.get_Item(V_7); if (!V_1[V_8, V_9] || !V_1[V_9, V_10] || V_3.get_IsHardNode() && V_7.get_IsHardNode() || !V_3.get_SubTypes().Contains(V_7)) { continue; } this.RemoveSubtype(V_3, V_7); } } finally { if (V_6 != null) { V_6.Dispose(); } } } } finally { if (V_4 != null) { V_4.Dispose(); } } } } finally { if (V_2 != null) { V_2.Dispose(); } } return; }
private List <IntervalConstruct> SortIntervalList(List <IntervalConstruct> intervals) { V_0 = new IntervalConstruct(intervals.get_Item(0)); V_2 = intervals.GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = V_2.get_Current(); dummyVar0 = V_0.get_Children().Add(V_3); } } finally { ((IDisposable)V_2).Dispose(); } stackVariable15 = DFSTBuilder.BuildTree(V_0); V_1 = new List <IntervalConstruct>(); V_4 = stackVariable15.get_ReversePostOrder().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_1.Add(V_5.get_Construct() as IntervalConstruct); } } finally { ((IDisposable)V_4).Dispose(); } return(V_1); }
private ICollection <DFSTNode> ExpandLoopBodyWithCrossEdges(ICollection <DFSTNode> nodesInLoop) { V_0 = new HashSet <DFSTNode>(nodesInLoop); V_1 = new Queue <DFSTNode>(nodesInLoop); while (V_1.get_Count() > 0) { V_2 = V_1.Dequeue(); V_4 = V_2.get_CrossEdgePredecessors().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (V_0.Contains(V_5)) { continue; } dummyVar0 = V_0.Add(V_5); V_1.Enqueue(V_5); } } finally { ((IDisposable)V_4).Dispose(); } V_3 = V_2.get_Predecessor() as DFSTNode; if (V_3 == null || V_0.Contains(V_3)) { continue; } dummyVar1 = V_0.Add(V_3); V_1.Enqueue(V_3); } return(V_0); }
public HashSet <ISingleEntrySubGraph> GetDominatedNodes(ISingleEntrySubGraph construct) { if (!this.constructToNodeMap.TryGetValue(construct, out V_0)) { return(null); } V_1 = new HashSet <ISingleEntrySubGraph>(); V_2 = new Queue <DTNode>(); V_2.Enqueue(V_0); while (V_2.get_Count() > 0) { V_3 = V_2.Dequeue(); dummyVar0 = V_1.Add(V_3.get_Construct()); V_4 = V_3.get_TreeEdgeSuccessors().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = (DTNode)V_4.get_Current(); V_2.Enqueue(V_5); } } finally { ((IDisposable)V_4).Dispose(); } } return(V_1); }
private LetClause GenerateLetClause(Dictionary <PropertyDefinition, Expression> propertyToValueMap, VariableReference oldIdentifier) { V_0 = null; V_1 = null; V_4 = propertyToValueMap.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (!String.op_Equality(V_5.get_Key().get_Name(), oldIdentifier.get_Name()) || V_5.get_Value().get_CodeNodeType() != 26 || (object)(V_5.get_Value() as VariableReferenceExpression).get_Variable() != (object)oldIdentifier) { V_1 = V_5.get_Key(); } else { V_0 = V_5.get_Key(); } } } finally { ((IDisposable)V_4).Dispose(); } if (V_0 == null || V_1 == null) { return(null); } V_2 = propertyToValueMap.get_Item(V_1); V_3 = new LetClause(new VariableReferenceExpression(this.CreateNewIdentifier(V_1.get_Name(), V_2.get_ExpressionType()), null), V_2, null); propertyToValueMap.set_Item(V_1, V_3.get_Identifier()); return(V_3); }
public override RepositoryResponse<bool> SaveSubModels(MixPage parent, MixCmsContext _context = null, IDbContextTransaction _transaction = null) { stackVariable0 = new RepositoryResponse<bool>(); stackVariable0.set_IsSucceed(true); V_0 = stackVariable0; ViewModelHelper.HandleResult<Mix.Cms.Lib.ViewModels.MixTemplates.UpdateViewModel>(this.get_View().SaveModel(true, _context, _transaction), ref V_0); if (V_0.get_IsSucceed() && this.get_Master() != null) { ViewModelHelper.HandleResult<Mix.Cms.Lib.ViewModels.MixTemplates.UpdateViewModel>(this.get_Master().SaveModel(true, _context, _transaction), ref V_0); } if (V_0.get_IsSucceed() && this.get_UrlAliases() != null) { V_1 = this.get_UrlAliases().GetEnumerator(); try { while (V_1.MoveNext()) { V_2 = V_1.get_Current(); if (!V_0.get_IsSucceed()) { break; } V_2.set_SourceId(parent.get_Id().ToString()); V_2.set_Type(0); V_2.set_Specificulture(this.get_Specificulture()); ViewModelHelper.HandleResult<Mix.Cms.Lib.ViewModels.MixUrlAliases.UpdateViewModel>(V_2.SaveModel(false, _context, _transaction), ref V_0); } } finally { ((IDisposable)V_1).Dispose(); } } if (V_0.get_IsSucceed()) { V_4 = this.get_ModuleNavs().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_5.set_PageId(parent.get_Id()); if (!V_5.get_IsActived()) { ViewModelHelper.HandleResult<MixPageModule>(V_5.RemoveModel(false, _context, _transaction), ref V_0); } else { ViewModelHelper.HandleResult<Mix.Cms.Lib.ViewModels.MixPageModules.ReadMvcViewModel>(V_5.SaveModel(false, _context, _transaction), ref V_0); } } } finally { ((IDisposable)V_4).Dispose(); } } return V_0; }
private Dictionary <ILogicalConstruct, HashSet <ISingleEntrySubGraph> > GetValidCases(DominatorTree dominatorTree, ILogicalConstruct switchCFGBlock) { V_0 = new SwitchBuilder.u003cu003ec__DisplayClass9_0(); V_0.caseEntriesToDominatedNodesMap = new Dictionary <ILogicalConstruct, HashSet <ISingleEntrySubGraph> >(); V_1 = new HashSet <ISingleEntrySubGraph>(); dummyVar0 = V_1.Add(switchCFGBlock); V_4 = switchCFGBlock.get_SameParentSuccessors().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = (ILogicalConstruct)V_4.get_Current(); if (V_5 == switchCFGBlock || dominatorTree.GetImmediateDominator(V_5) != switchCFGBlock) { continue; } V_6 = dominatorTree.GetDominatedNodes(V_5); V_0.caseEntriesToDominatedNodesMap.Add(V_5, V_6); V_1.UnionWith(V_6); } } finally { ((IDisposable)V_4).Dispose(); } stackVariable34 = DFSTBuilder.BuildTree(switchCFGBlock.get_Parent(), switchCFGBlock).get_ReversePostOrder(); stackVariable35 = SwitchBuilder.u003cu003ec.u003cu003e9__9_0; if (stackVariable35 == null) { dummyVar1 = stackVariable35; stackVariable35 = new Func <DFSTNode, ILogicalConstruct>(SwitchBuilder.u003cu003ec.u003cu003e9.u003cGetValidCasesu003eb__9_0); SwitchBuilder.u003cu003ec.u003cu003e9__9_0 = stackVariable35; } V_2 = new List <ILogicalConstruct>(stackVariable34.Select <DFSTNode, ILogicalConstruct>(stackVariable35).Where <ILogicalConstruct>(new Func <ILogicalConstruct, bool>(V_0.u003cGetValidCasesu003eb__1))); do { V_3 = false; V_7 = V_2.GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); if (!V_0.caseEntriesToDominatedNodesMap.TryGetValue(V_8, out V_9) || this.IsCaseValid(V_8, V_1)) { continue; } V_1.ExceptWith(V_9); dummyVar2 = V_0.caseEntriesToDominatedNodesMap.Remove(V_8); V_3 = true; } } finally { ((IDisposable)V_7).Dispose(); } }while (V_3); return(V_0.caseEntriesToDominatedNodesMap); }
public void InferTypes() { V_0 = (new GreedyTypeInferer(this.context, this.offsetToExpression)).InferTypes(); V_1 = new ClassHierarchyBuilder(this.offsetToExpression, this.context.get_MethodContext().get_ControlFlowGraph().get_OffsetToInstruction(), this.context); this.inferenceGraph = V_1.BuildHierarchy(V_0); this.MergeConnectedComponents(); this.RemoveTransitiveEdges(); this.ProcessSingleConstraints(); V_2 = null; V_4 = this.inferenceGraph.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (!V_5.get_IsHardNode() || !String.op_Equality(V_5.get_NodeType().get_FullName(), "System.Object")) { continue; } V_2 = V_5; goto Label0; } } finally { if (V_4 != null) { V_4.Dispose(); } } Label0: V_3 = new List <ClassHierarchyNode>(); V_3.Add(V_2); V_4 = this.inferenceGraph.GetEnumerator(); try { while (V_4.MoveNext()) { V_6 = V_4.get_Current(); if (V_6.get_IsHardNode()) { continue; } V_3.Add(V_6); } } finally { if (V_4 != null) { V_4.Dispose(); } } this.MergeNodes(V_3); this.InferIntegerTypes(V_0); this.AddCasts(); return; }
public List <FileViewModel> GetFilesWithContent(string fullPath) { this.CreateDirectoryIfNotExist(fullPath); V_0 = new List <FileViewModel>(); V_1 = Directory.GetDirectories(fullPath, "*", 1); V_2 = 0; while (V_2 < (int)V_1.Length) { stackVariable15 = new DirectoryInfo(V_1[V_2]); V_3 = stackVariable15.get_Name(); stackVariable17 = stackVariable15.GetFiles(); stackVariable18 = FileRepository.u003cu003ec.u003cu003e9__29_0; if (stackVariable18 == null) { dummyVar0 = stackVariable18; stackVariable18 = new Func <FileInfo, DateTime>(FileRepository.u003cu003ec.u003cu003e9.u003cGetFilesWithContentu003eb__29_0); FileRepository.u003cu003ec.u003cu003e9__29_0 = stackVariable18; } V_4 = ((IEnumerable <FileInfo>)stackVariable17).OrderByDescending <FileInfo, DateTime>(stackVariable18).GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_6 = V_5.OpenText(); try { V_7 = new FileViewModel(); V_7.set_FolderName(V_3); stackVariable33 = new string[2]; stackVariable33[0] = fullPath; stackVariable33[1] = V_3; V_7.set_FileFolder(CommonHelper.GetFullPath(stackVariable33)); V_7.set_Filename(V_5.get_Name().Substring(0, V_5.get_Name().LastIndexOf('.'))); V_7.set_Extension(V_5.get_Extension()); V_7.set_Content(V_6.ReadToEnd()); V_0.Add(V_7); } finally { if (V_6 != null) { ((IDisposable)V_6).Dispose(); } } } } finally { if (V_4 != null) { V_4.Dispose(); } } V_2 = V_2 + 1; } return(V_0); }
private void CreateGraph(IEnumerable <IntervalConstruct> intervals) { V_0 = intervals.GetEnumerator(); try { while (V_0.MoveNext()) { V_1 = V_0.get_Current(); V_2 = V_1.get_Children().GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = (ILogicalConstruct)V_2.get_Current(); V_4 = this.GetNodeSuccessors(V_3).GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (!this.nodeToInterval.ContainsKey(V_5) || this.nodeToInterval.get_Item(V_5) == V_1) { continue; } V_6 = this.nodeToInterval.get_Item(V_5); if (V_1.get_SameParentSuccessors().Contains(V_6)) { continue; } dummyVar0 = V_1.get_SameParentSuccessors().Add(V_6); dummyVar1 = V_6.get_SameParentPredecessors().Add(V_1); } } finally { if (V_4 != null) { V_4.Dispose(); } } } } finally { ((IDisposable)V_2).Dispose(); } } } finally { if (V_0 != null) { V_0.Dispose(); } } return; }
public int WriteParameterAttributes(ParameterDefinition parameter, bool isWinRTMethodImplementation) { if (isWinRTMethodImplementation) { stackVariable1 = null; } else { stackVariable1 = this.GetInAttribute(parameter); } V_0 = stackVariable1; if (isWinRTMethodImplementation) { stackVariable3 = null; } else { stackVariable3 = this.GetOutAttribute(parameter); } V_1 = stackVariable3; V_2 = new List <CustomAttribute>(); if (V_0 != null) { V_2.Add(V_0); } if (V_1 != null) { V_2.Add(V_1); } V_2.AddRange(parameter.get_CustomAttributes()); V_3 = 0; V_4 = V_2.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (this.attributesNotToShow.Contains(V_5.get_AttributeType().get_FullName())) { continue; } if (V_3 != 0) { this.genericWriter.Write(this.get_ParameterAttributeSeparator()); } this.WriteAttribute(V_5, true, false); V_3 = V_3 + 1; } } finally { ((IDisposable)V_4).Dispose(); } return(V_3); }
public void MergeNodes(HashSet <ISingleEntrySubGraph> constructs, ISingleEntrySubGraph originalEntry, ISingleEntrySubGraph newConstruct) { V_0 = this.constructToNodeMap.get_Item(originalEntry); stackVariable5 = new DTNode(newConstruct); stackVariable5.set_Predecessor(V_0.get_Predecessor()); V_1 = stackVariable5; V_1.get_DominanceFrontier().UnionWith(V_0.get_DominanceFrontier()); dummyVar0 = V_1.get_DominanceFrontier().Remove(V_0); if (V_1.get_Predecessor() != null) { dummyVar1 = V_1.get_Predecessor().get_TreeEdgeSuccessors().Remove(V_0); dummyVar2 = V_1.get_Predecessor().get_TreeEdgeSuccessors().Add(V_1); } V_2 = constructs.GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = V_2.get_Current(); dummyVar3 = this.constructToNodeMap.Remove(V_3); } } finally { ((IDisposable)V_2).Dispose(); } V_4 = this.constructToNodeMap.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (V_5.get_Value().get_Predecessor() != null && constructs.Contains(V_5.get_Value().get_Predecessor().get_Construct())) { V_5.get_Value().set_Predecessor(V_1); dummyVar4 = V_1.get_TreeEdgeSuccessors().Add(V_5.get_Value()); } if (!V_5.get_Value().get_DominanceFrontier().Remove(V_0)) { continue; } dummyVar5 = V_5.get_Value().get_DominanceFrontier().Add(V_1); } } finally { ((IDisposable)V_4).Dispose(); } if (this.get_RootConstruct() == originalEntry) { this.set_RootConstruct(newConstruct); } this.constructToNodeMap.Add(newConstruct, V_1); return; }
private bool RemoveStateSavingBlocks() { V_0 = this.theCFG.get_Blocks()[(int)this.theCFG.get_Blocks().Length - 1]; V_1 = V_0.get_First(); while (V_1.get_OpCode().get_Code() == null && (object)V_1 != (object)V_0.get_Last()) { V_1 = V_1.get_Next(); } if (V_1.get_OpCode().get_Code() != 41) { return(false); } V_2 = 0; V_4 = (new HashSet <InstructionBlock>(V_0.get_Predecessors())).GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if ((int)V_5.get_Successors().Length <= 1) { if (V_5.get_Predecessors().get_Count() != 1 || !InstructionBlock.op_Inequality(this.theCFG.get_Blocks()[(int)this.theCFG.get_Blocks().Length - 2], V_5)) { V_5.set_Successors(new InstructionBlock[0]); V_2 = V_2 + 1; } else { if (this.CheckForStateFieldSet(V_5) && this.TryRemoveStateSavingBlock(V_5)) { continue; } V_6 = false; goto Label1; } } else { V_6 = false; goto Label1; } } goto Label0; } finally { ((IDisposable)V_4).Dispose(); } Label1: return(V_6); Label0: dummyVar0 = this.toBeRemoved.Add(V_0); return(V_2 == 2); }
public IEnumerable <ICollection <ClassHierarchyNode> > GetConnectedComponents() { do { V_0 = null; V_2 = this.inferenceGraph.GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = V_2.get_Current(); if (this.used.ContainsKey(V_3)) { continue; } V_0 = V_3; goto Label0; } } finally { if (V_2 != null) { V_2.Dispose(); } } Label0: if (V_0 == null) { continue; } this.RecursiveDfs(V_0); }while (V_0 != null); V_1 = new ICollection <ClassHierarchyNode> [this.componentCount]; V_4 = this.nodeToComponent.get_Keys().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_6 = this.nodeToComponent.get_Item(V_5); if (V_1[V_6] == null) { V_1[V_6] = new List <ClassHierarchyNode>(); } ((List <ClassHierarchyNode>)V_1[V_6]).Add(V_5); } } finally { ((IDisposable)V_4).Dispose(); } return(V_1); }
private void GenerateStackData() { V_0 = new StackUsageData(); V_1 = this.instructionOffsetToUsedInstructionsMap.GetEnumerator(); try { while (V_1.MoveNext()) { V_2 = V_1.get_Current(); V_3 = new List<VariableDefinition>(V_2.get_Value().Select<int, VariableDefinition>(new Func<int, VariableDefinition>(this.u003cGenerateStackDatau003eb__25_0))); V_0.get_InstructionOffsetToUsedStackVariablesMap().set_Item(V_2.get_Key(), V_3); V_4 = V_3.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); this.GetDefineUseInfo(V_0, V_5).get_UsedAt().Add(V_2.get_Key()); } } finally { ((IDisposable)V_4).Dispose(); } } } finally { ((IDisposable)V_1).Dispose(); } V_6 = this.instructionOffsetToVariableDefinitionMap.GetEnumerator(); try { while (V_6.MoveNext()) { V_7 = V_6.get_Current(); if (V_7.get_Key() >= 0) { V_0.get_InstructionOffsetToAssignedVariableMap().Add(V_7.get_Key(), V_7.get_Value()); dummyVar0 = this.GetDefineUseInfo(V_0, V_7.get_Value()).get_DefinedAt().Add(V_7.get_Key()); } else { V_0.get_ExceptionHandlerStartToExceptionVariableMap().Add(-V_7.get_Key(), V_7.get_Value()); } } } finally { ((IDisposable)V_6).Dispose(); } this.methodContext.set_StackData(V_0); return; }
protected override string ToString(string constructName, HashSet <CFGBlockLogicalConstruct> printedCFGBlocks, LogicalFlowBuilderContext context) { V_0 = new StringBuilder(this.GetType().get_Name()); dummyVar0 = V_0.AppendLine(); dummyVar1 = V_0.AppendLine("{"); this.IndentAndAppendString(V_0, (this.get_Entry() as LogicalConstructBase).ToString(context)); dummyVar2 = V_0.AppendLine(); if (this.get_DefaultCase() != null) { this.IndentAndAppendString(V_0, this.get_DefaultCase().ToString(context)); } V_1 = this.get_ConditionCases(); V_2 = 0; while (V_2 < (int)V_1.Length) { this.IndentAndAppendString(V_0, V_1[V_2].ToString(context)); V_2 = V_2 + 1; } V_4 = this.get_NonDominatedCFGSuccessors().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); dummyVar3 = V_0.Append("\tCase"); V_6 = V_5.get_Key().GetEnumerator(); try { while (V_6.MoveNext()) { V_7 = V_6.get_Current(); dummyVar4 = V_0.Append(" ").Append(V_7); } } finally { ((IDisposable)V_6).Dispose(); } dummyVar5 = V_0.Append(": ").AppendLine(this.NodeILOffset(context, V_5.get_Value())); } } finally { ((IDisposable)V_4).Dispose(); } if (this.get_DefaultCase() == null) { dummyVar6 = V_0.Append("\tDefault: ").AppendLine(this.NodeILOffset(context, this.get_DefaultCFGSuccessor())); } dummyVar7 = V_0.Append("\tFollowNode: ").AppendLine(this.NodeILOffset(context, this.get_CFGFollowNode())); dummyVar8 = V_0.AppendLine("}"); printedCFGBlocks.UnionWith(this.get_CFGBlocks()); return(V_0.ToString()); }
private Statement FixSwitchingStatement(Statement statement) { if (statement as SwitchStatement == null) { if (statement as IfElseIfStatement != null) { V_4 = (statement as IfElseIfStatement).get_ConditionBlocks().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); this.FixConditionExpression(V_5.get_Key() as BinaryExpression); } } finally { ((IDisposable)V_4).Dispose(); } } } else { V_0 = statement as SwitchStatement; if (V_0.get_Condition().Equals(this.theIntVariable)) { V_0.set_Condition(this.theStringVariable.CloneExpressionOnly()); } V_1 = V_0.get_Cases().GetEnumerator(); try { while (V_1.MoveNext()) { V_2 = V_1.get_Current(); if (V_2 as ConditionCase == null) { continue; } stackVariable34 = V_2 as ConditionCase; V_3 = (Int32)(stackVariable34.get_Condition() as LiteralExpression).get_Value(); stackVariable34.set_Condition(new LiteralExpression(this.valueDictionary.get_Item(V_3), this.theTypeSystem, null)); } } finally { if (V_1 != null) { V_1.Dispose(); } } } return(statement); }
private Dictionary <string, List <string> > GetModuleCollisionTypesData(ModuleDefinition module, ILanguage language) { V_0 = new Dictionary <string, List <string> >(language.get_IdentifierComparer()); V_1 = new Dictionary <string, string>(language.get_IdentifierComparer()); this.UpdateCollisionTypesDataWithTypes(V_0, V_1, module.get_Types()); V_2 = this.GetModuleDependsOnAnalysis(module); if (Mono.Cecil.AssemblyResolver.Extensions.IsReferenceAssembly(module)) { stackVariable16 = 1; } else { stackVariable16 = 0; } V_3 = stackVariable16; V_4 = V_2.get_Keys().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_6 = module.get_AssemblyResolver().Resolve(V_5, "", ModuleDefinitionExtensions.GetModuleArchitecture(module), V_3, true); if (V_6 == null) { this.UpdateCollisionTypesDataWithTypes(V_0, V_1, V_2.get_Item(V_5)); } else { V_7 = V_6.get_Modules().GetEnumerator(); try { while (V_7.MoveNext()) { V_8 = V_7.get_Current(); this.UpdateCollisionTypesDataWithTypes(V_0, V_1, V_8.get_Types()); } } finally { V_7.Dispose(); } } } } finally { ((IDisposable)V_4).Dispose(); } return(V_0); }
private void FindReachableBlocks() { this.GetGuardedBlockToExceptionHandlersMap(); stackVariable3 = new InstructionBlock[1]; stackVariable3[0] = this.theCFG.get_Blocks()[0]; this.GetReachableBlocks(stackVariable3); while (true) { V_0 = new List <InstructionBlock>(); V_1 = new List <InstructionBlock>(); V_2 = this.guardedBlockToExceptionHandler.GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = V_2.get_Current(); if (!this.reachableBlocks.Contains(V_3.get_Key())) { continue; } V_0.Add(V_3.get_Key()); V_1.AddRange(V_3.get_Value()); } } finally { ((IDisposable)V_2).Dispose(); } if (V_0.get_Count() == 0) { break; } V_4 = V_0.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); dummyVar0 = this.guardedBlockToExceptionHandler.Remove(V_5); } } finally { ((IDisposable)V_4).Dispose(); } this.GetReachableBlocks(V_1); } return; }
private void ProcessLogicalConstruct(ILogicalConstruct construct) { V_0 = this.GetDominatorTreeFromContext(construct); V_1 = 0x7fffffff; this.RemoveBackEdgesFromSwitchConstructs(construct); while (V_1 > 1) { V_2 = (new IntervalAnalyzer(construct, this.removedEdges)).ReduceCfg(); stackVariable14 = new List <IntervalConstruct>(V_2); stackVariable14.Reverse(); V_3 = false; V_4 = stackVariable14.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (!this.TryMakeLoop(V_5, V_0)) { continue; } V_3 = true; goto Label0; } } finally { ((IDisposable)V_4).Dispose(); } Label0: if (!V_3) { if (V_2.get_Count() == V_1) { this.RemoveBlockingEdges(V_2); } if (V_2.get_Count() > V_1) { throw new Exception("Intervails are more than in the last iteration."); } V_1 = V_2.get_Count(); } else { V_1 = V_2.get_Count(); } } return; }
private List <KeyValuePair <int, int> > MaximumWeightBipartiteGraphMatching() { this.Initialization(); while (true) { this.GenerateExcessMatrixAndEqualitySubgraph(); V_0 = this.FindMaximumCardianlityMatching(); if (V_0.get_Count() == this.size) { break; } V_1 = this.MinimumVertexCover(V_0); V_2 = this.GetMinElement(V_1); V_6 = 0; while (V_6 < this.size) { if (!V_1[V_6]) { stackVariable40 = &this.u[V_6]; stackVariable40 = stackVariable40 - V_2; } if (V_1[V_6 + this.size]) { stackVariable33 = &this.v[V_6]; stackVariable33 = stackVariable33 + V_2; } V_6 = V_6 + 1; } } V_3 = new List <KeyValuePair <int, int> >(); V_4 = V_0.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (this.graph[V_5.get_Key(), V_5.get_Value() - this.size] == 0) { continue; } V_3.Add(new KeyValuePair <int, int>(V_5.get_Key(), V_5.get_Value() - this.size)); } } finally { ((IDisposable)V_4).Dispose(); } return(V_3); }
public static List<TypeDefinition> GetBaseTypes(this TypeDefinition targetType) { V_0 = new List<TypeDefinition>(); if (targetType == null) { return V_0; } V_0.Add(targetType); V_1 = 0; while (V_1 < V_0.get_Count()) { stackVariable10 = V_0.get_Item(V_1); V_2 = stackVariable10.get_BaseType(); if (V_2 != null) { V_3 = V_2.Resolve(); if (V_3 != null) { V_0.Add(V_3); } } V_4 = stackVariable10.get_Interfaces().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (V_5 == null) { continue; } V_6 = V_5.Resolve(); if (V_6 == null) { continue; } V_0.Add(V_6); } } finally { V_4.Dispose(); } V_1 = V_1 + 1; } return V_0; }
private void CollectVariableNames() { V_0 = new HashSet <string>(this.methodContext.get_VariableNamesCollection(), this.context.get_Language().get_IdentifierComparer()); V_1 = this.methodContext.get_Body().get_Variables().GetEnumerator(); try { while (V_1.MoveNext()) { V_2 = V_1.get_Current(); if (!this.methodContext.get_VariableDefinitionToNameMap().TryGetValue(V_2, out V_3)) { V_3 = V_2.get_Name(); } if (V_0.Contains(V_3)) { continue; } dummyVar0 = V_0.Add(V_3); } } finally { V_1.Dispose(); } V_4 = this.methodContext.get_VariableDefinitionToNameMap().get_Values().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (V_0.Contains(V_5)) { continue; } dummyVar1 = V_0.Add(V_5); } } finally { ((IDisposable)V_4).Dispose(); } this.methodContext.set_VariableNamesCollection(V_0); return; }
private void RemoveExcessNodesFromTheTryBlock() { V_0 = new HashSet <ILogicalConstruct>(this.finallyBlocks); V_1 = new Queue <ILogicalConstruct>(this.finallyBlocks); while (V_1.get_Count() > 0) { V_2 = V_1.Dequeue().get_SameParentSuccessors().GetEnumerator(); try { while (V_2.MoveNext()) { V_3 = (ILogicalConstruct)V_2.get_Current(); if (V_0.Contains(V_3) || V_3 == this.entryOfTry) { continue; } dummyVar0 = V_0.Add(V_3); V_1.Enqueue(V_3); } } finally { ((IDisposable)V_2).Dispose(); } } V_4 = V_0.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (V_5 == this.entryOfTry) { continue; } dummyVar1 = this.newTryBody.Remove(V_5); } } finally { ((IDisposable)V_4).Dispose(); } return; }
public XElement ParseXElement() { dummyVar0 = XNamespace.op_Implicit("http://www.w3.org/1999/xhtml"); V_0 = XNamespace.op_Implicit("http://www.sitemaps.org/schemas/sitemap/0.9"); V_1 = XNamespace.op_Implicit("http://www.w3.org/1999/xhtml"); V_2 = new XElement(XNamespace.op_Addition(V_0, "url")); stackVariable10 = V_2; stackVariable13 = XNamespace.op_Addition(V_0, "lastmod"); if (this.get_LastMod().get_HasValue()) { stackVariable21 = this.get_LastMod().get_Value(); } else { stackVariable21 = DateTime.get_UtcNow(); } stackVariable10.Add(new XElement(stackVariable13, (object)stackVariable21)); V_2.Add(new XElement(XNamespace.op_Addition(V_0, "changefreq"), this.get_ChangeFreq())); V_2.Add(new XElement(XNamespace.op_Addition(V_0, "priority"), (object)this.get_Priority())); V_2.Add(new XElement(XNamespace.op_Addition(V_0, "loc"), this.get_Loc())); V_4 = this.get_OtherLanguages().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); stackVariable56 = XNamespace.op_Addition(V_1, "link"); stackVariable58 = new object[4]; stackVariable58[0] = new XAttribute(XNamespace.op_Addition(XNamespace.get_Xmlns(), "xhtml"), V_1.get_NamespaceName()); stackVariable58[1] = new XAttribute(XName.op_Implicit("rel"), "alternate"); stackVariable58[2] = new XAttribute(XName.op_Implicit("hreflang"), V_5.get_HrefLang()); stackVariable58[3] = new XAttribute(XName.op_Implicit("href"), V_5.get_Href()); V_2.Add(new XElement(stackVariable56, stackVariable58)); } } finally { ((IDisposable)V_4).Dispose(); } return(V_2); }
private bool[,] GeenrateAdjacencyMatrix(Dictionary <ClassHierarchyNode, int> nodeToIndex) { stackVariable2 = this.inferenceGraph.get_Count(); V_0 = new bool[stackVariable2, stackVariable2]; V_1 = this.inferenceGraph.GetEnumerator(); try { while (V_1.MoveNext()) { V_2 = V_1.get_Current(); V_3 = nodeToIndex.get_Item(V_2); V_4 = V_2.get_CanAssignTo().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_0[V_3, nodeToIndex.get_Item(V_5)] = true; } } finally { if (V_4 != null) { V_4.Dispose(); } } } } finally { if (V_1 != null) { V_1.Dispose(); } } return(V_0); }
protected override bool TryMatchInternal(StatementCollection statements, int startIndex, out Statement result, out int replacedStatementsCount) { result = null; replacedStatementsCount = 0; if (!this.TryGetObjectCreation(statements, startIndex, out V_0, out V_1)) { return(false); } V_2 = new ExpressionCollection(); V_3 = new HashSet <string>(); if (V_0.get_Initializer() != null) { if (V_0.get_Initializer().get_InitializerType() != 1) { return(false); } V_4 = V_0.get_Initializer().get_Expressions().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_6 = this.GetName((V_5 as BinaryExpression).get_Left()); dummyVar0 = V_3.Add(V_6); } } finally { if (V_4 != null) { V_4.Dispose(); } } } V_7 = startIndex + 1; while (V_7 < statements.get_Count() && this.TryGetNextExpression(statements.get_Item(V_7), out V_8)) { V_9 = V_8 as BinaryExpression; if (!this.IsObjectPropertyOrFieldAssignment(V_9, V_1)) { break; } V_10 = null; if (V_9.get_Left().get_CodeNodeType() != 42) { if (V_9.get_Left().get_CodeNodeType() == 30) { V_13 = (V_9.get_Left() as FieldReferenceExpression).get_Field().Resolve(); if (!this.Visit(V_13.get_Name(), V_3)) { break; } V_10 = new FieldInitializerExpression(V_13, V_13.get_FieldType(), V_9.get_Left().get_UnderlyingSameMethodInstructions()); } } else { V_12 = (V_9.get_Left() as PropertyReferenceExpression).get_Property(); if (!this.Visit(V_12.get_Name(), V_3)) { break; } V_10 = new PropertyInitializerExpression(V_12, V_12.get_PropertyType(), V_9.get_Left().get_UnderlyingSameMethodInstructions()); } V_11 = new BinaryExpression(26, V_10, V_9.get_Right().Clone(), this.typeSystem, null, false); V_2.Add(V_11); V_7 = V_7 + 1; } if (V_2.get_Count() == 0) { return(false); } if (V_0.get_Initializer() != null) { V_4 = V_2.GetEnumerator(); try { while (V_4.MoveNext()) { V_15 = V_4.get_Current(); V_0.get_Initializer().get_Expressions().Add(V_15); } } finally { if (V_4 != null) { V_4.Dispose(); } } } else { V_14 = new InitializerExpression(V_2, 1); V_14.set_IsMultiLine(true); V_0.set_Initializer(V_14); } result = statements.get_Item(startIndex); replacedStatementsCount = V_2.get_Count() + 1; return(true); }
internal static bool IsAnonymous(this TypeDefinition self) { if (self == null || String.op_Inequality(self.get_Namespace(), String.Empty) || !self.get_IsSealed() || !self.get_IsNotPublic() || String.op_Inequality(self.get_BaseType().get_FullName(), "System.Object") || !self.get_HasGenericParameters() || !self.HasCompilerGeneratedAttribute()) { return false; } V_0 = 0; if (self.get_Interfaces().get_Count() > 1) { return false; } if (self.get_Interfaces().get_Count() == 1) { if (!String.op_Equality(self.get_Interfaces().get_Item(0).get_Name(), "IEquatable`1")) { return false; } V_0 = 1; } V_1 = self.get_Properties().get_Count(); if (V_1 != self.get_GenericParameters().get_Count() || V_1 != self.get_Fields().get_Count()) { return false; } V_2 = 0; V_4 = self.get_Properties().GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); if (V_5.get_GetMethod() != null) { stackVariable50 = V_2; if (V_5.get_SetMethod() != null) { stackVariable53 = 2; } else { stackVariable53 = 1; } V_2 = stackVariable50 + stackVariable53; } else { V_6 = false; goto Label1; } } goto Label0; } finally { V_4.Dispose(); } Label1: return V_6; Label0: V_3 = self.get_Methods().get_Count(); if (V_2 + V_0 >= V_3) { return false; } return V_3 <= V_2 + V_0 + 4; }
private DecompiledType GetDecompiledType(IMemberDefinition member, ILanguage language) { V_0 = Utilities.GetDeclaringTypeOrSelf(member); V_1 = new DecompiledType(V_0); V_2 = new Queue <IMemberDefinition>(); V_2.Enqueue(member); Label0: while (V_2.get_Count() > 0) { V_3 = V_2.Dequeue(); if (V_3 as TypeDefinition != null && (object)V_3 == (object)member) { V_4 = Utilities.GetTypeMembers(V_3 as TypeDefinition, language, true, null, null, null, V_1.get_TypeContext().GetFieldToPropertyMap(language).get_Keys()).GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_2.Enqueue(V_5); } } finally { ((IDisposable)V_4).Dispose(); } } if (V_3 as MethodDefinition != null) { this.DecompileMember(V_3 as MethodDefinition, language, V_1); } if (V_3 as EventDefinition != null) { V_6 = V_3 as EventDefinition; if ((new AutoImplementedEventMatcher(V_6, language)).IsAutoImplemented()) { dummyVar0 = V_1.get_TypeContext().get_AutoImplementedEvents().Add(V_6); } if (V_6.get_AddMethod() != null) { this.DecompileMember(V_6.get_AddMethod(), language, V_1); } if (V_6.get_RemoveMethod() != null) { this.DecompileMember(V_6.get_RemoveMethod(), language, V_1); } if (V_6.get_InvokeMethod() != null) { this.DecompileMember(V_6.get_InvokeMethod(), language, V_1); } } if (V_3 as PropertyDefinition != null) { V_7 = V_3 as PropertyDefinition; stackVariable52 = new PropertyDecompiler(V_7, language, this.renameInvalidMembers, this.cacheService, V_1.get_TypeContext()); stackVariable52.add_ExceptionThrown(new EventHandler <Exception>(this.OnExceptionThrown)); stackVariable52.Decompile(out V_8, out V_9, out V_10); stackVariable52.remove_ExceptionThrown(new EventHandler <Exception>(this.OnExceptionThrown)); if (V_10) { dummyVar1 = V_1.get_TypeContext().get_AutoImplementedProperties().Add(V_7); } if (V_8 != null) { this.AddDecompiledMemberToDecompiledType(V_8, V_1); } if (V_9 != null) { this.AddDecompiledMemberToDecompiledType(V_9, V_1); } V_11 = stackVariable52.get_ExceptionsWhileDecompiling().GetEnumerator(); try { while (V_11.MoveNext()) { V_12 = V_11.get_Current(); this.get_ExceptionsWhileDecompiling().Add(V_12); } } finally { if (V_11 != null) { V_11.Dispose(); } } } if (V_3 as FieldDefinition == null) { continue; } V_13 = V_3 as FieldDefinition; V_14 = V_3.get_DeclaringType().get_Methods().GetEnumerator(); try { while (V_14.MoveNext()) { V_15 = V_14.get_Current(); if (!V_15.get_IsConstructor() || V_13.get_IsStatic() != V_15.get_IsStatic()) { continue; } this.DecompileConstructorChain(V_15, language, V_1); goto Label0; } } finally { V_14.Dispose(); } } V_1.get_TypeContext().set_ExplicitlyImplementedMembers(this.GetExplicitlyImplementedInterfaceMethods(V_0, language)); this.AddGeneratedFilterMethodsToDecompiledType(V_1, V_1.get_TypeContext(), language); return(V_1); }
private LoopType DetermineLoopType(HashSet <ILogicalConstruct> loopBody, HashSet <ILogicalConstruct> latchingNodes, IntervalConstruct interval, DominatorTree dominatorTree, out ConditionLogicalConstruct loopCondition) { V_0 = interval.get_Entry() as ILogicalConstruct; V_1 = new HashSet <ILogicalConstruct>(latchingNodes); dummyVar0 = V_1.Add(V_0); V_2 = DFSTBuilder.BuildTree(V_0.get_Parent() as ILogicalConstruct); V_3 = new HashSet <ILogicalConstruct>(); V_4 = loopBody.GetEnumerator(); try { while (V_4.MoveNext()) { V_5 = V_4.get_Current(); V_6 = dominatorTree.GetDominanceFrontier(V_5).GetEnumerator(); try { while (V_6.MoveNext()) { V_7 = (ILogicalConstruct)V_6.get_Current(); if (!interval.get_Children().Contains(V_7) || loopBody.Contains(V_7)) { continue; } dummyVar1 = V_3.Add(V_7); } } finally { ((IDisposable)V_6).Dispose(); } } } finally { ((IDisposable)V_4).Dispose(); } if (V_3.get_Count() == 0) { V_8 = V_2.get_ReversePostOrder().GetEnumerator(); try { while (V_8.MoveNext()) { V_9 = V_8.get_Current().get_Construct() as ILogicalConstruct; if (loopBody.Contains(V_9)) { continue; } loopCondition = this.GetLoopConditionWithMaxIndex(V_2, loopBody, V_1, V_9); if (loopCondition == null) { continue; } this.ExpandLoopBody(interval, loopBody, V_9); if (loopCondition != V_0) { V_10 = 2; goto Label1; } else { V_10 = 1; goto Label1; } } goto Label0; } finally { ((IDisposable)V_8).Dispose(); } Label1: return(V_10); } V_11 = V_2.get_ReversePostOrder().get_Count(); V_4 = V_3.GetEnumerator(); try { while (V_4.MoveNext()) { V_13 = V_4.get_Current(); V_14 = V_2.get_ConstructToNodeMap().get_Item(V_13).get_ReversePostOrderIndex(); if (V_14 >= V_11) { continue; } V_11 = V_14; } } finally { ((IDisposable)V_4).Dispose(); } V_12 = V_2.get_ReversePostOrder().get_Item(V_11).get_Construct() as ILogicalConstruct; loopCondition = this.GetLoopConditionWithMaxIndex(V_2, loopBody, V_1, V_12); this.ExpandLoopBody(interval, loopBody, V_12); if (loopCondition == null) { return(0); } if (loopCondition == V_0) { return(1); } return(2); Label0: if (!this.CanBeLoopCondition(V_0, loopBody)) { loopCondition = null; return(0); } loopCondition = V_0 as ConditionLogicalConstruct; return(1); }