Searched refs:delete_set (Results 1 – 1 of 1) sorted by relevance
| /petsc/share/petsc/ |
| H A D | chkerrconvert.py | 94 delete_set = set() 103 delete_set.add(lineno-1) 132 … self.delete_unused_error_code_decls(error_code_decls,error_code_uses,new_lines,delete_set,changes) 141 self.delete(len(delete_set)) 142 if delete_set: 143 new_lines = [l for i,l in enumerate(new_lines) if i not in delete_set] 145 return new_lines,changes,delete_set 148 …def delete_unused_error_code_decls(self,error_code_decls,error_code_uses,new_lines,delete_set,chan… argument 174 delete_set.add(cur_lineno) 275 new_lines,changes,delete_set = processor(path)
|