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 */
22void 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(clazz: classes[clazz.superclass_name], to);
30 printf(format: ".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 */
39void 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(format: "%s%s %s(%s%s obj) {\n",
45 to, name.c_str(), function, from, name.c_str());
46 printf(format: "\t""return %s""manage(obj.copy())", to);
47 cast(clazz, to);
48 printf(format: ";\n");
49 printf(format: "}\n");
50 printf(format: "\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 */
68void cpp_conversion_generator::print(const isl_class &clazz)
69{
70 convert(clazz, from: "", to: "checked::", function: "check");
71 convert(clazz, from: "checked::", to: "", function: "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 */
78void cpp_conversion_generator::generate()
79{
80 map<string, isl_class>::iterator ci;
81
82 printf(format: "namespace isl {\n\n");
83 for (ci = classes.begin(); ci != classes.end(); ++ci)
84 print(clazz: ci->second);
85 printf(format: "} // namespace isl\n");
86}
87

source code of polly/lib/External/isl/interface/cpp_conversion.cc