1 /*
2 * Copyright 2018 Sven Verdoolaege
3 *
4 * Use of this software is governed by the MIT license
5 *
6 * Written by Sven Verdoolaege.
7 */
8
9 #include <stdio.h>
10 #include <map>
11 #include <string>
12
13 #include "cpp.h"
14 #include "cpp_conversion.h"
15
16 /* If "clazz" describes a subclass of a C type, then print code
17 * for converting an object of the class derived from the C type
18 * to the subclass. Do this by first converting this class
19 * to the immediate superclass of the subclass and then converting
20 * from this superclass to the subclass.
21 */
cast(const isl_class & clazz,const char * to)22 void cpp_conversion_generator::cast(const isl_class &clazz, const char *to)
23 {
24 string name = cpp_generator::type2cpp(clazz);
25
26 if (!clazz.is_type_subclass())
27 return;
28
29 cast(classes[clazz.superclass_name], to);
30 printf(".as<%s%s>()", to, name.c_str());
31 }
32
33 /* Print a function called "function" for converting objects of
34 * "clazz" from the "from" bindings to the "to" bindings.
35 * If "clazz" describes a subclass of a C type, then the result
36 * of the conversion between bindings is derived from the C type and
37 * needs to be converted back to the subclass.
38 */
convert(const isl_class & clazz,const char * from,const char * to,const char * function)39 void cpp_conversion_generator::convert(const isl_class &clazz,
40 const char *from, const char *to, const char *function)
41 {
42 string name = cpp_generator::type2cpp(clazz);
43
44 printf("%s%s %s(%s%s obj) {\n",
45 to, name.c_str(), function, from, name.c_str());
46 printf("\t""return %s""manage(obj.copy())", to);
47 cast(clazz, to);
48 printf(";\n");
49 printf("}\n");
50 printf("\n");
51 }
52
53 /* Print functions for converting objects of "clazz"
54 * between the default and the checked C++ bindings.
55 *
56 * The conversion from default to checked is called "check".
57 * The inverse conversion is called "uncheck".
58 * For example, to "set", the following two functions are generated:
59 *
60 * checked::set check(set obj) {
61 * return checked::manage(obj.copy());
62 * }
63 *
64 * set uncheck(checked::set obj) {
65 * return manage(obj.copy());
66 * }
67 */
print(const isl_class & clazz)68 void cpp_conversion_generator::print(const isl_class &clazz)
69 {
70 convert(clazz, "", "checked::", "check");
71 convert(clazz, "checked::", "", "uncheck");
72 }
73
74 /* Generate conversion functions for converting objects between
75 * the default and the checked C++ bindings.
76 * Do this for each exported class.
77 */
generate()78 void cpp_conversion_generator::generate()
79 {
80 map<string, isl_class>::iterator ci;
81
82 printf("namespace isl {\n\n");
83 for (ci = classes.begin(); ci != classes.end(); ++ci)
84 print(ci->second);
85 printf("} // namespace isl\n");
86 }
87