From dc459a6915aa831960b1455f89be1da01894ce12 Mon Sep 17 00:00:00 2001
From: JWu <j.wuttke@fz-juelich.de>
Date: Tue, 19 Mar 2013 17:46:02 +0100
Subject: [PATCH] prepare rearrangement of header blocks
---
.../edit-scripts/ed003-RearrangeHeaderComment.py | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/dev-tools/edit-scripts/ed003-RearrangeHeaderComment.py b/dev-tools/edit-scripts/ed003-RearrangeHeaderComment.py
index c0c6144626f..72de9d34e50 100755
--- a/dev-tools/edit-scripts/ed003-RearrangeHeaderComment.py
+++ b/dev-tools/edit-scripts/ed003-RearrangeHeaderComment.py
@@ -42,6 +42,20 @@ def edit( fn ):
raise Expection( "unexpected line 2" )
if not re.search( r'^\/\/ \*{66}', a[15] ):
raise Expection( "unexpected line 15" )
+ if not re.search( r'^\/\/ \*{66}', a[15] ):
+ raise Expection( "unexpected line 15" )
+
+ m=re.search( r'^\/\/\! \@file\s+(\S+)', a[12] )
+ if not m:
+ raise Expection( "unexpected line 12" )
+ file = m.group(1)
+
+ m=re.search( r'^\/\/\! \@brief\s+(\S+)', a[13] )
+ if not m:
+ raise Expection( "unexpected line 13" )
+ brief = m.group(1)
+
+ s = headertemplate.substitute( F=file, B=brief ) + a[16..-1]
# fd = open( fn, 'w' )
# fd.write( s )
--
GitLab