private ISymbolTable UpdateContext(ISymbolTable context, ISymbolTable postConditionSymbolTable, BlockAssignment[] blockAssignments) { ISymbolTable adjustedContext = context.Copy(); MergePostConditions(adjustedContext, postConditionSymbolTable); MergeBlockAssignments(context, adjustedContext, blockAssignments); return(adjustedContext); }
private ISymbolTable UpdateContext(ISymbolTable context, ISymbolTable postConditionSymbolTable, BlockAssignment[] blockAssignments) { ISymbolTable adjustedContext = context.Copy(); MergePostConditions (adjustedContext, postConditionSymbolTable); MergeBlockAssignments (context, adjustedContext, blockAssignments); return adjustedContext; }