eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 1 | #----------------------------------------------------------------- |
| 2 | # pycparser: c-to-c.py |
| 3 | # |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 4 | # Example of a C code generator from pycparser AST nodes, serving |
| 5 | # as a simplistic translator from C to AST and back to C. |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 6 | # Note: at this stage, the example is "alpha release" and considered |
| 7 | # experimental. Please file any bugs you find in the Issues page on pycparser's |
| 8 | # website. |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 9 | # |
| 10 | # Copyright (C) 2008-2011, Eli Bendersky |
eli.bendersky | 84a6a63 | 2011-04-29 09:00:43 +0300 | [diff] [blame^] | 11 | # License: BSD |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 12 | #----------------------------------------------------------------- |
| 13 | from __future__ import print_function |
| 14 | import sys |
| 15 | |
| 16 | # This is not required if you've installed pycparser into |
| 17 | # your site-packages/ with setup.py |
| 18 | # |
| 19 | sys.path.insert(0, '..') |
| 20 | |
| 21 | from pycparser import c_parser, c_ast, parse_file |
| 22 | |
| 23 | |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 24 | class CGenerator(object): |
| 25 | """ Uses the same visitor pattern as c_ast.NodeVisitor, but modified to |
| 26 | return a value from each visit method, using string accumulation in |
| 27 | generic_visit. |
| 28 | """ |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 29 | def __init__(self): |
| 30 | self.output = '' |
| 31 | |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 32 | # Statements start with indentation of self.indent_level spaces, using |
| 33 | # the _make_indent method |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 34 | # |
| 35 | self.indent_level = 0 |
| 36 | |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 37 | def _make_indent(self): |
| 38 | return ' ' * self.indent_level |
| 39 | |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 40 | def visit(self, node): |
| 41 | method = 'visit_' + node.__class__.__name__ |
| 42 | return getattr(self, method, self.generic_visit)(node) |
| 43 | |
| 44 | def generic_visit(self, node): |
eli.bendersky | dcb859c | 2011-03-05 17:02:43 +0200 | [diff] [blame] | 45 | #~ print('generic:', type(node)) |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 46 | if node is None: |
| 47 | return '' |
| 48 | else: |
| 49 | return ''.join(self.visit(c) for c in node.children()) |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 50 | |
| 51 | def visit_Constant(self, n): |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 52 | return n.value |
| 53 | |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 54 | def visit_ID(self, n): |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 55 | return n.name |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 56 | |
| 57 | def visit_ArrayRef(self, n): |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 58 | arrref = self._parenthesize_unless_simple(n.name) |
| 59 | return arrref + '[' + self.visit(n.subscript) + ']' |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 60 | |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 61 | def visit_StructRef(self, n): |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 62 | sref = self._parenthesize_unless_simple(n.name) |
| 63 | return sref + n.type + self.visit(n.field) |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 64 | |
| 65 | def visit_FuncCall(self, n): |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 66 | fref = self._parenthesize_unless_simple(n.name) |
| 67 | return fref + '(' + self.visit(n.args) + ')' |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 68 | |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 69 | def visit_UnaryOp(self, n): |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 70 | operand = self._parenthesize_unless_simple(n.expr) |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 71 | if n.op == 'p++': |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 72 | return '%s++' % operand |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 73 | else: |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 74 | return '%s%s' % (n.op, operand) |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 75 | |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 76 | def visit_BinaryOp(self, n): |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 77 | lval_str = self._parenthesize_if(n.left, |
| 78 | lambda d: not self._is_simple_node(d)) |
| 79 | rval_str = self._parenthesize_if(n.right, |
| 80 | lambda d: not self._is_simple_node(d)) |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 81 | return '%s %s %s' % (lval_str, n.op, rval_str) |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 82 | |
| 83 | def visit_Assignment(self, n): |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 84 | rval_str = self._parenthesize_if( |
| 85 | n.rvalue, |
| 86 | lambda n: isinstance(n, c_ast.Assignment)) |
| 87 | return '%s %s %s' % (self.visit(n.lvalue), n.op, rval_str) |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 88 | |
| 89 | def visit_IdentifierType(self, n): |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 90 | return ' '.join(n.names) |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 91 | |
eli.bendersky | abb96e6 | 2011-03-05 16:30:05 +0200 | [diff] [blame] | 92 | def visit_Decl(self, n, no_type=False): |
| 93 | # no_type is used when a Decl is part of a DeclList, where the type is |
| 94 | # explicitly only for the first delaration in a list. |
| 95 | # |
| 96 | s = n.name if no_type else self._generate_decl(n) |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 97 | if n.bitsize: s += ' : ' + self.visit(n.bitsize) |
eli.bendersky | dcb859c | 2011-03-05 17:02:43 +0200 | [diff] [blame] | 98 | if n.init: |
| 99 | if isinstance(n.init, c_ast.ExprList): |
| 100 | s += ' = {' + self.visit(n.init) + '}' |
| 101 | else: |
| 102 | s += ' = ' + self.visit(n.init) |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 103 | return s |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 104 | |
eli.bendersky | abb96e6 | 2011-03-05 16:30:05 +0200 | [diff] [blame] | 105 | def visit_DeclList(self, n): |
| 106 | s = self.visit(n.decls[0]) |
| 107 | if len(n.decls) > 1: |
| 108 | s += ', ' + ', '.join(self.visit_Decl(decl, no_type=True) |
| 109 | for decl in n.decls[1:]) |
| 110 | return s |
| 111 | |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 112 | def visit_Typedef(self, n): |
| 113 | s = '' |
| 114 | if n.storage: s += ' '.join(n.storage) + ' ' |
| 115 | s += self._generate_type(n.type) |
| 116 | return s |
| 117 | |
| 118 | def visit_Cast(self, n): |
| 119 | s = '(' + self.visit(n.to_type) + ')' |
| 120 | return s + ' ' + self.visit(n.expr) |
| 121 | |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 122 | def visit_ExprList(self, n): |
| 123 | return ', '.join(self.visit(expr) for expr in n.exprs) |
| 124 | |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 125 | def visit_Enum(self, n): |
| 126 | s = 'enum' |
| 127 | if n.name: s += ' ' + n.name |
| 128 | if n.values: |
| 129 | s += ' {' |
| 130 | for i, enumerator in enumerate(n.values.enumerators): |
| 131 | s += enumerator.name |
| 132 | if enumerator.value: |
| 133 | s += ' = ' + self.visit(enumerator.value) |
| 134 | if i != len(n.values.enumerators) - 1: |
| 135 | s += ', ' |
| 136 | s += '}' |
| 137 | return s |
| 138 | |
| 139 | def visit_Struct(self, n): |
| 140 | s = 'struct' |
| 141 | if n.name: s += ' ' + n.name |
| 142 | if n.decls: |
| 143 | s += ' { \n' |
| 144 | for decl in n.decls: |
| 145 | s += ' ' + self.visit(decl) + ';\n' |
| 146 | s += '}' |
| 147 | return s |
| 148 | |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 149 | def visit_FuncDef(self, n): |
| 150 | decl = self.visit(n.decl) |
| 151 | self.indent_level = 0 |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 152 | # The body is a Compound node |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 153 | body = self.visit(n.body) |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 154 | return decl + '\n' + body + '\n' |
| 155 | |
| 156 | def visit_FileAST(self, n): |
| 157 | s = '' |
| 158 | for ext in n.ext: |
| 159 | if isinstance(ext, c_ast.FuncDef): |
| 160 | s += self.visit(ext) |
| 161 | else: |
| 162 | s += self.visit(ext) + ';\n' |
| 163 | return s |
| 164 | |
| 165 | def visit_Compound(self, n): |
| 166 | s = self._make_indent() + '{\n' |
| 167 | self.indent_level += 2 |
| 168 | s += ''.join(self._generate_stmt(stmt) for stmt in n.block_items) |
| 169 | self.indent_level -= 2 |
| 170 | s += self._make_indent() + '}\n' |
| 171 | return s |
| 172 | |
| 173 | def visit_ParamList(self, n): |
| 174 | return ', '.join(self.visit(param) for param in n.params) |
| 175 | |
| 176 | def visit_Return(self, n): |
| 177 | s = 'return' |
| 178 | if n.expr: s += ' ' + self.visit(n.expr) |
| 179 | return s + ';' |
| 180 | |
eli.bendersky | fc96e5e | 2011-03-04 09:51:23 +0200 | [diff] [blame] | 181 | def visit_Break(self, n): |
| 182 | return 'break;' |
| 183 | |
| 184 | def visit_Continue(self, n): |
| 185 | return 'continue;' |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 186 | |
| 187 | def visit_TernaryOp(self, n): |
| 188 | s = self.visit(n.cond) + ' ? ' |
| 189 | s += self.visit(n.iftrue) + ' : ' |
| 190 | s += self.visit(n.iffalse) |
| 191 | return s |
| 192 | |
eli.bendersky | e6ecb1a | 2011-03-05 10:58:46 +0200 | [diff] [blame] | 193 | def visit_If(self, n): |
| 194 | s = 'if (' |
| 195 | if n.cond: s += self.visit(n.cond) |
| 196 | s += ')\n' |
| 197 | s += self._generate_stmt(n.iftrue, add_indent=True) |
| 198 | if n.iffalse: |
| 199 | s += self._make_indent() + 'else\n' |
| 200 | s += self._generate_stmt(n.iffalse, add_indent=True) |
| 201 | return s |
| 202 | |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 203 | def visit_For(self, n): |
| 204 | s = 'for (' |
| 205 | if n.init: s += self.visit(n.init) |
| 206 | s += ';' |
| 207 | if n.cond: s += ' ' + self.visit(n.cond) |
| 208 | s += ';' |
| 209 | if n.next: s += ' ' + self.visit(n.next) |
| 210 | s += ')\n' |
| 211 | s += self._generate_stmt(n.stmt, add_indent=True) |
| 212 | return s |
| 213 | |
eli.bendersky | fc96e5e | 2011-03-04 09:51:23 +0200 | [diff] [blame] | 214 | def visit_While(self, n): |
| 215 | s = 'while (' |
| 216 | if n.cond: s += self.visit(n.cond) |
| 217 | s += ')\n' |
| 218 | s += self._generate_stmt(n.stmt, add_indent=True) |
| 219 | return s |
| 220 | |
eli.bendersky | e6ecb1a | 2011-03-05 10:58:46 +0200 | [diff] [blame] | 221 | def visit_DoWhile(self, n): |
| 222 | s = 'do\n' |
| 223 | s += self._generate_stmt(n.stmt, add_indent=True) |
| 224 | s += self._make_indent() + 'while (' |
| 225 | if n.cond: s += self.visit(n.cond) |
| 226 | s += ');' |
| 227 | return s |
| 228 | |
eli.bendersky | abb96e6 | 2011-03-05 16:30:05 +0200 | [diff] [blame] | 229 | def visit_Switch(self, n): |
| 230 | s = 'switch (' + self.visit(n.cond) + ')\n' |
| 231 | s += self._generate_stmt(n.stmt, add_indent=True) |
| 232 | return s |
| 233 | |
| 234 | def visit_Case(self, n): |
| 235 | s = 'case ' + self.visit(n.expr) + ':\n' |
| 236 | s += self._generate_stmt(n.stmt, add_indent=True) |
| 237 | return s |
| 238 | |
| 239 | def visit_Default(self, n): |
| 240 | return 'default:\n' + self._generate_stmt(n.stmt, add_indent=True) |
| 241 | |
| 242 | def visit_Label(self, n): |
| 243 | return n.name + ':\n' + self._generate_stmt(n.stmt) |
| 244 | |
| 245 | def visit_Goto(self, n): |
| 246 | return 'goto ' + n.name + ';' |
| 247 | |
eli.bendersky | e6ecb1a | 2011-03-05 10:58:46 +0200 | [diff] [blame] | 248 | def visit_EllipsisParam(self, n): |
| 249 | return '...' |
| 250 | |
eli.bendersky | abb96e6 | 2011-03-05 16:30:05 +0200 | [diff] [blame] | 251 | def visit_Struct(self, n): |
| 252 | return self._generate_struct_union(n, 'struct') |
| 253 | |
| 254 | def visit_Union(self, n): |
| 255 | return self._generate_struct_union(n, 'union') |
| 256 | |
eli.bendersky | dcb859c | 2011-03-05 17:02:43 +0200 | [diff] [blame] | 257 | def visit_NamedInitializer(self, n): |
| 258 | s = '' |
| 259 | for name in n.name: |
| 260 | if isinstance(name, c_ast.ID): |
| 261 | s += '.' + name.name |
| 262 | elif isinstance(name, c_ast.Constant): |
| 263 | s += '[' + name.value + ']' |
| 264 | s += ' = ' + self.visit(n.expr) |
| 265 | return s |
| 266 | |
eli.bendersky | abb96e6 | 2011-03-05 16:30:05 +0200 | [diff] [blame] | 267 | def _generate_struct_union(self, n, name): |
| 268 | """ Generates code for structs and unions. name should be either |
| 269 | 'struct' or union. |
| 270 | """ |
eli.bendersky | dcb859c | 2011-03-05 17:02:43 +0200 | [diff] [blame] | 271 | s = name + ' ' + (n.name or '') |
| 272 | if n.decls: |
| 273 | s += '\n' |
| 274 | s += self._make_indent() |
| 275 | self.indent_level += 2 |
| 276 | s += '{\n' |
| 277 | for decl in n.decls: |
| 278 | s += self._generate_stmt(decl) |
| 279 | self.indent_level -= 2 |
| 280 | s += self._make_indent() + '}' |
eli.bendersky | abb96e6 | 2011-03-05 16:30:05 +0200 | [diff] [blame] | 281 | return s |
| 282 | |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 283 | def _generate_stmt(self, n, add_indent=False): |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 284 | """ Generation from a statement node. This method exists as a wrapper |
| 285 | for individual visit_* methods to handle different treatment of |
| 286 | some statements in this context. |
| 287 | """ |
| 288 | typ = type(n) |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 289 | if add_indent: self.indent_level += 2 |
eli.bendersky | fc96e5e | 2011-03-04 09:51:23 +0200 | [diff] [blame] | 290 | indent = self._make_indent() |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 291 | if add_indent: self.indent_level -= 2 |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 292 | |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 293 | if typ in ( |
| 294 | c_ast.Decl, c_ast.Assignment, c_ast.Cast, c_ast.UnaryOp, |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 295 | c_ast.BinaryOp, c_ast.TernaryOp, c_ast.FuncCall, c_ast.ArrayRef, |
| 296 | c_ast.StructRef): |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 297 | # These can also appear in an expression context so no semicolon |
| 298 | # is added to them automatically |
| 299 | # |
eli.bendersky | fc96e5e | 2011-03-04 09:51:23 +0200 | [diff] [blame] | 300 | return indent + self.visit(n) + ';\n' |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 301 | elif typ in (c_ast.Compound,): |
| 302 | # No extra indentation required before the opening brace of a |
| 303 | # compound - because it consists of multiple lines it has to |
| 304 | # compute its own indentation. |
| 305 | # |
eli.bendersky | ae36e96 | 2011-02-27 08:25:05 +0200 | [diff] [blame] | 306 | return self.visit(n) |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 307 | else: |
eli.bendersky | fc96e5e | 2011-03-04 09:51:23 +0200 | [diff] [blame] | 308 | return indent + self.visit(n) + '\n' |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 309 | |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 310 | def _generate_decl(self, n): |
| 311 | """ Generation from a Decl node. |
| 312 | """ |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 313 | s = '' |
| 314 | if n.funcspec: s = ' '.join(n.funcspec) + ' ' |
| 315 | if n.storage: s += ' '.join(n.storage) + ' ' |
| 316 | s += self._generate_type(n.type) |
| 317 | return s |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 318 | |
| 319 | def _generate_type(self, n, modifiers=[]): |
| 320 | """ Recursive generation from a type node. n is the type node. |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 321 | modifiers collects the PtrDecl, ArrayDecl and FuncDecl modifiers |
| 322 | encountered on the way down to a TypeDecl, to allow proper |
| 323 | generation from it. |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 324 | """ |
| 325 | typ = type(n) |
| 326 | #~ print(n, modifiers) |
| 327 | |
| 328 | if typ == c_ast.TypeDecl: |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 329 | s = '' |
| 330 | if n.quals: s += ' '.join(n.quals) + ' ' |
| 331 | s += self.visit(n.type) |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 332 | |
| 333 | nstr = n.declname if n.declname else '' |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 334 | # Resolve modifiers. |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 335 | # Wrap in parens to distinguish pointer to array and pointer to |
| 336 | # function syntax. |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 337 | # |
| 338 | for i, modifier in enumerate(modifiers): |
| 339 | if isinstance(modifier, c_ast.ArrayDecl): |
| 340 | if (i != 0 and isinstance(modifiers[i - 1], c_ast.PtrDecl)): |
| 341 | nstr = '(' + nstr + ')' |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 342 | nstr += '[' + self.visit(modifier.dim) + ']' |
| 343 | elif isinstance(modifier, c_ast.FuncDecl): |
| 344 | if (i != 0 and isinstance(modifiers[i - 1], c_ast.PtrDecl)): |
| 345 | nstr = '(' + nstr + ')' |
| 346 | nstr += '(' + self.visit(modifier.args) + ')' |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 347 | elif isinstance(modifier, c_ast.PtrDecl): |
| 348 | nstr = '*' + nstr |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 349 | s += ' ' + nstr |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 350 | return s |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 351 | elif typ in (c_ast.Typename, c_ast.Decl): |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 352 | return self._generate_decl(n.type) |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 353 | elif typ == c_ast.IdentifierType: |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 354 | return ' '.join(n.names) + ' ' |
| 355 | elif typ in (c_ast.ArrayDecl, c_ast.PtrDecl, c_ast.FuncDecl): |
| 356 | return self._generate_type(n.type, modifiers + [n]) |
eli.bendersky | abb96e6 | 2011-03-05 16:30:05 +0200 | [diff] [blame] | 357 | else: |
| 358 | return self.visit(n) |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 359 | |
eli.bendersky | 724b1cc | 2011-03-05 10:45:08 +0200 | [diff] [blame] | 360 | def _parenthesize_if(self, n, condition): |
| 361 | """ Visits 'n' and returns its string representation, parenthesized |
| 362 | if the condition function applied to the node returns True. |
| 363 | """ |
| 364 | s = self.visit(n) |
| 365 | if condition(n): |
| 366 | return '(' + s + ')' |
| 367 | else: |
| 368 | return s |
| 369 | |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 370 | def _parenthesize_unless_simple(self, n): |
| 371 | """ Common use case for _parenthesize_if |
| 372 | """ |
| 373 | return self._parenthesize_if(n, lambda d: not self._is_simple_node(d)) |
| 374 | |
| 375 | def _is_simple_node(self, n): |
| 376 | """ Returns True for nodes that are "simple" - i.e. nodes that always |
| 377 | have higher precedence than operators. |
| 378 | """ |
| 379 | return isinstance(n,( c_ast.Constant, c_ast.ID, c_ast.ArrayRef, |
| 380 | c_ast.StructRef, c_ast.FuncCall)) |
| 381 | |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 382 | |
| 383 | def translate_to_c(filename): |
| 384 | ast = parse_file(filename, use_cpp=True) |
| 385 | generator = CGenerator() |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 386 | print(generator.visit(ast)) |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 387 | |
| 388 | |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 389 | def zz_test_translate(): |
| 390 | # internal use |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 391 | src = r''' |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 392 | void v(void) |
| 393 | { |
| 394 | int poa = {5, 6}; |
| 395 | int ka = {.ko[4] = 8, [5] = 3}; |
| 396 | joker[2][4]; |
| 397 | **ptr; |
| 398 | } |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 399 | ''' |
| 400 | parser = c_parser.CParser() |
| 401 | ast = parser.parse(src) |
| 402 | ast.show() |
| 403 | generator = CGenerator() |
eli.bendersky | afcfaac | 2011-02-25 16:46:01 +0200 | [diff] [blame] | 404 | print(generator.visit(ast)) |
eli.bendersky | b36f5bb | 2011-03-06 07:22:33 +0200 | [diff] [blame] | 405 | |
| 406 | |
| 407 | #------------------------------------------------------------------------------ |
| 408 | if __name__ == "__main__": |
| 409 | if len(sys.argv) > 1: |
| 410 | translate_to_c(sys.argv[1]) |
| 411 | else: |
eli.bendersky | d5ba345 | 2011-02-18 21:32:47 +0200 | [diff] [blame] | 412 | print("Please provide a filename as argument") |
eli.bendersky | 3ae9f7a | 2011-02-27 07:19:41 +0200 | [diff] [blame] | 413 | |