code simplification thanks to bprintf

[simgrid.git] / tools / normalize-pointers.py

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index 04049fa48fdf0bf98f4d47f9de5713dcfeed02ae..e1381116077e435805e8a05388425bf0525e0cb7 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python

 
 # Copyright (c) 2013-2014. The SimGrid Team.
 # All rights reserved.
 
 # Copyright (c) 2013-2014. The SimGrid Team.
 # All rights reserved.


@@ -10,14 +10,14 @@
 Tool for normalizing pointers such as two runs have the same 'addresses'
 
 first address encountered will be replaced by 0X0000001, second by 0X0000002, ...
 Tool for normalizing pointers such as two runs have the same 'addresses'
 
 first address encountered will be replaced by 0X0000001, second by 0X0000002, ...

-

 """
 
 """
 

-import sys, re
+import sys
+import re

 
 

-if len(sys.argv)!=2:
-  print "Usage ./normalize-pointers.py <filename>"
-  sys.exit(1)
+if len(sys.argv) != 2:
+    print "Usage ./normalize-pointers.py <filename>"
+    sys.exit(1)

 
 f = open(sys.argv[1])
 t = f.read()
 
 f = open(sys.argv[1])
 t = f.read()


@@ -28,15 +28,11 @@ s = r.search(t)
 offset = 0
 pointers = {}
 while (s):
 offset = 0
 pointers = {}
 while (s):

-  if s.group() not in pointers:
-    pointers[s.group()] = "0X%07d"%len(pointers)
-  print t[offset:s.start()],
-  print pointers[s.group()],
-  offset = s.end()
-  s = r.search(t, offset)
+    if s.group() not in pointers:
+        pointers[s.group()] = "0X%07d" % len(pointers)
+    print t[offset:s.start()],
+    print pointers[s.group()],
+    offset = s.end()
+    s = r.search(t, offset)

 
 print t[offset:]
 
 print t[offset:]

-
-
-
-