Lines Matching defs:infile
1972 std::vector<std::string> read_uri_from_file(std::istream &infile) {
1975 while (std::getline(infile, line_uri)) {
1985 std::istream &infile,
1990 while (std::getline(infile, script_line)) {
2750 std::ifstream infile(config.ifile);
2751 if (!infile) {
2756 uris = read_uri_from_file(infile);
2762 std::ifstream infile(config.ifile);
2763 if (!infile) {
2768 read_script_from_file(infile, config.timings, uris);