Re: Domain name parser not working

On Tue, Jan 2, 2018 at 7:15 PM, JF <[email protected]> wrote:
> Hi Michael,
> If I understand RFC correctly, is this what you want?

Have you tried to compile this? I have tried this and received the
following errors:

https://wandbox.org/permlink/ATvd59XXSLbqB07s

prog.cc: In instantiation of 'void
client::label_validation::operator()(Attrib&, Context&, bool&) const
[with Attrib = boost::iterator_range<__gnu_cxx::__normal_iterator<const
char*, std::__cxx11::basic_string<char> > >; Context =
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >]':
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/support/action_dispatch.hpp:95:25:
  required from 'decltype (f(a, b, c))
boost::spirit::traits::action_dispatch<Component>::fwd_attrib_context_pass::operator()(F&&,
A&&, B&&, C&&, Rest&& ...) [with F = const client::label_validation&;
A = boost::iterator_range<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> > >&; B =
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >&; C = bool&; Rest =
{}; Component =
boost::spirit::qi::raw_directive<boost::spirit::qi::plus<boost::spirit::qi::reference<const
boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type> > > >; decltype (f(a, b, c)) = void]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/support/action_dispatch.hpp:143:17:
  required from 'static void
boost::spirit::traits::action_dispatch<Component>::caller(F&&, A&&
...) [with F = const client::label_validation&; A =
{boost::iterator_range<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> > > >&,
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char,
std::char_traits<char>, std::allocator<char> >&, boost::fusion::nil_>,
boost::fusion::vector<> >&, bool&}; Component =
boost::spirit::qi::raw_directive<boost::spirit::qi::plus<boost::spirit::qi::reference<const
boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type> > > >]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/support/action_dispatch.hpp:153:19:
  required from 'bool
boost::spirit::traits::action_dispatch<Component>::operator()(const
F&, Attribute&, Context&) [with F = client::label_validation;
Attribute = boost::iterator_range<__gnu_cxx::__normal_iterator<const
char*, std::__cxx11::basic_string<char> > >; Context =
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >; Component =
boost::spirit::qi::raw_directive<boost::spirit::qi::plus<boost::spirit::qi::reference<const
boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type> > > >]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/qi/action/action.hpp:69:55:
  required from 'bool boost::spirit::qi::action<Subject,
Action>::parse(Iterator&, const Iterator&, Context&, const Skipper&,
Attribute&) const [with Iterator = __gnu_cxx::__normal_iterator<const
char*, std::__cxx11::basic_string<char> >; Context =
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >; Skipper =
boost::spirit::unused_type; Attribute = const
boost::spirit::unused_type; Subject =
boost::spirit::qi::raw_directive<boost::spirit::qi::plus<boost::spirit::qi::reference<const
boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type> > > >; Action = client::label_validation]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/qi/nonterminal/detail/parser_binder.hpp:33:65:
  required from 'bool boost::spirit::qi::detail::parser_binder<Parser,
Auto>::call(Iterator&, const Iterator&, Context&, const Skipper&,
mpl_::true_) const [with Iterator = __gnu_cxx::__normal_iterator<const
char*, std::__cxx11::basic_string<char> >; Skipper =
boost::spirit::unused_type; Context =
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >; Parser =
boost::spirit::qi::action<boost::spirit::qi::raw_directive<boost::spirit::qi::plus<boost::spirit::qi::reference<const
boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type> > > >, client::label_validation>; Auto =
mpl_::bool_<false>; mpl_::true_ = mpl_::bool_<true>]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/qi/nonterminal/detail/parser_binder.hpp:53:67:
  [ skipping 4 instantiation contexts, use
-ftemplate-backtrace-limit=0 to disable ]
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/function/function_template.hpp:1061:16:
  required from 'boost::function<R(T0, T1, T2, T3)>::function(Functor,
typename boost::enable_if_c<(! boost::is_integral<Functor>::value),
int>::type) [with Functor =
boost::spirit::qi::detail::parser_binder<boost::spirit::qi::action<boost::spirit::qi::raw_directive<boost::spirit::qi::plus<boost::spirit::qi::reference<const
boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type> > > >, client::label_validation>,
mpl_::bool_<false> >; R = bool; T0 =
__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >&; T1 = const
__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >&; T2 =
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >&; T3 = const
boost::spirit::unused_type&; typename boost::enable_if_c<(!
boost::is_integral<Functor>::value), int>::type = int]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/function/function_template.hpp:1114:5:
  required from 'typename boost::enable_if_c<(!
