Add header generator script.

scripts/MakeHeader.py

+#!/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" )