Enforce parameter and grammar type to catch subtle bugs

This commit is contained in:
Daniel J. Hofmann 2016-02-17 15:10:49 -08:00 committed by Patrick Niklaus
parent 3ff86c4536
commit 48008cdc6e
2 changed files with 11 additions and 6 deletions

View File

@ -21,6 +21,7 @@ namespace api
namespace detail
{
template <typename T> using is_parameter_t = std::is_base_of<engine::api::BaseParameters, T>;
template <typename T> using is_grammar_t = std::is_base_of<BaseParametersGrammar, T>;
} // ns detail
// Starts parsing and iter and modifies it until iter == end or parsing failed

View File

@ -18,7 +18,10 @@ namespace api
namespace detail
{
template <typename ParameterT, typename GrammarT>
template <typename ParameterT,
typename GrammarT,
typename std::enable_if<detail::is_parameter_t<ParameterT>::value, int>::type = 0,
typename std::enable_if<detail::is_grammar_t<ParameterT>::value, int>::type = 0>
boost::optional<ParameterT> parseParameters(std::string::iterator &iter, std::string::iterator end)
{
GrammarT grammar;
@ -54,18 +57,19 @@ boost::optional<engine::api::NearestParameters> parseParameters(std::string::ite
end);
}
//template <>
//boost::optional<engine::api::TripParameters> parseParameters(std::string::iterator &iter,
// template <>
// boost::optional<engine::api::TripParameters> parseParameters(std::string::iterator &iter,
// std::string::iterator end)
//{
// return detail::parseParameters<engine::api::TripParameters, TripParametersGrammar>(iter, end);
//}
//
//template <>
//boost::optional<engine::api::MatchParameters> parseParameters(std::string::iterator &iter,
// template <>
// boost::optional<engine::api::MatchParameters> parseParameters(std::string::iterator &iter,
// std::string::iterator end)
//{
// return detail::parseParameters<engine::api::MatchParameters, MatchParametersGrammar>(iter, end);
// return detail::parseParameters<engine::api::MatchParameters, MatchParametersGrammar>(iter,
// end);
//}
} // ns api