boost::is_integral<Functor>::value), boost::function<R(T0, T1, T2,
T3)>&>::type boost::function<R(T0, T1, T2, T3)>::operator=(Functor)
[with Functor =
boost::spirit::qi::detail::parser_binder<boost::spirit::qi::action<boost::spirit::qi::raw_directive<boost::spirit::qi::plus<boost::spirit::qi::reference<const
boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type> > > >, client::label_validation>,
mpl_::bool_<false> >; R = bool; T0 =
__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >&; T1 = const
__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >&; T2 =
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >&; T3 = const
boost::spirit::unused_type&; typename boost::enable_if_c<(!
boost::is_integral<Functor>::value), boost::function<R(T0, T1, T2,
T3)>&>::type = boost::function<bool(__gnu_cxx::__normal_iterator<const
char*, std::__cxx11::basic_string<char> >&, const
__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >&,
boost::spirit::context<boost::fusion::cons<std::__cxx11::basic_string<char>&,
boost::fusion::nil_>, boost::fusion::vector<> >&, const
boost::spirit::unused_type&)>&]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/qi/nonterminal/rule.hpp:183:19:
  required from 'static void boost::spirit::qi::rule<Iterator, T1, T2,
T3, T4>::define(boost::spirit::qi::rule<Iterator, T1, T2, T3, T4>&,
const Expr&, mpl_::true_) [with Auto = mpl_::bool_<false>; Expr =
boost::proto::exprns_::expr<boost::proto::tagns_::tag::subscript,
boost::proto::argsns_::list2<const
boost::proto::exprns_::expr<boost::proto::tagns_::tag::subscript,
boost::proto::argsns_::list2<const
boost::proto::exprns_::expr<boost::proto::tagns_::tag::terminal,
boost::proto::argsns_::term<boost::spirit::tag::raw>, 0>&, const
boost::proto::exprns_::expr<boost::proto::tagns_::tag::unary_plus,
boost::proto::argsns_::list1<boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const
char*, std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type>&>, 1>&>, 2>&,
boost::proto::exprns_::expr<boost::proto::tagns_::tag::terminal,
boost::proto::argsns_::term<const client::label_validation&>, 0> >,
2>; Iterator = __gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >; T1 =
std::__cxx11::basic_string<char>(); T2 = boost::spirit::unused_type;
T3 = boost::spirit::unused_type; T4 = boost::spirit::unused_type;
mpl_::true_ = mpl_::bool_<true>]'
/opt/wandbox/boost-1.65.1/gcc-head/include/boost/spirit/home/qi/nonterminal/rule.hpp:221:32:
  required from 'boost::spirit::qi::rule<Iterator, T1, T2, T3, T4>&
boost::spirit::qi::rule<Iterator, T1, T2, T3, T4>::operator=(const
Expr&) [with Expr =
boost::proto::exprns_::expr<boost::proto::tagns_::tag::subscript,
boost::proto::argsns_::list2<const
boost::proto::exprns_::expr<boost::proto::tagns_::tag::subscript,
boost::proto::argsns_::list2<const
boost::proto::exprns_::expr<boost::proto::tagns_::tag::terminal,
boost::proto::argsns_::term<boost::spirit::tag::raw>, 0>&, const
boost::proto::exprns_::expr<boost::proto::tagns_::tag::unary_plus,
boost::proto::argsns_::list1<boost::spirit::qi::rule<__gnu_cxx::__normal_iterator<const
char*, std::__cxx11::basic_string<char> >, char(),
boost::spirit::unused_type, boost::spirit::unused_type,
boost::spirit::unused_type>&>, 1>&>, 2>&,
boost::proto::exprns_::expr<boost::proto::tagns_::tag::terminal,
boost::proto::argsns_::term<const client::label_validation&>, 0> >,
2>; Iterator = __gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >; T1 =
std::__cxx11::basic_string<char>(); T2 = boost::spirit::unused_type;
T3 = boost::spirit::unused_type; T4 = boost::spirit::unused_type]'
prog.cc:79:20:   required from
'client::my_grammar<Iterator>::my_grammar() [with Iterator =
__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> >]'
prog.cc:129:20:   required from here
prog.cc:58:20: error: 'class
boost::iterator_range<__gnu_cxx::__normal_iterator<const char*,
std::__cxx11::basic_string<char> > >' has no member named 'length'
           pass = l.length() < 63;
                  ~~^~~~~~



