private void finalizeNameAssignment ( Assignment a , String newName ) { a . setNewName ( newName ) ; // Keep track of the mapping renameMap . put ( a . oldName , newName ) ; }
Makes a final name assignment .