Пример #1
0
        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;
 }