José Fonseca | 7ad4026 | 2009-09-30 17:17:12 +0100 | [diff] [blame] | 1 | ########################################################################## |
José Fonseca | 9544244 | 2008-07-08 10:32:53 +0900 | [diff] [blame] | 2 | # |
José Fonseca | 7ad4026 | 2009-09-30 17:17:12 +0100 | [diff] [blame] | 3 | # Copyright 2008-2009 VMware, Inc. |
| 4 | # All Rights Reserved. |
José Fonseca | 9544244 | 2008-07-08 10:32:53 +0900 | [diff] [blame] | 5 | # |
José Fonseca | 7ad4026 | 2009-09-30 17:17:12 +0100 | [diff] [blame] | 6 | # Permission is hereby granted, free of charge, to any person obtaining a copy |
| 7 | # of this software and associated documentation files (the "Software"), to deal |
| 8 | # in the Software without restriction, including without limitation the rights |
| 9 | # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| 10 | # copies of the Software, and to permit persons to whom the Software is |
| 11 | # furnished to do so, subject to the following conditions: |
José Fonseca | 9544244 | 2008-07-08 10:32:53 +0900 | [diff] [blame] | 12 | # |
José Fonseca | 7ad4026 | 2009-09-30 17:17:12 +0100 | [diff] [blame] | 13 | # The above copyright notice and this permission notice shall be included in |
| 14 | # all copies or substantial portions of the Software. |
José Fonseca | 9544244 | 2008-07-08 10:32:53 +0900 | [diff] [blame] | 15 | # |
José Fonseca | 7ad4026 | 2009-09-30 17:17:12 +0100 | [diff] [blame] | 16 | # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 17 | # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 18 | # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| 19 | # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| 20 | # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| 21 | # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| 22 | # THE SOFTWARE. |
José Fonseca | 9544244 | 2008-07-08 10:32:53 +0900 | [diff] [blame] | 23 | # |
José Fonseca | 7ad4026 | 2009-09-30 17:17:12 +0100 | [diff] [blame] | 24 | ##########################################################################/ |
José Fonseca | 9544244 | 2008-07-08 10:32:53 +0900 | [diff] [blame] | 25 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 26 | """C basic types""" |
| 27 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 28 | |
| 29 | import debug |
| 30 | |
| 31 | |
| 32 | all_types = {} |
| 33 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 34 | |
| 35 | class Visitor: |
| 36 | |
| 37 | def visit(self, type, *args, **kwargs): |
| 38 | return type.visit(self, *args, **kwargs) |
| 39 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 40 | def visit_void(self, void, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 41 | raise NotImplementedError |
| 42 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 43 | def visit_literal(self, literal, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 44 | raise NotImplementedError |
| 45 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 46 | def visit_string(self, string, *args, **kwargs): |
José Fonseca | 2defc98 | 2010-11-22 16:59:10 +0000 | [diff] [blame] | 47 | raise NotImplementedError |
| 48 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 49 | def visit_const(self, const, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 50 | raise NotImplementedError |
| 51 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 52 | def visit_struct(self, struct, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 53 | raise NotImplementedError |
| 54 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 55 | def visit_array(self, array, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 56 | raise NotImplementedError |
| 57 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 58 | def visit_blob(self, blob, *args, **kwargs): |
José Fonseca | 885f265 | 2010-11-20 11:22:25 +0000 | [diff] [blame] | 59 | raise NotImplementedError |
| 60 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 61 | def visit_enum(self, enum, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 62 | raise NotImplementedError |
| 63 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 64 | def visit_bitmask(self, bitmask, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 65 | raise NotImplementedError |
| 66 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 67 | def visit_pointer(self, pointer, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 68 | raise NotImplementedError |
| 69 | |
José Fonseca | 50d78d8 | 2010-11-23 22:13:14 +0000 | [diff] [blame] | 70 | def visit_handle(self, handle, *args, **kwargs): |
| 71 | raise NotImplementedError |
| 72 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 73 | def visit_alias(self, alias, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 74 | raise NotImplementedError |
| 75 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 76 | def visit_opaque(self, opaque, *args, **kwargs): |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 77 | raise NotImplementedError |
| 78 | |
José Fonseca | c356d6a | 2010-11-23 14:27:25 +0000 | [diff] [blame] | 79 | def visit_interface(self, interface, *args, **kwargs): |
| 80 | raise NotImplementedError |
| 81 | |
| 82 | |
| 83 | class OnceVisitor(Visitor): |
| 84 | |
| 85 | def __init__(self): |
| 86 | self.__visited = set() |
| 87 | |
| 88 | def visit(self, type, *args, **kwargs): |
| 89 | if type not in self.__visited: |
| 90 | self.__visited.add(type) |
| 91 | return type.visit(self, *args, **kwargs) |
| 92 | return None |
| 93 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 94 | |
José Fonseca | c9edb83 | 2010-11-20 09:03:10 +0000 | [diff] [blame] | 95 | class Rebuilder(Visitor): |
| 96 | |
| 97 | def visit_void(self, void): |
| 98 | return void |
| 99 | |
| 100 | def visit_literal(self, literal): |
| 101 | return literal |
| 102 | |
José Fonseca | 2defc98 | 2010-11-22 16:59:10 +0000 | [diff] [blame] | 103 | def visit_string(self, string): |
| 104 | return string |
| 105 | |
José Fonseca | c9edb83 | 2010-11-20 09:03:10 +0000 | [diff] [blame] | 106 | def visit_const(self, const): |
| 107 | return Const(const.type) |
| 108 | |
| 109 | def visit_struct(self, struct): |
| 110 | members = [self.visit(member) for member in struct.members] |
| 111 | return Struct(struct.name, members) |
| 112 | |
| 113 | def visit_array(self, array): |
| 114 | type = self.visit(array.type) |
| 115 | return Array(type, array.length) |
| 116 | |
José Fonseca | 885f265 | 2010-11-20 11:22:25 +0000 | [diff] [blame] | 117 | def visit_blob(self, blob): |
| 118 | type = self.visit(blob.type) |
| 119 | return Blob(type, blob.size) |
| 120 | |
José Fonseca | c9edb83 | 2010-11-20 09:03:10 +0000 | [diff] [blame] | 121 | def visit_enum(self, enum): |
| 122 | return enum |
| 123 | |
| 124 | def visit_bitmask(self, bitmask): |
| 125 | type = self.visit(bitmask.type) |
| 126 | return Bitmask(type, bitmask.values) |
| 127 | |
| 128 | def visit_pointer(self, pointer): |
| 129 | type = self.visit(pointer.type) |
| 130 | return Pointer(type) |
| 131 | |
José Fonseca | 50d78d8 | 2010-11-23 22:13:14 +0000 | [diff] [blame] | 132 | def visit_handle(self, handle): |
| 133 | type = self.visit(handle.type) |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 134 | return Handle(handle.name, type, handle.range) |
José Fonseca | 50d78d8 | 2010-11-23 22:13:14 +0000 | [diff] [blame] | 135 | |
José Fonseca | c9edb83 | 2010-11-20 09:03:10 +0000 | [diff] [blame] | 136 | def visit_alias(self, alias): |
| 137 | type = self.visit(alias.type) |
| 138 | return Alias(alias.expr, type) |
| 139 | |
| 140 | def visit_opaque(self, opaque): |
| 141 | return opaque |
| 142 | |
| 143 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 144 | class Type: |
| 145 | |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 146 | __seq = 0 |
| 147 | |
| 148 | def __init__(self, expr, id = ''): |
| 149 | self.expr = expr |
| 150 | |
| 151 | for char in id: |
| 152 | assert char.isalnum() or char in '_ ' |
| 153 | |
| 154 | id = id.replace(' ', '_') |
| 155 | |
| 156 | if id in all_types: |
| 157 | Type.__seq += 1 |
| 158 | id += str(Type.__seq) |
| 159 | |
| 160 | assert id not in all_types |
| 161 | all_types[id] = self |
| 162 | |
| 163 | self.id = id |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 164 | |
| 165 | def __str__(self): |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 166 | return self.expr |
José Fonseca | e9e1d06 | 2009-04-13 13:26:29 +0100 | [diff] [blame] | 167 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 168 | def visit(self, visitor, *args, **kwargs): |
| 169 | raise NotImplementedError |
| 170 | |
José Fonseca | 27cd25d | 2008-07-07 13:44:00 +0900 | [diff] [blame] | 171 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 172 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 173 | class _Void(Type): |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 174 | |
| 175 | def __init__(self): |
| 176 | Type.__init__(self, "void") |
| 177 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 178 | def visit(self, visitor, *args, **kwargs): |
| 179 | return visitor.visit_void(self, *args, **kwargs) |
| 180 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 181 | Void = _Void() |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 182 | |
| 183 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 184 | class Concrete(Type): |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 185 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 186 | def decl(self): |
José Fonseca | 622af96 | 2009-09-27 19:13:58 +0100 | [diff] [blame] | 187 | print 'static void Dump%s(const %s &value);' % (self.id, self.expr) |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 188 | |
| 189 | def impl(self): |
José Fonseca | 622af96 | 2009-09-27 19:13:58 +0100 | [diff] [blame] | 190 | print 'static void Dump%s(const %s &value) {' % (self.id, self.expr) |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 191 | self._dump("value"); |
| 192 | print '}' |
| 193 | print |
| 194 | |
| 195 | def _dump(self, instance): |
| 196 | raise NotImplementedError |
| 197 | |
| 198 | def dump(self, instance): |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 199 | print ' Dump%s(%s);' % (self.id, instance) |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 200 | |
| 201 | |
José Fonseca | dd97c34 | 2010-11-23 12:29:46 +0000 | [diff] [blame] | 202 | class Literal(Type): |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 203 | |
José Fonseca | 51c1ef8 | 2010-11-15 16:09:14 +0000 | [diff] [blame] | 204 | def __init__(self, expr, format, base=10): |
José Fonseca | dd97c34 | 2010-11-23 12:29:46 +0000 | [diff] [blame] | 205 | Type.__init__(self, expr) |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 206 | self.format = format |
| 207 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 208 | def visit(self, visitor, *args, **kwargs): |
| 209 | return visitor.visit_literal(self, *args, **kwargs) |
| 210 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 211 | |
| 212 | class Const(Type): |
| 213 | |
| 214 | def __init__(self, type): |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 215 | |
José Fonseca | f6592d7 | 2010-11-21 12:44:41 +0000 | [diff] [blame] | 216 | if type.expr.startswith("const "): |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 217 | expr = type.expr + " const" |
| 218 | else: |
| 219 | expr = "const " + type.expr |
| 220 | |
| 221 | Type.__init__(self, expr, 'C' + type.id) |
| 222 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 223 | self.type = type |
| 224 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 225 | def visit(self, visitor, *args, **kwargs): |
| 226 | return visitor.visit_const(self, *args, **kwargs) |
| 227 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 228 | |
| 229 | class Pointer(Type): |
| 230 | |
| 231 | def __init__(self, type): |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 232 | Type.__init__(self, type.expr + " *", 'P' + type.id) |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 233 | self.type = type |
| 234 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 235 | def visit(self, visitor, *args, **kwargs): |
| 236 | return visitor.visit_pointer(self, *args, **kwargs) |
| 237 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 238 | |
José Fonseca | 50d78d8 | 2010-11-23 22:13:14 +0000 | [diff] [blame] | 239 | class Handle(Type): |
| 240 | |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 241 | def __init__(self, name, type, range=None): |
José Fonseca | 50d78d8 | 2010-11-23 22:13:14 +0000 | [diff] [blame] | 242 | Type.__init__(self, type.expr, 'P' + type.id) |
| 243 | self.name = name |
| 244 | self.type = type |
José Fonseca | d922e1d | 2010-11-25 17:14:02 +0000 | [diff] [blame] | 245 | self.range = range |
José Fonseca | 50d78d8 | 2010-11-23 22:13:14 +0000 | [diff] [blame] | 246 | |
| 247 | def visit(self, visitor, *args, **kwargs): |
| 248 | return visitor.visit_handle(self, *args, **kwargs) |
| 249 | |
| 250 | |
José Fonseca | b974caa | 2008-07-09 08:12:34 +0900 | [diff] [blame] | 251 | def ConstPointer(type): |
| 252 | return Pointer(Const(type)) |
| 253 | |
| 254 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 255 | class Enum(Concrete): |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 256 | |
José Fonseca | f84c70e | 2010-11-26 15:26:14 +0000 | [diff] [blame^] | 257 | __vid = 0 |
| 258 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 259 | def __init__(self, name, values): |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 260 | Concrete.__init__(self, name) |
José Fonseca | f84c70e | 2010-11-26 15:26:14 +0000 | [diff] [blame^] | 261 | self.vid = Enum.__vid |
| 262 | Enum.__vid += len(values) |
| 263 | self.values = list(values) |
José Fonseca | a83fb24 | 2008-07-07 16:55:52 +0900 | [diff] [blame] | 264 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 265 | def visit(self, visitor, *args, **kwargs): |
| 266 | return visitor.visit_enum(self, *args, **kwargs) |
| 267 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 268 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 269 | def FakeEnum(type, values): |
| 270 | return Enum(type.expr, values) |
José Fonseca | 6edf23c | 2009-05-04 10:20:52 +0100 | [diff] [blame] | 271 | |
| 272 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 273 | class Bitmask(Concrete): |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 274 | |
| 275 | def __init__(self, type, values): |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 276 | Concrete.__init__(self, type.expr) |
José Fonseca | ec61f31 | 2008-07-09 02:16:43 +0900 | [diff] [blame] | 277 | self.type = type |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 278 | self.values = values |
| 279 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 280 | def visit(self, visitor, *args, **kwargs): |
| 281 | return visitor.visit_bitmask(self, *args, **kwargs) |
| 282 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 283 | Flags = Bitmask |
| 284 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 285 | |
José Fonseca | ccae31c | 2009-07-22 18:14:12 +0100 | [diff] [blame] | 286 | class Array(Type): |
| 287 | |
| 288 | def __init__(self, type, length): |
José Fonseca | 885f265 | 2010-11-20 11:22:25 +0000 | [diff] [blame] | 289 | Type.__init__(self, type.expr + " *") |
José Fonseca | ccae31c | 2009-07-22 18:14:12 +0100 | [diff] [blame] | 290 | self.type = type |
| 291 | self.length = length |
| 292 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 293 | def visit(self, visitor, *args, **kwargs): |
| 294 | return visitor.visit_array(self, *args, **kwargs) |
| 295 | |
José Fonseca | ccae31c | 2009-07-22 18:14:12 +0100 | [diff] [blame] | 296 | |
José Fonseca | 885f265 | 2010-11-20 11:22:25 +0000 | [diff] [blame] | 297 | class Blob(Type): |
| 298 | |
| 299 | def __init__(self, type, size): |
| 300 | Type.__init__(self, type.expr + ' *') |
| 301 | self.type = type |
| 302 | self.size = size |
| 303 | |
| 304 | def visit(self, visitor, *args, **kwargs): |
| 305 | return visitor.visit_blob(self, *args, **kwargs) |
| 306 | |
José Fonseca | 885f265 | 2010-11-20 11:22:25 +0000 | [diff] [blame] | 307 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 308 | class Struct(Concrete): |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 309 | |
| 310 | def __init__(self, name, members): |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 311 | Concrete.__init__(self, name) |
José Fonseca | 51c1ef8 | 2010-11-15 16:09:14 +0000 | [diff] [blame] | 312 | self.name = name |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 313 | self.members = members |
| 314 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 315 | def visit(self, visitor, *args, **kwargs): |
| 316 | return visitor.visit_struct(self, *args, **kwargs) |
| 317 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 318 | |
| 319 | class Alias(Type): |
| 320 | |
José Fonseca | c9edb83 | 2010-11-20 09:03:10 +0000 | [diff] [blame] | 321 | def __init__(self, expr, type): |
| 322 | Type.__init__(self, expr) |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 323 | self.type = type |
| 324 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 325 | def visit(self, visitor, *args, **kwargs): |
| 326 | return visitor.visit_alias(self, *args, **kwargs) |
| 327 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 328 | |
José Fonseca | c9096f0 | 2010-11-22 13:02:26 +0000 | [diff] [blame] | 329 | def Out(type, name): |
| 330 | arg = Arg(type, name, output=True) |
| 331 | return arg |
| 332 | |
| 333 | |
| 334 | class Arg: |
| 335 | |
| 336 | def __init__(self, type, name, output=False): |
| 337 | self.type = type |
| 338 | self.name = name |
| 339 | self.output = output |
José Fonseca | dce84c4 | 2010-11-24 16:19:49 +0000 | [diff] [blame] | 340 | self.index = None |
José Fonseca | c9096f0 | 2010-11-22 13:02:26 +0000 | [diff] [blame] | 341 | |
| 342 | def __str__(self): |
| 343 | return '%s %s' % (self.type, self.name) |
José Fonseca | 83c9ac8 | 2010-01-28 14:45:36 +0000 | [diff] [blame] | 344 | |
| 345 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 346 | class Function: |
| 347 | |
José Fonseca | 2250a0e | 2010-11-26 15:01:29 +0000 | [diff] [blame] | 348 | __id = 0 |
| 349 | |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 350 | def __init__(self, type, name, args, call = '', fail = None, sideeffects=True, hidden=False): |
José Fonseca | 2250a0e | 2010-11-26 15:01:29 +0000 | [diff] [blame] | 351 | self.id = Function.__id |
| 352 | Function.__id += 1 |
| 353 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 354 | self.type = type |
| 355 | self.name = name |
José Fonseca | c9096f0 | 2010-11-22 13:02:26 +0000 | [diff] [blame] | 356 | |
| 357 | self.args = [] |
José Fonseca | dce84c4 | 2010-11-24 16:19:49 +0000 | [diff] [blame] | 358 | index = 0 |
José Fonseca | c9096f0 | 2010-11-22 13:02:26 +0000 | [diff] [blame] | 359 | for arg in args: |
| 360 | if isinstance(arg, tuple): |
| 361 | arg_type, arg_name = arg |
| 362 | arg = Arg(arg_type, arg_name) |
José Fonseca | dce84c4 | 2010-11-24 16:19:49 +0000 | [diff] [blame] | 363 | arg.index = index |
| 364 | index += 1 |
José Fonseca | c9096f0 | 2010-11-22 13:02:26 +0000 | [diff] [blame] | 365 | self.args.append(arg) |
| 366 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 367 | self.call = call |
José Fonseca | 290c28c | 2009-04-23 15:20:29 +0100 | [diff] [blame] | 368 | self.fail = fail |
José Fonseca | ee855d9 | 2010-11-22 17:14:47 +0000 | [diff] [blame] | 369 | self.sideeffects = sideeffects |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 370 | self.hidden = False |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 371 | |
| 372 | def prototype(self, name=None): |
| 373 | if name is not None: |
| 374 | name = name.strip() |
| 375 | else: |
| 376 | name = self.name |
| 377 | s = name |
| 378 | if self.call: |
| 379 | s = self.call + ' ' + s |
| 380 | if name.startswith('*'): |
| 381 | s = '(' + s + ')' |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 382 | s = self.type.expr + ' ' + s |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 383 | s += "(" |
| 384 | if self.args: |
José Fonseca | c9096f0 | 2010-11-22 13:02:26 +0000 | [diff] [blame] | 385 | s += ", ".join(["%s %s" % (arg.type, arg.name) for arg in self.args]) |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 386 | else: |
| 387 | s += "void" |
| 388 | s += ")" |
| 389 | return s |
| 390 | |
José Fonseca | 3c2c929 | 2009-05-04 12:16:30 +0100 | [diff] [blame] | 391 | |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 392 | def StdFunction(*args, **kwargs): |
José Fonseca | 8998861 | 2010-11-25 12:27:30 +0000 | [diff] [blame] | 393 | kwargs.setdefault('call', '__stdcall') |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 394 | return Function(*args, **kwargs) |
José Fonseca | c77023d | 2009-05-04 12:53:50 +0100 | [diff] [blame] | 395 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 396 | |
José Fonseca | 3152419 | 2010-11-22 21:05:26 +0000 | [diff] [blame] | 397 | def FunctionPointer(type, name, args, **kwargs): |
| 398 | # XXX |
| 399 | return Opaque(name) |
| 400 | |
| 401 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 402 | class Interface(Type): |
| 403 | |
| 404 | def __init__(self, name, base=None): |
| 405 | Type.__init__(self, name) |
José Fonseca | e753ce8 | 2009-07-22 18:13:52 +0100 | [diff] [blame] | 406 | self.name = name |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 407 | self.base = base |
| 408 | self.methods = [] |
| 409 | |
| 410 | def itermethods(self): |
| 411 | if self.base is not None: |
José Fonseca | 9796b84 | 2010-11-25 11:44:50 +0000 | [diff] [blame] | 412 | for method in self.stdapi.itermethods(): |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 413 | yield method |
| 414 | for method in self.methods: |
| 415 | yield method |
| 416 | raise StopIteration |
| 417 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 418 | |
| 419 | class Method(Function): |
| 420 | |
| 421 | def __init__(self, type, name, args): |
José Fonseca | 51c1ef8 | 2010-11-15 16:09:14 +0000 | [diff] [blame] | 422 | Function.__init__(self, type, name, args, call = '__stdcall') |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 423 | |
| 424 | |
| 425 | towrap = [] |
| 426 | |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 427 | |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 428 | def WrapPointer(type): |
| 429 | return Pointer(type) |
José Fonseca | 27cd25d | 2008-07-07 13:44:00 +0900 | [diff] [blame] | 430 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 431 | |
José Fonseca | 5f81c3a | 2010-11-24 08:42:22 +0000 | [diff] [blame] | 432 | class String(Type): |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 433 | |
José Fonseca | e6a50bd | 2010-11-24 10:12:22 +0000 | [diff] [blame] | 434 | def __init__(self, expr = "char *", length = None): |
| 435 | Type.__init__(self, expr) |
José Fonseca | 5f81c3a | 2010-11-24 08:42:22 +0000 | [diff] [blame] | 436 | self.length = length |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 437 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 438 | def visit(self, visitor, *args, **kwargs): |
José Fonseca | 2defc98 | 2010-11-22 16:59:10 +0000 | [diff] [blame] | 439 | return visitor.visit_string(self, *args, **kwargs) |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 440 | |
José Fonseca | 5f81c3a | 2010-11-24 08:42:22 +0000 | [diff] [blame] | 441 | CString = String() |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 442 | |
José Fonseca | 51c1ef8 | 2010-11-15 16:09:14 +0000 | [diff] [blame] | 443 | |
José Fonseca | f6592d7 | 2010-11-21 12:44:41 +0000 | [diff] [blame] | 444 | class Opaque(Type): |
| 445 | '''Opaque pointer.''' |
José Fonseca | e54e411 | 2009-06-25 13:56:18 +0100 | [diff] [blame] | 446 | |
José Fonseca | f6592d7 | 2010-11-21 12:44:41 +0000 | [diff] [blame] | 447 | def __init__(self, expr): |
| 448 | Type.__init__(self, expr) |
José Fonseca | e54e411 | 2009-06-25 13:56:18 +0100 | [diff] [blame] | 449 | |
José Fonseca | 501f286 | 2010-11-19 20:41:18 +0000 | [diff] [blame] | 450 | def visit(self, visitor, *args, **kwargs): |
| 451 | return visitor.visit_opaque(self, *args, **kwargs) |
| 452 | |
José Fonseca | f6592d7 | 2010-11-21 12:44:41 +0000 | [diff] [blame] | 453 | |
José Fonseca | 4441baf | 2010-11-25 19:55:27 +0000 | [diff] [blame] | 454 | def OpaquePointer(type, *args): |
| 455 | return Opaque(type.expr + ' *') |
| 456 | |
| 457 | def OpaqueArray(type, size): |
| 458 | return Opaque(type.expr + ' *') |
| 459 | |
| 460 | def OpaqueBlob(type, size): |
José Fonseca | f6592d7 | 2010-11-21 12:44:41 +0000 | [diff] [blame] | 461 | return Opaque(type.expr + ' *') |
José Fonseca | e54e411 | 2009-06-25 13:56:18 +0100 | [diff] [blame] | 462 | |
José Fonseca | 8a56d14 | 2008-07-09 12:18:08 +0900 | [diff] [blame] | 463 | |
José Fonseca | e6a50bd | 2010-11-24 10:12:22 +0000 | [diff] [blame] | 464 | class Collector(Visitor): |
| 465 | '''Collect.''' |
| 466 | |
| 467 | def __init__(self): |
| 468 | self.__visited = set() |
| 469 | self.types = [] |
| 470 | |
| 471 | def visit(self, type): |
| 472 | if type in self.__visited: |
| 473 | return |
| 474 | self.__visited.add(type) |
| 475 | Visitor.visit(self, type) |
| 476 | self.types.append(type) |
| 477 | |
| 478 | def visit_void(self, literal): |
| 479 | pass |
| 480 | |
| 481 | def visit_literal(self, literal): |
| 482 | pass |
| 483 | |
| 484 | def visit_string(self, string): |
| 485 | pass |
| 486 | |
| 487 | def visit_const(self, const): |
| 488 | self.visit(const.type) |
| 489 | |
| 490 | def visit_struct(self, struct): |
| 491 | for type, name in struct.members: |
| 492 | self.visit(type) |
| 493 | |
| 494 | def visit_array(self, array): |
| 495 | self.visit(array.type) |
| 496 | |
| 497 | def visit_blob(self, array): |
| 498 | pass |
| 499 | |
| 500 | def visit_enum(self, enum): |
| 501 | pass |
| 502 | |
| 503 | def visit_bitmask(self, bitmask): |
| 504 | self.visit(bitmask.type) |
| 505 | |
| 506 | def visit_pointer(self, pointer): |
| 507 | self.visit(pointer.type) |
| 508 | |
| 509 | def visit_handle(self, handle): |
| 510 | self.visit(handle.type) |
| 511 | |
| 512 | def visit_alias(self, alias): |
| 513 | self.visit(alias.type) |
| 514 | |
| 515 | def visit_opaque(self, opaque): |
| 516 | pass |
| 517 | |
| 518 | def visit_interface(self, interface): |
| 519 | pass |
| 520 | |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 521 | |
| 522 | class API: |
| 523 | |
| 524 | def __init__(self, name): |
| 525 | self.name = name |
| 526 | self.headers = [] |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 527 | self.functions = [] |
| 528 | self.interfaces = [] |
| 529 | |
José Fonseca | e6a50bd | 2010-11-24 10:12:22 +0000 | [diff] [blame] | 530 | def all_types(self): |
| 531 | collector = Collector() |
| 532 | for function in self.functions: |
| 533 | for arg in function.args: |
| 534 | collector.visit(arg.type) |
| 535 | collector.visit(function.type) |
| 536 | for interface in self.interfaces: |
| 537 | collector.visit(interface) |
| 538 | for method in interface.methods: |
| 539 | for arg in method.args: |
| 540 | collector.visit(arg.type) |
| 541 | collector.visit(method.type) |
| 542 | return collector.types |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 543 | |
| 544 | def add_function(self, function): |
| 545 | self.functions.append(function) |
José Fonseca | 8fbdd3a | 2010-11-23 20:55:07 +0000 | [diff] [blame] | 546 | |
| 547 | def add_functions(self, functions): |
| 548 | for function in functions: |
| 549 | self.add_function(function) |
| 550 | |
| 551 | def add_interface(self, interface): |
| 552 | self.interfaces.append(interface) |
| 553 | |
| 554 | def add_interfaces(self, interfaces): |
| 555 | self.interfaces.extend(interfaces) |
| 556 | |
| 557 | |
José Fonseca | 51c1ef8 | 2010-11-15 16:09:14 +0000 | [diff] [blame] | 558 | Bool = Literal("bool", "Bool") |
| 559 | SChar = Literal("signed char", "SInt") |
| 560 | UChar = Literal("unsigned char", "UInt") |
| 561 | Short = Literal("short", "SInt") |
| 562 | Int = Literal("int", "SInt") |
| 563 | Long = Literal("long", "SInt") |
| 564 | LongLong = Literal("long long", "SInt") |
| 565 | UShort = Literal("unsigned short", "UInt") |
| 566 | UInt = Literal("unsigned int", "UInt") |
| 567 | ULong = Literal("unsigned long", "UInt") |
José Fonseca | 28f034f | 2010-11-22 20:31:25 +0000 | [diff] [blame] | 568 | ULongLong = Literal("unsigned long long", "UInt") |
José Fonseca | 51c1ef8 | 2010-11-15 16:09:14 +0000 | [diff] [blame] | 569 | Float = Literal("float", "Float") |
| 570 | Double = Literal("double", "Float") |
| 571 | SizeT = Literal("size_t", "UInt") |
| 572 | WString = Literal("wchar_t *", "WString") |
José Fonseca | d626cf4 | 2008-07-07 07:43:16 +0900 | [diff] [blame] | 573 | |
José Fonseca | 2250a0e | 2010-11-26 15:01:29 +0000 | [diff] [blame] | 574 | Int8 = Literal("int8_t", "SInt") |
| 575 | UInt8 = Literal("uint8_t", "UInt") |
| 576 | Int16 = Literal("int16_t", "SInt") |
| 577 | UInt16 = Literal("uint16_t", "UInt") |
| 578 | Int32 = Literal("int32_t", "SInt") |
| 579 | UInt32 = Literal("uint32_t", "UInt") |
| 580 | Int64 = Literal("int64_t", "SInt") |
| 581 | UInt64 = Literal("uint64_t", "UInt") |