Searched refs:OutFileName (Results 1 – 1 of 1) sorted by relevance
1366 std::string OutFileName = opts::exportstream::OutputFile; in exportStream() local1378 << OutFileName << ".\n"; in exportStream()1386 << "' (index " << Index << ") to file " << OutFileName << ".\n"; in exportStream()1391 FileOutputBuffer::create(OutFileName, SourceStream->getLength())); in exportStream()