Lines Matching defs:filename
60 const std::string& filename,
92 const std::string& filename,
106 // the title and header information (event, filename, timestamp and pid)
114 if (!filename.empty())
115 writer.json_keyvalue("filename", filename);
117 writer.json_keyvalue("filename", JSONWriter::Null{});
854 std::string filename;
856 // Determine the required report filename. In order of priority:
860 filename = name;
869 filename = report_filename;
871 filename = *DiagnosticFilename(
880 if (filename == "stdout") {
882 } else if (filename == "stderr") {
890 // Regular file. Append filename to directory path if one was specified
894 pathname += filename;
897 outfile.open(filename, std::ios::out | std::ios::binary);
901 std::cerr << "\nFailed to open Node.js report file: " << filename;
910 std::cerr << "\nWriting Node.js report to file: " << filename;
920 isolate, env, message, trigger, filename, *outstream, error, compact);
928 if (filename != "stderr") {
931 return filename;