2 * Copyright 2011,2015 Sven Verdoolaege. All rights reserved.
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above
12 * copyright notice, this list of conditions and the following
13 * disclaimer in the documentation and/or other materials provided
14 * with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY SVEN VERDOOLAEGE ''AS IS'' AND ANY
17 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SVEN VERDOOLAEGE OR
20 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
21 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
22 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
23 * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 * The views and conclusions contained in the software and documentation
29 * are those of the authors and should not be interpreted as
30 * representing official policies, either expressed or implied, of
34 #include "isl_config.h"
42 #include "generator.h"
44 /* Drop the "isl_" initial part of the type name "name".
46 static string
type2python(string name
)
48 return name
.substr(4);
51 /* Print the header of the method "name" with "n_arg" arguments.
52 * If "is_static" is set, then mark the python method as static.
54 * If the method is called "from", then rename it to "convert_from"
55 * because "from" is a python keyword.
57 void python_generator::print_method_header(bool is_static
, const string
&name
,
63 printf(" @staticmethod\n");
69 printf(" def %s(", s
);
70 for (int i
= 0; i
< n_arg
; ++i
) {
78 /* Print a check that the argument in position "pos" is of type "type".
79 * If this fails and if "upcast" is set, then convert the first
80 * argument to "super" and call the method "name" on it, passing
81 * the remaining of the "n" arguments.
82 * If the check fails and "upcast" is not set, then simply raise
84 * If "upcast" is not set, then the "super", "name" and "n" arguments
85 * to this function are ignored.
87 void python_generator::print_type_check(const string
&type
, int pos
,
88 bool upcast
, const string
&super
, const string
&name
, int n
)
91 printf(" if not arg%d.__class__ is %s:\n",
93 printf(" arg%d = %s(arg%d)\n",
94 pos
, type
.c_str(), pos
);
97 printf(" return %s(arg0).%s(",
98 type2python(super
).c_str(), name
.c_str());
99 for (int i
= 1; i
< n
; ++i
) {
109 /* Print a call to the *_copy function corresponding to "type".
111 void python_generator::print_copy(QualType type
)
113 string type_s
= extract_type(type
);
115 printf("isl.%s_copy", type_s
.c_str());
118 /* Construct a wrapper for callback argument "param" (at position "arg").
119 * Assign the wrapper to "cb". We assume here that a function call
120 * has at most one callback argument.
122 * The wrapper converts the arguments of the callback to python types,
123 * taking a copy if the C callback does not take its arguments.
124 * If any exception is thrown, the wrapper keeps track of it in exc_info[0]
125 * and returns -1. Otherwise the wrapper returns 0.
127 void python_generator::print_callback(ParmVarDecl
*param
, int arg
)
129 QualType type
= param
->getOriginalType();
130 const FunctionProtoType
*fn
= extract_prototype(type
);
131 unsigned n_arg
= fn
->getNumArgs();
133 printf(" exc_info = [None]\n");
134 printf(" fn = CFUNCTYPE(c_int");
135 for (unsigned i
= 0; i
< n_arg
- 1; ++i
) {
136 if (!is_isl_type(fn
->getArgType(i
)))
137 die("Argument has non-isl type");
138 printf(", c_void_p");
140 printf(", c_void_p)\n");
141 printf(" def cb_func(");
142 for (unsigned i
= 0; i
< n_arg
; ++i
) {
145 printf("cb_arg%d", i
);
148 for (unsigned i
= 0; i
< n_arg
- 1; ++i
) {
150 arg_type
= type2python(extract_type(fn
->getArgType(i
)));
151 printf(" cb_arg%d = %s(ctx=arg0.ctx, ptr=",
152 i
, arg_type
.c_str());
153 if (!callback_takes_argument(param
, i
))
154 print_copy(fn
->getArgType(i
));
155 printf("(cb_arg%d))\n", i
);
158 printf(" arg%d(", arg
);
159 for (unsigned i
= 0; i
< n_arg
- 1; ++i
) {
162 printf("cb_arg%d", i
);
165 printf(" except:\n");
166 printf(" import sys\n");
167 printf(" exc_info[0] = sys.exc_info()\n");
168 printf(" return -1\n");
169 printf(" return 0\n");
170 printf(" cb = fn(cb_func)\n");
173 /* Print the argument at position "arg" in call to "fd".
174 * "skip" is the number of initial arguments of "fd" that are
175 * skipped in the Python method.
177 * If the argument is a callback, then print a reference to
178 * the callback wrapper "cb".
179 * Otherwise, if the argument is marked as consuming a reference,
180 * then pass a copy of the pointer stored in the corresponding
181 * argument passed to the Python method.
182 * Otherwise, if the argument is a pointer, then pass this pointer itself.
183 * Otherwise, pass the argument directly.
185 void python_generator::print_arg_in_call(FunctionDecl
*fd
, int arg
, int skip
)
187 ParmVarDecl
*param
= fd
->getParamDecl(arg
);
188 QualType type
= param
->getOriginalType();
189 if (is_callback(type
)) {
191 } else if (takes(param
)) {
193 printf("(arg%d.ptr)", arg
- skip
);
194 } else if (type
->isPointerType()) {
195 printf("arg%d.ptr", arg
- skip
);
197 printf("arg%d", arg
- skip
);
201 /* Print the return statement of the python method corresponding
202 * to the C function "method".
204 * If the return type is a (const) char *, then convert the result
205 * to a Python string, raising an error on NULL and freeing
206 * the C string if needed. For python 3 compatibility, the string returned
207 * by isl is explicitly decoded as an 'ascii' string. This is correct
208 * as all strings returned by isl are expected to be 'ascii'.
210 * If the return type is isl_bool, then convert the result to
211 * a Python boolean, raising an error on isl_bool_error.
213 void python_generator::print_method_return(FunctionDecl
*method
)
215 QualType return_type
= method
->getReturnType();
217 if (is_isl_type(return_type
)) {
220 type
= type2python(extract_type(return_type
));
221 printf(" return %s(ctx=ctx, ptr=res)\n", type
.c_str());
222 } else if (is_string(return_type
)) {
223 printf(" if res == 0:\n");
226 "cast(res, c_char_p).value.decode('ascii')\n");
229 printf(" libc.free(res)\n");
231 printf(" return string\n");
232 } else if (is_isl_bool(return_type
)) {
233 printf(" if res < 0:\n");
235 printf(" return bool(res)\n");
237 printf(" return res\n");
241 /* Print a python method corresponding to the C function "method".
242 * "super" contains the superclasses of the class to which the method belongs,
243 * with the first element corresponding to the annotation that appears
244 * closest to the annotated type. This superclass is the least
245 * general extension of the annotated type in the linearization
246 * of the class hierarchy.
248 * If the first argument of "method" is something other than an instance
249 * of the class, then mark the python method as static.
250 * If, moreover, this first argument is an isl_ctx, then remove
251 * it from the arguments of the Python method.
253 * If the function has a callback argument, then it also has a "user"
254 * argument. Since Python has closures, there is no need for such
255 * a user argument in the Python interface, so we simply drop it.
256 * We also create a wrapper ("cb") for the callback.
258 * For each argument of the function that refers to an isl structure,
259 * including the object on which the method is called,
260 * we check if the corresponding actual argument is of the right type.
261 * If not, we try to convert it to the right type.
262 * If that doesn't work and if "super" contains at least one element, we try
263 * to convert self to the type of the first superclass in "super" and
264 * call the corresponding method.
266 * If the function consumes a reference, then we pass it a copy of
267 * the actual argument.
269 void python_generator::print_method(const isl_class
&clazz
,
270 FunctionDecl
*method
, vector
<string
> super
)
272 string fullname
= method
->getName();
273 string cname
= clazz
.method_name(method
);
274 int num_params
= method
->getNumParams();
276 int drop_ctx
= first_arg_is_isl_ctx(method
);
278 for (int i
= 1; i
< num_params
; ++i
) {
279 ParmVarDecl
*param
= method
->getParamDecl(i
);
280 QualType type
= param
->getOriginalType();
281 if (is_callback(type
))
285 print_method_header(is_static(clazz
, method
), cname
,
286 num_params
- drop_ctx
- drop_user
);
288 for (int i
= drop_ctx
; i
< num_params
; ++i
) {
289 ParmVarDecl
*param
= method
->getParamDecl(i
);
291 if (!is_isl_type(param
->getOriginalType()))
293 type
= type2python(extract_type(param
->getOriginalType()));
294 if (!drop_ctx
&& i
> 0 && super
.size() > 0)
295 print_type_check(type
, i
- drop_ctx
, true, super
[0],
296 cname
, num_params
- drop_user
);
298 print_type_check(type
, i
- drop_ctx
, false, "",
301 for (int i
= 1; i
< num_params
; ++i
) {
302 ParmVarDecl
*param
= method
->getParamDecl(i
);
303 QualType type
= param
->getOriginalType();
304 if (!is_callback(type
))
306 print_callback(param
, i
- drop_ctx
);
309 printf(" ctx = Context.getDefaultInstance()\n");
311 printf(" ctx = arg0.ctx\n");
312 printf(" res = isl.%s(", fullname
.c_str());
316 print_arg_in_call(method
, 0, 0);
317 for (int i
= 1; i
< num_params
- drop_user
; ++i
) {
319 print_arg_in_call(method
, i
, drop_ctx
);
326 printf(" if exc_info[0] != None:\n");
327 printf(" raise (exc_info[0][0], "
328 "exc_info[0][1], exc_info[0][2])\n");
331 print_method_return(method
);
334 /* Print part of an overloaded python method corresponding to the C function
337 * In particular, print code to test whether the arguments passed to
338 * the python method correspond to the arguments expected by "method"
339 * and to call "method" if they do.
341 void python_generator::print_method_overload(const isl_class
&clazz
,
342 FunctionDecl
*method
)
344 string fullname
= method
->getName();
345 int num_params
= method
->getNumParams();
349 first
= is_static(clazz
, method
) ? 0 : 1;
352 for (int i
= first
; i
< num_params
; ++i
) {
355 ParmVarDecl
*param
= method
->getParamDecl(i
);
356 if (is_isl_type(param
->getOriginalType())) {
358 type
= extract_type(param
->getOriginalType());
359 type
= type2python(type
);
360 printf("arg%d.__class__ is %s", i
, type
.c_str());
362 printf("type(arg%d) == str", i
);
365 printf(" res = isl.%s(", fullname
.c_str());
366 print_arg_in_call(method
, 0, 0);
367 for (int i
= 1; i
< num_params
; ++i
) {
369 print_arg_in_call(method
, i
, 0);
372 type
= type2python(extract_type(method
->getReturnType()));
373 printf(" return %s(ctx=arg0.ctx, ptr=res)\n", type
.c_str());
376 /* Print a python method with a name derived from "fullname"
377 * corresponding to the C functions "methods".
378 * "super" contains the superclasses of the class to which the method belongs.
380 * If "methods" consists of a single element that is not marked overloaded,
381 * the use print_method to print the method.
382 * Otherwise, print an overloaded method with pieces corresponding
383 * to each function in "methods".
385 void python_generator::print_method(const isl_class
&clazz
,
386 const string
&fullname
, const set
<FunctionDecl
*> &methods
,
387 vector
<string
> super
)
390 set
<FunctionDecl
*>::const_iterator it
;
392 FunctionDecl
*any_method
;
394 any_method
= *methods
.begin();
395 if (methods
.size() == 1 && !is_overload(any_method
)) {
396 print_method(clazz
, any_method
, super
);
400 cname
= clazz
.method_name(any_method
);
401 num_params
= any_method
->getNumParams();
403 print_method_header(is_static(clazz
, any_method
), cname
, num_params
);
405 for (it
= methods
.begin(); it
!= methods
.end(); ++it
)
406 print_method_overload(clazz
, *it
);
409 /* Print part of the constructor for this isl_class.
411 * In particular, check if the actual arguments correspond to the
412 * formal arguments of "cons" and if so call "cons" and put the
413 * result in self.ptr and a reference to the default context in self.ctx.
415 * If the function consumes a reference, then we pass it a copy of
416 * the actual argument.
418 * If the function takes a string argument, the python string is first
419 * encoded as a byte sequence, using 'ascii' as encoding. This assumes
420 * that all strings passed to isl can be converted to 'ascii'.
422 void python_generator::print_constructor(const isl_class
&clazz
,
425 string fullname
= cons
->getName();
426 string cname
= clazz
.method_name(cons
);
427 int num_params
= cons
->getNumParams();
428 int drop_ctx
= first_arg_is_isl_ctx(cons
);
430 printf(" if len(args) == %d", num_params
- drop_ctx
);
431 for (int i
= drop_ctx
; i
< num_params
; ++i
) {
432 ParmVarDecl
*param
= cons
->getParamDecl(i
);
433 QualType type
= param
->getOriginalType();
434 if (is_isl_type(type
)) {
436 s
= type2python(extract_type(type
));
437 printf(" and args[%d].__class__ is %s",
438 i
- drop_ctx
, s
.c_str());
439 } else if (type
->isPointerType()) {
440 printf(" and type(args[%d]) == str", i
- drop_ctx
);
442 printf(" and type(args[%d]) == int", i
- drop_ctx
);
446 printf(" self.ctx = Context.getDefaultInstance()\n");
447 printf(" self.ptr = isl.%s(", fullname
.c_str());
450 for (int i
= drop_ctx
; i
< num_params
; ++i
) {
451 ParmVarDecl
*param
= cons
->getParamDecl(i
);
452 QualType type
= param
->getOriginalType();
455 if (is_isl_type(type
)) {
457 print_copy(param
->getOriginalType());
458 printf("(args[%d].ptr)", i
- drop_ctx
);
459 } else if (is_string(type
)) {
460 printf("args[%d].encode('ascii')", i
- drop_ctx
);
462 printf("args[%d]", i
- drop_ctx
);
469 /* Print the header of the class "name" with superclasses "super".
470 * The order of the superclasses is the opposite of the order
471 * in which the corresponding annotations appear in the source code.
473 void python_generator::print_class_header(const isl_class
&clazz
,
474 const string
&name
, const vector
<string
> &super
)
476 printf("class %s", name
.c_str());
477 if (super
.size() > 0) {
479 for (unsigned i
= 0; i
< super
.size(); ++i
) {
482 printf("%s", type2python(super
[i
]).c_str());
491 /* Tell ctypes about the return type of "fd".
492 * In particular, if "fd" returns a pointer to an isl object,
493 * then tell ctypes it returns a "c_void_p".
494 * Similarly, if "fd" returns an isl_bool,
495 * then tell ctypes it returns a "c_bool".
496 * If "fd" returns a char *, then simply tell ctypes.
498 void python_generator::print_restype(FunctionDecl
*fd
)
500 string fullname
= fd
->getName();
501 QualType type
= fd
->getReturnType();
502 if (is_isl_type(type
))
503 printf("isl.%s.restype = c_void_p\n", fullname
.c_str());
504 else if (is_isl_bool(type
))
505 printf("isl.%s.restype = c_bool\n", fullname
.c_str());
506 else if (is_string(type
))
507 printf("isl.%s.restype = POINTER(c_char)\n", fullname
.c_str());
510 /* Tell ctypes about the types of the arguments of the function "fd".
512 void python_generator::print_argtypes(FunctionDecl
*fd
)
514 string fullname
= fd
->getName();
515 int n
= fd
->getNumParams();
518 printf("isl.%s.argtypes = [", fullname
.c_str());
519 for (int i
= 0; i
< n
- drop_user
; ++i
) {
520 ParmVarDecl
*param
= fd
->getParamDecl(i
);
521 QualType type
= param
->getOriginalType();
522 if (is_callback(type
))
526 if (is_isl_ctx(type
))
528 else if (is_isl_type(type
) || is_callback(type
))
530 else if (is_string(type
))
532 else if (is_long(type
))
538 printf(", c_void_p");
542 /* Print type definitions for the method 'fd'.
544 void python_generator::print_method_type(FunctionDecl
*fd
)
550 /* Print declarations for methods printing the class representation,
551 * provided there is a corresponding *_to_str function.
553 * In particular, provide an implementation of __str__ and __repr__ methods to
554 * override the default representation used by python. Python uses __str__ to
555 * pretty print the class (e.g., when calling print(obj)) and uses __repr__
556 * when printing a precise representation of an object (e.g., when dumping it
557 * in the REPL console).
559 * Check the type of the argument before calling the *_to_str function
560 * on it in case the method was called on an object from a subclass.
562 * The return value of the *_to_str function is decoded to a python string
563 * assuming an 'ascii' encoding. This is necessary for python 3 compatibility.
565 void python_generator::print_representation(const isl_class
&clazz
,
566 const string
&python_name
)
568 if (!clazz
.fn_to_str
)
571 printf(" def __str__(arg0):\n");
572 print_type_check(python_name
, 0, false, "", "", -1);
573 printf(" ptr = isl.%s(arg0.ptr)\n",
574 string(clazz
.fn_to_str
->getName()).c_str());
575 printf(" res = cast(ptr, c_char_p).value.decode('ascii')\n");
576 printf(" libc.free(ptr)\n");
577 printf(" return res\n");
578 printf(" def __repr__(self):\n");
579 printf(" s = str(self)\n");
580 printf(" if '\"' in s:\n");
581 printf(" return 'isl.%s(\"\"\"%%s\"\"\")' %% s\n",
582 python_name
.c_str());
584 printf(" return 'isl.%s(\"%%s\")' %% s\n",
585 python_name
.c_str());
588 /* Print code to set method type signatures.
590 * To be able to call C functions it is necessary to explicitly set their
591 * argument and result types. Do this for all exported constructors and
592 * methods, as well as for the *_to_str method, if it exists.
593 * Assuming each exported class has a *_copy and a *_free method,
594 * also unconditionally set the type of such methods.
596 void python_generator::print_method_types(const isl_class
&clazz
)
598 set
<FunctionDecl
*>::const_iterator in
;
599 map
<string
, set
<FunctionDecl
*> >::const_iterator it
;
601 for (in
= clazz
.constructors
.begin(); in
!= clazz
.constructors
.end();
603 print_method_type(*in
);
605 for (it
= clazz
.methods
.begin(); it
!= clazz
.methods
.end(); ++it
)
606 for (in
= it
->second
.begin(); in
!= it
->second
.end(); ++in
)
607 print_method_type(*in
);
609 print_method_type(clazz
.fn_copy
);
610 print_method_type(clazz
.fn_free
);
612 print_method_type(clazz
.fn_to_str
);
615 /* Print out the definition of this isl_class.
617 * We first check if this isl_class is a subclass of one or more other classes.
618 * If it is, we make sure those superclasses are printed out first.
620 * Then we print a constructor with several cases, one for constructing
621 * a Python object from a return value and one for each function that
622 * was marked as a constructor.
624 * Next, we print out some common methods and the methods corresponding
625 * to functions that are not marked as constructors.
627 * Finally, we tell ctypes about the types of the arguments of the
628 * constructor functions and the return types of those function returning
631 void python_generator::print(const isl_class
&clazz
)
633 string p_name
= type2python(clazz
.name
);
634 set
<FunctionDecl
*>::const_iterator in
;
635 map
<string
, set
<FunctionDecl
*> >::const_iterator it
;
636 vector
<string
> super
= find_superclasses(clazz
.type
);
638 for (unsigned i
= 0; i
< super
.size(); ++i
)
639 if (done
.find(super
[i
]) == done
.end())
640 print(classes
[super
[i
]]);
641 done
.insert(clazz
.name
);
644 print_class_header(clazz
, p_name
, super
);
645 printf(" def __init__(self, *args, **keywords):\n");
647 printf(" if \"ptr\" in keywords:\n");
648 printf(" self.ctx = keywords[\"ctx\"]\n");
649 printf(" self.ptr = keywords[\"ptr\"]\n");
652 for (in
= clazz
.constructors
.begin(); in
!= clazz
.constructors
.end();
654 print_constructor(clazz
, *in
);
655 printf(" raise Error\n");
656 printf(" def __del__(self):\n");
657 printf(" if hasattr(self, 'ptr'):\n");
658 printf(" isl.%s_free(self.ptr)\n", clazz
.name
.c_str());
660 print_representation(clazz
, p_name
);
662 for (it
= clazz
.methods
.begin(); it
!= clazz
.methods
.end(); ++it
)
663 print_method(clazz
, it
->first
, it
->second
, super
);
667 print_method_types(clazz
);
670 /* Generate a python interface based on the extracted types and
673 * Print out each class in turn. If one of these is a subclass of some
674 * other class, make sure the superclass is printed out first.
677 void python_generator::generate()
679 map
<string
, isl_class
>::iterator ci
;
681 for (ci
= classes
.begin(); ci
!= classes
.end(); ++ci
) {
682 if (done
.find(ci
->first
) == done
.end())