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