| 1 | #! /usr/bin/python3 | 
|---|
| 2 |  | 
|---|
| 3 | import fileinput | 
|---|
| 4 | import sys | 
|---|
| 5 | import re | 
|---|
| 6 | import os | 
|---|
| 7 | from enum import Enum | 
|---|
| 8 |  | 
|---|
| 9 | class Section(Enum): | 
|---|
| 10 | PREAMBLE = 1 | 
|---|
| 11 | EXP_TYPE = 2 | 
|---|
| 12 | EXP_VALUE = 3 | 
|---|
| 13 | STATIC = 4 | 
|---|
| 14 | UNKNOWN = 5 | 
|---|
| 15 |  | 
|---|
| 16 | class ValueSubsection(Enum): | 
|---|
| 17 | FUNCTION = 1 | 
|---|
| 18 | VARIABLE = 2 | 
|---|
| 19 | NA = 3 | 
|---|
| 20 |  | 
|---|
| 21 | outfile = sys.argv[1] | 
|---|
| 22 | outfile_local = os.path.basename(outfile) | 
|---|
| 23 | parts = re.match(r"(?P<module>.*)\.(?P<mode>[^\.]*)\.[hc]$", outfile_local) | 
|---|
| 24 | module = parts.group('module') | 
|---|
| 25 | outtype = parts.group('mode') | 
|---|
| 26 |  | 
|---|
| 27 | srcfile = os.path.join(os.path.dirname(outfile), module) + ".src.c" | 
|---|
| 28 | circImpVar = "__{mod}_{ty}_IMPORTING__".format(mod=module.upper(), ty=outtype.upper()) | 
|---|
| 29 |  | 
|---|
| 30 | sys.stdout = open(outfile, 'w') | 
|---|
| 31 |  | 
|---|
| 32 | # data about the current //#-delimited chunk of file | 
|---|
| 33 | section = Section.PREAMBLE | 
|---|
| 34 | valueSubsection = ValueSubsection.NA | 
|---|
| 35 | lines = [] | 
|---|
| 36 |  | 
|---|
| 37 | def declOnly(): | 
|---|
| 38 | if valueSubsection == ValueSubsection.VARIABLE: | 
|---|
| 39 | eqpos = lines[0].find('=') | 
|---|
| 40 | lines[0] = lines[0][0:eqpos] | 
|---|
| 41 | print( 'extern', lines[0], ';' ) | 
|---|
| 42 | else: | 
|---|
| 43 | if lines[0].endswith("{"): | 
|---|
| 44 | lines[0] = lines[0][0:len(lines[0])-2].rstrip() | 
|---|
| 45 | print( lines[0], ';' ) | 
|---|
| 46 |  | 
|---|
| 47 | def fulldump(): | 
|---|
| 48 | for line in lines: | 
|---|
| 49 | print(line) | 
|---|
| 50 |  | 
|---|
| 51 | def flush(): | 
|---|
| 52 | global lines | 
|---|
| 53 | # print("\t// flush", outtype, section) | 
|---|
| 54 |  | 
|---|
| 55 | if (section == Section.PREAMBLE): | 
|---|
| 56 | postpreamble() | 
|---|
| 57 | elif (len(lines) == 0): | 
|---|
| 58 | return | 
|---|
| 59 | elif (outtype == 'tdcl') & (section == Section.EXP_TYPE): | 
|---|
| 60 | declOnly() | 
|---|
| 61 | elif (outtype == 'defn') & (section == Section.EXP_TYPE): | 
|---|
| 62 | fulldump() | 
|---|
| 63 | elif (outtype == 'defn') & (section == Section.EXP_VALUE): | 
|---|
| 64 | declOnly() | 
|---|
| 65 | elif (outtype == 'impl') & (section == Section.EXP_VALUE): | 
|---|
| 66 | fulldump() | 
|---|
| 67 | elif (outtype == 'impl') & (section == Section.STATIC): | 
|---|
| 68 | fulldump() | 
|---|
| 69 | else: | 
|---|
| 70 | for line in lines: | 
|---|
| 71 | pass #print("//", line) | 
|---|
| 72 |  | 
|---|
| 73 | lines = [] | 
|---|
| 74 |  | 
|---|
| 75 | class ImportStyle(Enum): | 
|---|
| 76 | NO_EXPORT = 1 | 
|---|
| 77 | EXPORT_INCOMPLETE = 2 | 
|---|
| 78 | EXPORT_COMPLETE = 3 | 
|---|
| 79 |  | 
|---|
| 80 | def emitInclude(imodule, iftype): | 
|---|
| 81 | print('#include "{mod}.{typ}.h"'.format(mod=imodule, typ=iftype)) | 
|---|
| 82 |  | 
|---|
| 83 | def import_(cmd): | 
|---|
| 84 | if section == Section.PREAMBLE: | 
|---|
| 85 | if cmd.startswith("auto"): | 
|---|
| 86 | cmd = cmd.replace("auto","").lstrip() | 
|---|
| 87 | if cmd.startswith("&"): | 
|---|
| 88 | cmd = cmd.replace("&","").lstrip() | 
|---|
| 89 | style = ImportStyle.EXPORT_INCOMPLETE | 
|---|
| 90 | else: | 
|---|
| 91 | style = ImportStyle.EXPORT_COMPLETE | 
|---|
| 92 | elif cmd.startswith("static"): | 
|---|
| 93 | cmd = cmd.replace("static","").lstrip() | 
|---|
| 94 | style = ImportStyle.NO_EXPORT | 
|---|
| 95 | else: | 
|---|
| 96 | print("#error import not understood:", cmd) | 
|---|
| 97 | style = ImportStyle.NO_EXPORT | 
|---|
| 98 | imodule = cmd | 
|---|
| 99 | if( style != ImportStyle.EXPORT_COMPLETE) & (outtype == "impl"): | 
|---|
| 100 | emitInclude(imodule, "defn") | 
|---|
| 101 | if (style == ImportStyle.EXPORT_COMPLETE) & (outtype == "defn"): | 
|---|
| 102 | emitInclude(imodule, "defn") | 
|---|
| 103 | if (style != ImportStyle.NO_EXPORT) & (outtype == "tdcl"): | 
|---|
| 104 | emitInclude(imodule, outtype) | 
|---|
| 105 | else: | 
|---|
| 106 | print("#error illegal place for: import ", cmd) | 
|---|
| 107 |  | 
|---|
| 108 | def beginunit(): | 
|---|
| 109 | print("//", outfile_local) | 
|---|
| 110 | if (outtype == "tdcl"): | 
|---|
| 111 | print("#pragma once") | 
|---|
| 112 | elif outtype == "defn": | 
|---|
| 113 | print("#ifdef", circImpVar) | 
|---|
| 114 | print("#error Illegal circularity detected") | 
|---|
| 115 | print("#else") | 
|---|
| 116 | print("#define", circImpVar) | 
|---|
| 117 | if outtype == "defn": | 
|---|
| 118 | emitInclude(module, "tdcl") | 
|---|
| 119 | elif outtype == "impl": | 
|---|
| 120 | emitInclude(module, "defn") | 
|---|
| 121 |  | 
|---|
| 122 | def postpreamble(): | 
|---|
| 123 | if outtype == "defn": | 
|---|
| 124 | print("#undef", circImpVar) | 
|---|
| 125 | print("#pragma once") | 
|---|
| 126 |  | 
|---|
| 127 |  | 
|---|
| 128 |  | 
|---|
| 129 | def endunit(): | 
|---|
| 130 | if outtype == "defn": | 
|---|
| 131 | print("#endif // ", circImpVar) | 
|---|
| 132 |  | 
|---|
| 133 | try: | 
|---|
| 134 | with open(srcfile, "r") as file: | 
|---|
| 135 | beginunit() | 
|---|
| 136 | for line in file: | 
|---|
| 137 | line = line.rstrip() | 
|---|
| 138 | if ( line.startswith("#import") ): | 
|---|
| 139 | line = line.replace("#import", "").lstrip() | 
|---|
| 140 | import_(line) | 
|---|
| 141 | elif ( line.startswith("//#") ): | 
|---|
| 142 | flush() | 
|---|
| 143 | line = line.replace("//#", "").lstrip() | 
|---|
| 144 | if line[0] == '@': | 
|---|
| 145 | section = Section.EXP_TYPE | 
|---|
| 146 | valueSubsection = ValueSubsection.NA | 
|---|
| 147 | elif line[0] == '$': | 
|---|
| 148 | section = Section.EXP_VALUE | 
|---|
| 149 | valueSubsection = ValueSubsection.NA | 
|---|
| 150 | # print("\t// object decl:{name}, with deps:{decldeps}".format( | 
|---|
| 151 | #     name=name, decldeps=decldeps)) | 
|---|
| 152 | line = line[1:] | 
|---|
| 153 | if line[0] == 'f': | 
|---|
| 154 | valueSubsection = ValueSubsection.FUNCTION | 
|---|
| 155 | elif line[0] == 'v': | 
|---|
| 156 | valueSubsection = ValueSubsection.VARIABLE | 
|---|
| 157 | else: | 
|---|
| 158 | print("#error $-subdirective not understood: ", line) | 
|---|
| 159 | valueSubsection = ValueSubsection.NA | 
|---|
| 160 | elif line[0] == '-': | 
|---|
| 161 | section = Section.STATIC | 
|---|
| 162 | valueSubsection = ValueSubsection.NA | 
|---|
| 163 | else: | 
|---|
| 164 | print("#error directive not understood:", line) | 
|---|
| 165 | section = Section.UNKNOWN | 
|---|
| 166 | valueSubsection = ValueSubsection.NA | 
|---|
| 167 | line = line[1:] | 
|---|
| 168 | else: | 
|---|
| 169 | line = line.split("//")[0].rstrip() | 
|---|
| 170 | if (line): | 
|---|
| 171 | lines.append(line) | 
|---|
| 172 | flush() | 
|---|
| 173 | endunit() | 
|---|
| 174 | except FileNotFoundError: | 
|---|
| 175 | print("Error: The file '" + srcfile + "' was not found.") | 
|---|
| 176 |  | 
|---|
| 177 |  | 
|---|