Lines Matching refs:ostream_write_str
248 ostream_write_str (stream, "#");
250 ostream_write_str (stream, " ");
254 ostream_write_str (stream, s);
262 ostream_write_str (stream, "\n");
286 ostream_write_str (stream, "#.");
288 ostream_write_str (stream, " ");
289 ostream_write_str (stream, s);
290 ostream_write_str (stream, "\n");
320 ostream_write_str (stream, "# ");
326 ostream_write_str (stream, str);
328 ostream_write_str (stream, "\n");
337 ostream_write_str (stream, "#:");
358 ostream_write_str (stream, "\n#:");
361 ostream_write_str (stream, " ");
363 ostream_write_str (stream, cp);
364 ostream_write_str (stream, buffer);
368 ostream_write_str (stream, "\n");
390 ostream_write_str (stream, "#,");
397 ostream_write_str (stream, " ");
400 ostream_write_str (stream, "fuzzy");
410 ostream_write_str (stream, ",");
412 ostream_write_str (stream, " ");
414 ostream_write_str (stream,
425 ostream_write_str (stream, ",");
427 ostream_write_str (stream, " ");
429 ostream_write_str (stream,
435 ostream_write_str (stream, "\n");
927 ostream_write_str (stream, line_prefix);
930 ostream_write_str (stream, name);
932 ostream_write_str (stream, " ");
934 ostream_write_str (stream, "\"\"");
937 ostream_write_str (stream, "\n");
951 ostream_write_str (stream, line_prefix);
958 ostream_write_str (stream, name);
971 ostream_write_str (stream, " ");
994 ostream_write_str (stream, "\"");
1023 ostream_write_str (stream, "\"");
1026 ostream_write_str (stream, "\n");
1031 ostream_write_str (stream, line_prefix);
1041 ostream_write_str (stream, "\"");
1105 ostream_write_str (stream, "\"");
1108 ostream_write_str (stream, "\n");
1137 ostream_write_str (stream, "#\n");
1141 ostream_write_str (stream, "\n");
1304 ostream_write_str (stream, "#,");
1308 ostream_write_str (stream, " fuzzy");
1312 ostream_write_str (stream, "\n");
1417 ostream_write_str (stream, "domain");
1419 ostream_write_str (stream, " ");
1421 ostream_write_str (stream, "\"");
1423 ostream_write_str (stream, mdlp->item[k]->domain);
1425 ostream_write_str (stream, "\"");
1427 ostream_write_str (stream, "\n");