move version related content to a dedicated file

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

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index 6ee4a1c6d1ca2bfb848003ce1a3c2dacdc05f5ea..b2bb4937cacf5d3a673fce20f5cdf767d6bf225b 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,35 +1,38 @@
-#!/usr/bin/python
+#!/usr/bin/env python
+
+# Copyright (c) 2013-2019. The SimGrid Team.
+# All rights reserved.
+
+# This program is free software; you can redistribute it and/or modify it
+# under the terms of the license (GNU LGPL) which comes with this package.
+

 """
 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:]

-
-
-
-