208 	const char *cppname = cppstring.c_str();  in print_subclass_type()  local
220 		cppname, supername, cppname);  in print_subclass_type()
242 	const char *cppname = printer.cppstring.c_str();  in print_class()  local
244 	osprintf(os, "// declarations for isl::%s\n", cppname);  in print_class()
248 	osprintf(os, "class %s ", cppname);  in print_class()
275 	const char *cppname = cppstring.c_str();  in print_class_forward_decl()  local
277 	osprintf(os, "class %s;\n", cppname);  in print_class_forward_decl()
303 	const char *cppname = cppstring.c_str();  in print_class_factory()  local
309 	osprintf(os, "inline %s manage(__isl_take %s *ptr);\n", cppname, name);  in print_class_factory()
312 		cppname, name);  in print_class_factory()
331 	const char *cppname = cppstring.c_str();  in print_protected_constructors()  local
333 	osprintf(os, "  inline explicit %s(__isl_take %s *ptr);\n", cppname,  in print_protected_constructors()
351 	const char *cppname = cppstring.c_str();  in print_public_constructors()  local
352 	osprintf(os, "  inline /* implicit */ %s();\n", cppname);  in print_public_constructors()
355 		 cppname, cppname);  in print_public_constructors()
399 	const char *cppname = cppstring.c_str();  in print_copy_assignment()  local
401 	osprintf(os, "  inline %s &operator=(%s obj);\n", cppname, cppname);  in print_copy_assignment()
410 	const char *cppname = cppstring.c_str();  in print_destructor()  local
415 	osprintf(os, "  inline ~%s();\n", cppname);  in print_destructor()
629 	const char *cppname = cppstring.c_str();  in print_persistent_callbacks()  local
636 		cppname, cppname);  in print_persistent_callbacks()
660 	const char *cppname = printer.cppstring.c_str();  in print_class_impl()  local
662 	osprintf(os, "// implementations for isl::%s", cppname);  in print_class_impl()
728 	const char *cppname = cppstring.c_str();  in print_stream_insertion()  local
735 	osprintf(os, "const %s &obj)\n", cppname);  in print_stream_insertion()
816 	const char *cppname = cppstring.c_str();  in print_class_factory()  local
822 	osprintf(os, "%s manage(__isl_take %s *ptr) {\n", cppname, name);  in print_class_factory()
824 	osprintf(os, "  return %s(ptr);\n", cppname);  in print_class_factory()
827 	osprintf(os, "%s manage_copy(__isl_keep %s *ptr) {\n", cppname,  in print_class_factory()
832 	osprintf(os, "  return %s(ptr);\n", cppname);  in print_class_factory()
844 	const char *cppname = cppstring.c_str();  in print_protected_constructors()  local
848 	osprintf(os, "%s::%s(__isl_take %s *ptr)\n", cppname, cppname, name);  in print_protected_constructors()
876 	const char *cppname = cppstring.c_str();  in print_public_constructors()  local
882 	osprintf(os, "%s::%s()\n", cppname, cppname);  in print_public_constructors()
887 	osprintf(os, "%s::%s(const %s &obj)\n", cppname, cppname, cppname);  in print_public_constructors()
1102 	const char *cppname = cppstring.c_str();  in print_copy_assignment()  local
1105 	osprintf(os, "%s &%s::operator=(%s obj) {\n", cppname,  in print_copy_assignment()
1106 		 cppname, cppname);  in print_copy_assignment()
1121 	const char *cppname = cppstring.c_str();  in print_destructor()  local
1127 	osprintf(os, "%s::~%s() {\n", cppname, cppname);  in print_destructor()
1158 	const char *cppname = cppstring.c_str();  in print_ptr()  local
1166 	osprintf(os, "__isl_give %s *%s::copy() const & {\n", name, cppname);  in print_ptr()
1169 	osprintf(os, "__isl_keep %s *%s::get() const {\n", name, cppname);  in print_ptr()
1172 	osprintf(os, "__isl_give %s *%s::release() {\n", name, cppname);  in print_ptr()
1179 	osprintf(os, "bool %s::is_null() const {\n", cppname);  in print_ptr()
1201 	const char *cppname = cppstring.c_str();  in print_downcast()  local
1209 		generator.isl_bool2cpp().c_str(), cppname);  in print_downcast()
1222 		generator.isl_bool2cpp().c_str(), cppname);  in print_downcast()
1228 	osprintf(os, "T %s::as() const\n", cppname);  in print_downcast()
1245 	const char *cppname = cppstring.c_str();  in print_ctx()  local
1249 	osprintf(os, "%sctx %s::ctx() const {\n", ns.c_str(), cppname);  in print_ctx()
1267 	const char *cppname = cppstring.c_str();  in print_persistent_callbacks()  local
1275 		cppname, classname.c_str(), cppname);  in print_persistent_callbacks()