Michael Powell
2018-11-09 16:37:41 UTC
Hello,
When considering the String Literal character set, there is the
regular expression /[^\0\n\\]/, meaning virtually any other character
than those specified in the expression. That's in addition to the
several or so alphanumeric alternatives preceding that alternative.
As far as I can determine, that's virtually any character, some of
which are escaped in the string itself. Does this sound about right?
I'm just trying to get a handle on how best to construct the character
set when building my parser test case generators.
http://developers.google.com/protocol-buffers/docs/reference/proto2-spec
Thanks!
Michael Powell
When considering the String Literal character set, there is the
regular expression /[^\0\n\\]/, meaning virtually any other character
than those specified in the expression. That's in addition to the
several or so alphanumeric alternatives preceding that alternative.
As far as I can determine, that's virtually any character, some of
which are escaped in the string itself. Does this sound about right?
I'm just trying to get a handle on how best to construct the character
set when building my parser test case generators.
http://developers.google.com/protocol-buffers/docs/reference/proto2-spec
Thanks!
Michael Powell
--
You received this message because you are subscribed to the Google Groups "Protocol Buffers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to protobuf+***@googlegroups.com.
To post to this group, send email to ***@googlegroups.com.
Visit this group at https://groups.google.com/group/protobuf.
For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups "Protocol Buffers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to protobuf+***@googlegroups.com.
To post to this group, send email to ***@googlegroups.com.
Visit this group at https://groups.google.com/group/protobuf.
For more options, visit https://groups.google.com/d/optout.