From 425d48dc9ef1430b9e753305502fb2410637eae4 Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Thu, 23 Mar 2006 18:45:14 +0000 Subject: Add header generator script. --- scripts/MakeHeader.py | 60 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 scripts/MakeHeader.py (limited to 'scripts') diff --git a/scripts/MakeHeader.py b/scripts/MakeHeader.py new file mode 100644 index 00000000..2268fcfd --- /dev/null +++ b/scripts/MakeHeader.py @@ -0,0 +1,60 @@ +#!/usr/bin/python + +import os, sys, string + +ANY=1 +COPY=2 +SKIP=3 +SKIPONE=4 + +state = ANY + +file = open(sys.argv[1]) +name = sys.argv[1][:-2] + +out = open(name + ".h", "w") +class writer: + def __init__(self, file): + self.file = file + def write(self, text): + self.file.write(text + "\n") +out = writer(out) + +selfheader = '#include "' + name + '.h"' + +out.write( "/* Do not edit this file. It was automatically generated. */" ) +out.write( "" ) + +out.write( "#ifndef HEADER_" + name ) +out.write( "#define HEADER_" + name ) +for line in file.readlines(): + line = line[:-1] + if state == ANY: + if line == '/*{': + state = COPY + elif line == selfheader: + pass + elif string.find(line, "typedef") == 0 or line == "/* private */": + state = SKIP + elif string.find(line, "/* private property */") == 0: + state = SKIPONE + elif len(line) > 1 and line[-1] == "{": + out.write( line[:-2] + ";" ) + state = SKIP + elif line == "": + out.write( "" ) + else: + out.write( line ) + elif state == COPY: + if line == "}*/": + state = ANY + else: + out.write( line ) + elif state == SKIP: + if len(line) >= 1 and line[0] == "}": + state = ANY + elif state == SKIPONE: + state = ANY + +out.write( "" ) +out.write( "#endif" ) -- cgit v1.2.3