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()
285 	const char *cppname = cppstring.c_str();  in print_class_forward_decl()  local
287 	osprintf(os, "class %s;\n", cppname);  in print_class_forward_decl()
313 	const char *cppname = cppstring.c_str();  in print_class_factory()  local
319 	osprintf(os, "inline %s manage(__isl_take %s *ptr);\n", cppname, name);  in print_class_factory()
322 		cppname, name);  in print_class_factory()
341 	const char *cppname = cppstring.c_str();  in print_protected_constructors()  local
343 	osprintf(os, "  inline explicit %s(__isl_take %s *ptr);\n", cppname,  in print_protected_constructors()
361 	const char *cppname = cppstring.c_str();  in print_public_constructors()  local
362 	osprintf(os, "  inline /* implicit */ %s();\n", cppname);  in print_public_constructors()
365 		 cppname, cppname);  in print_public_constructors()
392 	const char *cppname = cppstring.c_str();  in print_copy_assignment()  local
394 	osprintf(os, "  inline %s &operator=(%s obj);\n", cppname, cppname);  in print_copy_assignment()
403 	const char *cppname = cppstring.c_str();  in print_destructor()  local
408 	osprintf(os, "  inline ~%s();\n", cppname);  in print_destructor()
615 	const char *cppname = cppstring.c_str();  in print_persistent_callbacks()  local
622 		cppname, cppname);  in print_persistent_callbacks()
646 	const char *cppname = printer.cppstring.c_str();  in print_class_impl()  local
648 	osprintf(os, "// implementations for isl::%s", cppname);  in print_class_impl()
723 	const char *cppname = cppstring.c_str();  in print_stream_insertion()  local
730 	osprintf(os, "const %s &obj)\n", cppname);  in print_stream_insertion()
812 	const char *cppname = cppstring.c_str();  in print_class_factory()  local
818 	osprintf(os, "%s manage(__isl_take %s *ptr) {\n", cppname, name);  in print_class_factory()
820 	osprintf(os, "  return %s(ptr);\n", cppname);  in print_class_factory()
823 	osprintf(os, "%s manage_copy(__isl_keep %s *ptr) {\n", cppname,  in print_class_factory()
828 	osprintf(os, "  return %s(ptr);\n", cppname);  in print_class_factory()
840 	const char *cppname = cppstring.c_str();  in print_protected_constructors()  local
844 	osprintf(os, "%s::%s(__isl_take %s *ptr)\n", cppname, cppname, name);  in print_protected_constructors()
872 	const char *cppname = cppstring.c_str();  in print_public_constructors()  local
878 	osprintf(os, "%s::%s()\n", cppname, cppname);  in print_public_constructors()
883 	osprintf(os, "%s::%s(const %s &obj)\n", cppname, cppname, cppname);  in print_public_constructors()
1022 	const char *cppname = cppstring.c_str();  in print_copy_assignment()  local
1025 	osprintf(os, "%s &%s::operator=(%s obj) {\n", cppname,  in print_copy_assignment()
1026 		 cppname, cppname);  in print_copy_assignment()
1041 	const char *cppname = cppstring.c_str();  in print_destructor()  local
1047 	osprintf(os, "%s::~%s() {\n", cppname, cppname);  in print_destructor()
1078 	const char *cppname = cppstring.c_str();  in print_ptr()  local
1086 	osprintf(os, "__isl_give %s *%s::copy() const & {\n", name, cppname);  in print_ptr()
1089 	osprintf(os, "__isl_keep %s *%s::get() const {\n", name, cppname);  in print_ptr()
1092 	osprintf(os, "__isl_give %s *%s::release() {\n", name, cppname);  in print_ptr()
1099 	osprintf(os, "bool %s::is_null() const {\n", cppname);  in print_ptr()
1121 	const char *cppname = cppstring.c_str();  in print_downcast()  local
1129 		generator.isl_bool2cpp().c_str(), cppname);  in print_downcast()
1142 		generator.isl_bool2cpp().c_str(), cppname);  in print_downcast()
1148 	osprintf(os, "T %s::as() const\n", cppname);  in print_downcast()
1165 	const char *cppname = cppstring.c_str();  in print_ctx()  local
1169 	osprintf(os, "%sctx %s::ctx() const {\n", ns.c_str(), cppname);  in print_ctx()
1179 	const char *cppname = cppstring.c_str();  in print_persistent_callbacks()  local
1187 		cppname, classname.c_str(), cppname);  in print_persistent_callbacks()