Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
added platform for ns3 wifi example
[simgrid.git] / tools / normalize-pointers.py
index e70894e9d12247a59dc5cf1c58b25b43f4f3cedc..a04800b54e12880490146598e82aa01b585adf37 100755 (executable)
@@ -1,6 +1,6 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 
-# Copyright (c) 2013-2014. The SimGrid Team.
+# Copyright (c) 2013-2020. The SimGrid Team.
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 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.close()
 
 
 f = open(sys.argv[1])
 t = f.read()
 f.close()
 
-r = re.compile(r"0x[0-9a-f]{7}")
+r = re.compile(r"0x[0-9a-f]+")
 s = r.search(t)
 offset = 0
 pointers = {}
 while (s):
 s = r.search(t)
 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:]
-
-
-
-