> #include <boost/spirit/include/qi.hpp>
>
> namespace qi = boost::spirit::qi;
> namespace ascii = qi::ascii;
>
> template
> <
> typename Iterator
>>
> struct grammar : qi::grammar<Iterator, std::vector<std::string>()>
> {
> qi::rule<Iterator, std::vector<std::string>()> domain;
> qi::rule<Iterator, std::string()> label;
>
> grammar()
> : grammar::base_type(domain)
> {
> domain = label >> *('.' >> label);
> label %= qi::raw[ascii::alpha >> *(ascii::alnum | '-')][check_label()];
> }
>
> struct check_label
> {
> template
> <
> typename Attrib, typename Context
>>
> void operator()(Attrib &attr, Context &context, bool &pass) const
> {
> auto label_length = attr.size();
> auto last_char = attr[label_length - 1];
> if(label_length < 64 && std::isalnum(last_char))
> {
> pass = true;
> }
> else
> {
> pass = false;
> }
> }
> };
> };
>
> int main()
> {
> std::string input = "E-PHUMZ8G8j1KEZG26C.xx1.-";
>
> std::vector<std::string> domain;
>
> auto b = input.cbegin();
> auto e = input.cend();
>
> if(qi::parse(b, e, grammar<std::string::const_iterator>(), domain))
> {
> std::string d;
>
> for(const auto &label : domain)
> {
> if(!d.empty())
> {
> d += '.';
> }
>
> d += label;
> }
>
> std::cout << "matched " << d << '\n';
> if(b != e)
> {
> std::cout << "unmatched " << std::string(b, e) << '\n';
> }
> }
> else
> {
> std::cout << "nothing matched\n";
> }
> }
>
> ?
>
> (There may be errors... It's 1AM here.)
>
> J
>
> 2018-01-03 0:54 GMT+01:00 Joel de Guzman <[email protected]>:
>>
>> On 03/01/2018 6:59 AM, Michael Powell wrote:
>>>
>>> On Tue, Jan 2, 2018 at 3:24 PM, Joel de Guzman<[email protected]>  wrote:
>>>>
>>>> On 02/01/2018 11:42 PM, Michael Powell wrote:
>>>>>
>>>>> Now after providing additional follow up, live examples, etc, any
>>>>> feedback on this at all?
>>>>>
>>>>> This cannot be that difficult, however any of the documentation, etc,
>>>>> I am scanning does not seem to work or are incomplete at best, which
>>>>> isn't helping the case.
>>>>
>>>>
>>>> Not sure. I know you presented some code, but is it minimal enough?
>>>> To me, minimal code would look like something like the code here:
>>>> http://boost-spirit.com/home/feedback-and-support/
>>>
>>> There is nothing I consider extraneous in the examples I presented.
>>> There is a test scaffold, the grammar, and the AST. It's all pretty
>>> clearly outlined in the examples. Anything more or other than that I
>>> would consider NOT minimal.
>>
>>
>> Give it some more effort. For example, focus on one exact problem. The
>> very subject of this thread does not even convey any usable information
>> other than "not working". Most often than not, I could distill problematic
>> code to only a few lines --one or two rules is ideal. You do not even
>> have to have grammars. Also, get rid of the scaffolding, etc.
>>
>> Again, you'll have better luck if the essence of your question can
>> be fully comprehended in one or two minutes. Do I need to study RFC
>> 1034 to understand your problem? If not, then that information is
>> extraneous. If yes, then your issue requires too much investment in
>> time (at least for me).
>>
>> Regards,
>> --
>> Joel de Guzman
>> http://www.ciere.com
>> http://boost-spirit.com
>> http://www.cycfi.com/
>>
>>
>>
>> ------------------------------------------------------------------------------
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>> _______________________________________________
>> Spirit-general mailing list
>> [email protected]
>> https://lists.sourceforge.net/lists/listinfo/spirit-general
>
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> Spirit-general mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/spirit-general
>

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot