private void ExtractVariable(Variable variable, Assign assignContext) { ExtractVariable(variable); Variable retrievedVariable = Variables.GetVariableByName(variable.Name); UsesTable.SetUses(assignContext, retrievedVariable); }
private void ExtractIf(If check, Procedure procedureContext) { ExtractVariable(check.Condition); Variable retrievedVariable = Variables.GetVariableByName(check.Condition.Name); UsesTable.SetUses(check, retrievedVariable); ExtractBody(check, check.IfBody, procedureContext); NextTable.SetNext(check, check.IfBody.GetFirst()); if (check.ElseBody != null) { ExtractBody(check, check.ElseBody, procedureContext); NextTable.SetNext(check, check.ElseBody.GetFirst()); } }
private void ExtractWhile(While loop, Procedure procedureContext) { ExtractVariable(loop.Condition); Variable retrievedVariable = Variables.GetVariableByName(loop.Condition.Name); UsesTable.SetUses(loop, retrievedVariable); ExtractBody(loop, loop.Body, procedureContext); NextTable.SetNext(loop, loop.Body.GetFirst()); if (loop.Body.GetLast() is If) { ExtractIfNext(loop.Body.GetLast() as If, loop); } else { NextTable.SetNext(loop.Body.GetLast(), loop); } }
private void ExtractProcedure(Procedure procedure) { IStatementList children = procedure.Body; for (int i = 0; i < children.GetSize(); i++) { Statement child = children[i]; ExtractStatement(child, procedure); if (i > 0) { Statement previousChild = children[i - 1]; FollowsTable.SetFollows(previousChild, child); if (!(previousChild is If)) { NextTable.SetNext(previousChild, child); } else { ExtractIfNext(previousChild as If, child); } } IVariableList modifiedVariables = ModifiesTable.GetModifiedBy(child); IVariableList usedVariables = UsesTable.GetUsedBy(child); foreach (Variable variable in modifiedVariables) { ModifiesTable.SetModifies(procedure, variable); } foreach (Variable variable in usedVariables) { UsesTable.SetUses(procedure, variable); } } }
private void ExtractProcedureCalls(Procedure procedure) { IProcedureList callingProcedures = CallsTable.GetCalling(procedure); foreach (Procedure callingProcedure in callingProcedures) { List <Call> procedureCalls = calls[callingProcedure].Where(x => x.Procedure == procedure).ToList(); foreach (Call call in procedureCalls) { IStatementList callParents = ParentTable.GetParentT(call); IVariableList modifiedVariables = ModifiesTable.GetModifiedBy(procedure); IVariableList usedVariables = UsesTable.GetUsedBy(procedure); foreach (Variable variable in modifiedVariables) { ModifiesTable.SetModifies(call, variable); ModifiesTable.SetModifies(callingProcedure, variable); foreach (Statement parent in callParents) { ModifiesTable.SetModifies(parent, variable); } } foreach (Variable variable in usedVariables) { UsesTable.SetUses(call, variable); UsesTable.SetUses(callingProcedure, variable); foreach (Statement parent in callParents) { UsesTable.SetUses(parent, variable); } } ExtractProcedureCalls(callingProcedure); } } }
private void ExtractBody(Container container, IStatementList body, Procedure procedureContext) { for (int i = 0; i < body.GetSize(); i++) { Statement child = body[i]; ExtractStatement(child, procedureContext); ParentTable.SetParent(container, child); if (i > 0) { Statement previousChild = body[i - 1]; FollowsTable.SetFollows(previousChild, child); if (!(previousChild is If)) { NextTable.SetNext(previousChild, child); } else { ExtractIfNext(previousChild as If, child); } } IVariableList modifiedVariables = ModifiesTable.GetModifiedBy(child); IVariableList usedVariables = UsesTable.GetUsedBy(child); foreach (Variable variable in modifiedVariables) { ModifiesTable.SetModifies(container, variable); } foreach (Variable variable in usedVariables) { UsesTable.SetUses(container, variable); } } }