Skip to content
Snippets Groups Projects
Commit 71119bc4 authored by Stéphane Del Pino's avatar Stéphane Del Pino
Browse files

Replace read_input by file_input for parser

This is more flexible (uses mmap instead of file descriptor)
parent c3e51e28
No related branches found
No related tags found
1 merge request!168Simplify backtrace output
......@@ -95,7 +95,7 @@ parser(const std::string& filename)
};
if (not SignalManager::pauseOnError()) {
TAO_PEGTL_NAMESPACE::read_input input(filename);
TAO_PEGTL_NAMESPACE::file_input input(filename);
try {
parse_and_execute(input);
}
......@@ -125,7 +125,7 @@ parser(const std::string& filename)
std::exit(1);
}
} else {
TAO_PEGTL_NAMESPACE::read_input input(filename);
TAO_PEGTL_NAMESPACE::file_input input(filename);
parse_and_execute(input);
}
}
......@@ -312,5 +312,5 @@ ASTBuilder::build(InputT& input)
return root_node;
}
template std::unique_ptr<ASTNode> ASTBuilder::build(TAO_PEGTL_NAMESPACE::read_input<>& input);
template std::unique_ptr<ASTNode> ASTBuilder::build(TAO_PEGTL_NAMESPACE::file_input<>& input);
template std::unique_ptr<ASTNode> ASTBuilder::build(TAO_PEGTL_NAMESPACE::string_input<>& input);
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment