Commit 2f8a4245 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update the test dns_zone_parser, which had some non-ASCII characters in it.

parent 174daec3
Grammar has 30 nonterminal symbols, among which 1 start symbols.
Grammar has 71 terminal symbols.
Grammar has 146 productions.
nullable(zfile) = false
nullable(ttl) = false
nullable(services) = false
nullable(service) = false
nullable(serial) = false
nullable(s) = false
nullable(rrline) = false
nullable(rrclass) = false
nullable(rr) = false
nullable(proto) = false
nullable(owner) = true
nullable(origin) = false
nullable(lines) = true
nullable(label_except_specials) = false
nullable(label_except_at) = false
nullable(label) = false
nullable(keyword_or_number) = false
nullable(ipv6str) = false
nullable(ipv6) = false
nullable(ipv4) = false
nullable(int32) = false
nullable(int16) = false
nullable(hexword) = false
nullable(generic_words) = false
nullable(generic_type) = false
nullable(generic_rdata) = false
nullable(domain_labels) = false
nullable(domain) = false
nullable(charstrings) = false
nullable(charstring) = false
first(zfile) = error TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A STTL SPACE SORIGIN NUMBER EOL EOF DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(ttl) = STTL
first(services) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(service) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(serial) = NUMBER
first(s) = SPACE
first(rrline) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A SPACE NUMBER DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(rrclass) = CLASS_IN CLASS_HS CLASS_CS CLASS_CH
first(rr) = TYPE_X25 TYPE_WKS TYPE_TXT TYPE_SRV TYPE_SOA TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PTR TYPE_NS TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_ISDN TYPE_HINFO TYPE_GENERIC TYPE_DS TYPE_DNSKEY TYPE_CNAME TYPE_AFSDB TYPE_AAAA TYPE_A
first(proto) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(owner) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(origin) = SORIGIN
first(lines) = error TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A STTL SPACE SORIGIN NUMBER EOL DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(label_except_specials) = CHARSTRING
first(label_except_at) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING
first(label) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(keyword_or_number) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH
first(ipv6str) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(ipv6) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(ipv4) = NUMBER
first(int32) = NUMBER
first(int16) = NUMBER
first(hexword) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(generic_words) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(generic_type) = TYPE_GENERIC
first(generic_rdata) = GENERIC
first(domain_labels) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(domain) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(charstrings) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(charstring) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
minimal(zfile) = (* 1 *) EOF
minimal(ttl) = (* 3 *) STTL SPACE NUMBER
minimal(services) = (* 1 *) CHARSTRING
minimal(service) = (* 1 *) CHARSTRING
minimal(serial) = (* 1 *) NUMBER
minimal(s) = (* 1 *) SPACE
minimal(rrline) = (* 4 *) SPACE TYPE_MD SPACE DOT
minimal(rrclass) = (* 1 *) CLASS_IN
minimal(rr) = (* 3 *) TYPE_MD SPACE DOT
minimal(proto) = (* 1 *) CHARSTRING
minimal(owner) = (* 0 *)
minimal(origin) = (* 3 *) SORIGIN SPACE DOT
minimal(lines) = (* 0 *)
minimal(label_except_specials) = (* 1 *) CHARSTRING
minimal(label_except_at) = (* 1 *) CHARSTRING
minimal(label) = (* 1 *) CHARSTRING
minimal(keyword_or_number) = (* 1 *) NUMBER
minimal(ipv6str) = (* 1 *) CHARSTRING
minimal(ipv6) = (* 1 *) CHARSTRING
minimal(ipv4) = (* 7 *) NUMBER DOT NUMBER DOT NUMBER DOT NUMBER
minimal(int32) = (* 1 *) NUMBER
minimal(int16) = (* 1 *) NUMBER
minimal(hexword) = (* 1 *) CHARSTRING
minimal(generic_words) = (* 1 *) CHARSTRING
minimal(generic_type) = (* 1 *) TYPE_GENERIC
minimal(generic_rdata) = (* 5 *) GENERIC SPACE NUMBER SPACE CHARSTRING
minimal(domain_labels) = (* 1 *) CHARSTRING
minimal(domain) = (* 1 *) DOT
minimal(charstrings) = (* 1 *) CHARSTRING
minimal(charstring) = (* 1 *) CHARSTRING
follow(zfile) = #
follow(ttl) = EOL
follow(services) = SPACE EOL
follow(service) = SPACE EOL
follow(serial) = SPACE
follow(s) = TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A SPACE NUMBER GENERIC DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
follow(rrline) = EOL
follow(rrclass) = SPACE
follow(rr) = EOL
follow(proto) = SPACE
follow(owner) = SPACE
follow(origin) = EOL
follow(lines) = error TYPE_X25 TYPE_WKS TYPE_UINFO TYPE_UID TYPE_TXT TYPE_TSIG TYPE_TKEY TYPE_SSHFP TYPE_SRV TYPE_SPF TYPE_SOA TYPE_SINK TYPE_SIG TYPE_RT TYPE_RRSIG TYPE_RP TYPE_PX TYPE_PTR TYPE_OPT TYPE_NXT TYPE_NULL TYPE_NSEC TYPE_NSAP_PTR TYPE_NSAP TYPE_NS TYPE_NIMLOC TYPE_NAPTR TYPE_MX TYPE_MR TYPE_MINFO TYPE_MG TYPE_MF TYPE_MD TYPE_MB TYPE_MAILB TYPE_MAILA TYPE_LOC TYPE_KX TYPE_KEY TYPE_ISDN TYPE_IPSECKEY TYPE_HINFO TYPE_GPOS TYPE_GID TYPE_GENERIC TYPE_EID TYPE_DS TYPE_DNSKEY TYPE_DNAME TYPE_CNAME TYPE_CERT TYPE_ATMA TYPE_APL TYPE_AFSDB TYPE_AAAA TYPE_A6 TYPE_A STTL SPACE SORIGIN NUMBER EOL EOF DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
follow(label_except_specials) = SPACE EOL DOT
follow(label_except_at) = SPACE EOL DOT
follow(label) = SPACE EOL DOT
follow(keyword_or_number) = SPACE EOL DOT
follow(ipv6str) = EOL
follow(ipv6) = EOL
follow(ipv4) = SPACE EOL
follow(int32) = SPACE EOL
follow(int16) = SPACE
follow(hexword) = SPACE EOL
follow(generic_words) = SPACE EOL
follow(generic_type) = SPACE
follow(generic_rdata) = EOL
follow(domain_labels) = SPACE EOL DOT
follow(domain) = SPACE EOL
follow(charstrings) = SPACE EOL
follow(charstring) = SPACE EOL DOT
Built an LR(0) automaton with 299 states.
The grammar is not SLR(1) -- 2 states have a conflict.
The construction mode is pager.
Built an LR(1) automaton with 299 states.
136 out of 299 states have a default reduction.
143 out of 299 states are represented.
0 out of 104 symbols keep track of their start position.
0 out of 104 symbols keep track of their end position.
99 out of 147 productions exploit shiftreduce optimization.
1 out of 299 states can peek at an error.
The generated parser cannot raise Error.
781 functions before inlining, 126 functions after inlining.
Grammar has 27 nonterminal symbols, among which 1 start symbols.
Grammar has 28 terminal symbols.
Grammar has 82 productions.
nullable(zfile) = false
nullable(ttl) = false
nullable(single_hex) = false
nullable(s) = false
nullable(rrline) = false
nullable(rrclass) = false
nullable(rr) = false
nullable(owner) = true
nullable(origin) = false
nullable(lines) = true
nullable(label_except_specials) = false
nullable(label_except_at) = false
nullable(label) = false
nullable(keyword_or_number) = false
nullable(ipv6) = false
nullable(ipv4) = false
nullable(int8) = false
nullable(int32) = false
nullable(int16) = false
nullable(hostname) = false
nullable(hex) = false
nullable(generic_type) = false
nullable(generic_rdata) = false
nullable(domain_labels) = false
nullable(domain) = false
nullable(charstrings) = false
nullable(charstring) = false
first(zfile) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A STTL SPACE SORIGIN NUMBER EOL EOF DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(ttl) = STTL
first(single_hex) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(s) = SPACE
first(rrline) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A SPACE NUMBER DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(rrclass) = CLASS_IN CLASS_HS CLASS_CS CLASS_CH
first(rr) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_GENERIC TYPE_DNSKEY TYPE_CNAME TYPE_CAA TYPE_AAAA TYPE_A CHARSTRING
first(owner) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(origin) = SORIGIN
first(lines) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A STTL SPACE SORIGIN NUMBER EOL DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(label_except_specials) = CHARSTRING
first(label_except_at) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING
first(label) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(keyword_or_number) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH
first(ipv6) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(ipv4) = NUMBER
first(int8) = NUMBER
first(int32) = NUMBER
first(int16) = NUMBER
first(hostname) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(hex) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(generic_type) = TYPE_GENERIC
first(generic_rdata) = GENERIC
first(domain_labels) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(domain) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(charstrings) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
first(charstring) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A NUMBER CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
minimal(zfile) = (* 1 *) EOF
minimal(ttl) = (* 3 *) STTL SPACE NUMBER
minimal(single_hex) = (* 1 *) CHARSTRING
minimal(s) = (* 1 *) SPACE
minimal(rrline) = (* 3 *) SPACE CHARSTRING SPACE
minimal(rrclass) = (* 1 *) CLASS_IN
minimal(rr) = (* 2 *) CHARSTRING SPACE
minimal(owner) = (* 0 *)
minimal(origin) = (* 3 *) SORIGIN SPACE DOT
minimal(lines) = (* 0 *)
minimal(label_except_specials) = (* 1 *) CHARSTRING
minimal(label_except_at) = (* 1 *) CHARSTRING
minimal(label) = (* 1 *) CHARSTRING
minimal(keyword_or_number) = (* 1 *) NUMBER
minimal(ipv6) = (* 1 *) CHARSTRING
minimal(ipv4) = (* 7 *) NUMBER DOT NUMBER DOT NUMBER DOT NUMBER
minimal(int8) = (* 1 *) NUMBER
minimal(int32) = (* 1 *) NUMBER
minimal(int16) = (* 1 *) NUMBER
minimal(hostname) = (* 1 *) DOT
minimal(hex) = (* 1 *) CHARSTRING
minimal(generic_type) = (* 1 *) TYPE_GENERIC
minimal(generic_rdata) = (* 5 *) GENERIC SPACE NUMBER SPACE CHARSTRING
minimal(domain_labels) = (* 1 *) CHARSTRING
minimal(domain) = (* 1 *) DOT
minimal(charstrings) = (* 1 *) CHARSTRING
minimal(charstring) = (* 1 *) CHARSTRING
follow(zfile) = #
follow(ttl) = EOL
follow(single_hex) = SPACE EOL
follow(s) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_GENERIC TYPE_DNSKEY TYPE_CNAME TYPE_CAA TYPE_AAAA TYPE_A SPACE NUMBER GENERIC EOL DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
follow(rrline) = EOL
follow(rrclass) = SPACE
follow(rr) = EOL
follow(owner) = SPACE
follow(origin) = EOL
follow(lines) = TYPE_TXT TYPE_TLSA TYPE_SSHFP TYPE_SRV TYPE_SOA TYPE_PTR TYPE_NS TYPE_MX TYPE_DNSKEY TYPE_CNAME TYPE_AAAA TYPE_A STTL SPACE SORIGIN NUMBER EOL EOF DOT CLASS_IN CLASS_HS CLASS_CS CLASS_CH CHARSTRING AT
follow(label_except_specials) = SPACE EOL DOT
follow(label_except_at) = SPACE EOL DOT
follow(label) = SPACE EOL DOT
follow(keyword_or_number) = SPACE EOL DOT
follow(ipv6) = EOL
follow(ipv4) = EOL
follow(int8) = SPACE
follow(int32) = SPACE EOL
follow(int16) = SPACE
follow(hostname) = EOL
follow(hex) = SPACE EOL
follow(generic_type) = SPACE
follow(generic_rdata) = EOL
follow(domain_labels) = SPACE EOL DOT
follow(domain) = SPACE EOL
follow(charstrings) = SPACE EOL
follow(charstring) = SPACE EOL
Built an LR(0) automaton with 182 states.
The grammar is not SLR(1) -- 2 states have a conflict.
The construction mode is pager.
Built an LR(1) automaton with 182 states.
71 out of 182 states have a default reduction.
98 out of 182 states are represented.
0 out of 58 symbols keep track of their start position.
0 out of 58 symbols keep track of their end position.
55 out of 83 productions exploit shiftreduce optimization.
0 out of 182 states can peek at an error.
480 functions before inlining, 67 functions after inlining.
......@@ -2050,29 +2050,26 @@
(rule (alias dml) (action (diff ../good/dml.exp dml.out)))
(rule (target dns.1.0.1-zone_parser.opp.out)
(deps ../good/dns.1.0.1-zone_parser.mly)
(rule (target dns_zone_parser.opp.out) (deps ../good/dns_zone_parser.mly)
(action
(with-outputs-to dns.1.0.1-zone_parser.opp.out
(with-outputs-to dns_zone_parser.opp.out
(chdir ../good
(system
"timeout 60 %{bin:menhir} --only-preprocess %{deps} || echo 'TIMEOUT after 60 seconds.'")))))
(rule (alias dns.1.0.1-zone_parser)
(action
(diff ../good/dns.1.0.1-zone_parser.opp.exp
dns.1.0.1-zone_parser.opp.out)))
(rule (alias dns_zone_parser)
(action (diff ../good/dns_zone_parser.opp.exp dns_zone_parser.opp.out)))
(rule (targets dns.1.0.1-zone_parser.out dns.1.0.1-zone_parser.out.timings)
(deps ../good/dns.1.0.1-zone_parser.mly)
(rule (targets dns_zone_parser.out dns_zone_parser.out.timings)
(deps ../good/dns_zone_parser.mly)
(action
(with-outputs-to dns.1.0.1-zone_parser.out
(with-outputs-to dns_zone_parser.out
(chdir ../good
(system
"timeout 60 %{bin:menhir} --explain -lg 2 -la 2 -lc 2 --timings-to ../src/dns.1.0.1-zone_parser.out.timings %{deps} || echo 'TIMEOUT after 60 seconds.'")))))
"timeout 60 %{bin:menhir} --explain -lg 2 -la 2 -lc 2 --timings-to ../src/dns_zone_parser.out.timings %{deps} || echo 'TIMEOUT after 60 seconds.'")))))
(rule (alias dns.1.0.1-zone_parser)
(action (diff ../good/dns.1.0.1-zone_parser.exp dns.1.0.1-zone_parser.out)))
(rule (alias dns_zone_parser)
(action (diff ../good/dns_zone_parser.exp dns_zone_parser.out)))
(rule (target doc-ock-xml.1.2.1-docOckXmlParser.opp.out)
(deps ../good/doc-ock-xml.1.2.1-docOckXmlParser.mly)
......@@ -9462,7 +9459,7 @@
(alias dedukti.2.6.0-menhir_parser)
(alias diy.5.01-ARMParser)
(alias dml)
(alias dns.1.0.1-zone_parser)
(alias dns_zone_parser)
(alias doc-ock-xml.1.2.1-docOckXmlParser)
(alias docOckXmlParser)
(alias dolmen.0.2-parseDimacs)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment