Searched refs:close_source (Results 1 – 1 of 1) sorted by relevance
593 static const char *close_source = "</source>\n"; variable639 write_utf8_file(out, UnicodeString(close_source)); in string_write_xml()670 write_utf8_file(out, UnicodeString(close_source)); in alias_write_xml()752 write_utf8_file(out, UnicodeString(close_source)); in intvector_write_xml()784 write_utf8_file(out, UnicodeString(close_source)); in int_write_xml()