diff --git a/examples/dns.c b/examples/dns.c index 9515a587f435b621aaa78b312d1bb8ffcd1063fe..faf912485e3142ad2dfed0362e86338dd978e635 100644 --- a/examples/dns.c +++ b/examples/dns.c @@ -40,12 +40,12 @@ struct dns_qname get_qname(const HParsedToken *t) { const HParsedToken *labels = t->seq->elements[0]; struct dns_qname ret = { .qlen = labels->seq->used, - .labels = arena_malloc(t->seq->arena, sizeof(ret.labels)*ret.qlen) + .labels = h_arena_malloc(t->seq->arena, sizeof(ret.labels)*ret.qlen) }; // i is which label we're on for (size_t i=0; i<labels->seq->used; ++i) { ret.labels[i].len = labels->seq->elements[i]->seq->used; - ret.labels[i].label = arena_malloc(t->seq->arena, sizeof(uint8_t)*ret.labels[i].len); + ret.labels[i].label = h_arena_malloc(t->seq->arena, sizeof(uint8_t)*ret.labels[i].len); // j is which char of the label we're on for (size_t j=0; j<ret.labels[i].len; ++j) ret.labels[i].label[j] = labels->seq->elements[i]->seq->elements[j]->uint; @@ -53,14 +53,14 @@ struct dns_qname get_qname(const HParsedToken *t) { return ret; } -char* get_name(const HParsedToken *t) { +char* get_domain(const HParsedToken *t) { switch(t->token_type) { case TT_UINT: return " "; case TT_SEQUENCE: { // Sequence of subdomains separated by "." - + return NULL; } default: return NULL; @@ -68,11 +68,15 @@ char* get_name(const HParsedToken *t) { } +void set_rr(struct dns_rr rr, HCountedArray *rdata) { + +} + const HParsedToken* pack_dns_struct(const HParseResult *p) { - HParsedToken *ret = arena_malloc(p->arena, sizeof(HParsedToken*)); + HParsedToken *ret = h_arena_malloc(p->arena, sizeof(HParsedToken*)); ret->token_type = TT_USER; - dns_message_t *msg = arena_malloc(p->arena, sizeof(dns_message_t*)); + dns_message_t *msg = h_arena_malloc(p->arena, sizeof(dns_message_t*)); HParsedToken *hdr = p->ast->seq->elements[0]; struct dns_header header = { @@ -92,7 +96,7 @@ const HParsedToken* pack_dns_struct(const HParseResult *p) { msg->header = header; HParsedToken *qs = p->ast->seq->elements[1]; - struct dns_question *questions = arena_malloc(p->arena, + struct dns_question *questions = h_arena_malloc(p->arena, sizeof(struct dns_question)*(header.question_count)); for (size_t i=0; i<header.question_count; ++i) { // QNAME is a sequence of labels. In the parser, it's defined as @@ -104,8 +108,8 @@ const HParsedToken* pack_dns_struct(const HParseResult *p) { msg->questions = questions; HParsedToken *rrs = p->ast->seq->elements[2]; - struct dns_rr *answers = arena_malloc(p->arena, - sizeof(struct dns_rr)*(header.answer_count)); + struct dns_rr *answers = h_arena_malloc(p->arena, + sizeof(struct dns_rr)*(header.answer_count)); for (size_t i=0; i<header.answer_count; ++i) { answers[i].name = get_domain(rrs[i].seq->elements[0]); answers[i].type = rrs[i].seq->elements[1]->uint; @@ -116,7 +120,7 @@ const HParsedToken* pack_dns_struct(const HParseResult *p) { } msg->answers = answers; - struct dns_rr *authority = arena_malloc(p->arena, + struct dns_rr *authority = h_arena_malloc(p->arena, sizeof(struct dns_rr)*(header.authority_count)); for (size_t i=0, j=header.answer_count; i<header.authority_count; ++i, ++j) { authority[i].name = get_domain(rrs[j].seq->elements[0]); @@ -128,8 +132,8 @@ const HParsedToken* pack_dns_struct(const HParseResult *p) { } msg->authority = authority; - struct dns_rr *additional = arena_malloc(p->arena, - sizeof(struct dns_rr)*(header.additional_count)); + struct dns_rr *additional = h_arena_malloc(p->arena, + sizeof(struct dns_rr)*(header.additional_count)); for (size_t i=0, j=header.answer_count+header.authority_count; i<header.additional_count; ++i, ++j) { additional[i].name = get_domain(rrs[j].seq->elements[0]); additional[i].type = rrs[j].seq->elements[1]->uint; @@ -151,56 +155,56 @@ const HParser* init_parser() { const HParser *domain = init_domain(); - const HParser *dns_header = sequence(bits(16, false), // ID - bits(1, false), // QR - bits(4, false), // opcode - bits(1, false), // AA - bits(1, false), // TC - bits(1, false), // RD - bits(1, false), // RA - ignore(attr_bool(bits(3, false), is_zero)), // Z - bits(4, false), // RCODE - uint16(), // QDCOUNT - uint16(), // ANCOUNT - uint16(), // NSCOUNT - uint16(), // ARCOUNT - NULL); - - const HParser *type = int_range(uint16(), 1, 16); - - const HParser *qtype = choice(type, - int_range(uint16(), 252, 255), - NULL); - - const HParser *class = int_range(uint16(), 1, 4); - - const HParser *qclass = choice(class, - int_range(uint16(), 255, 255), + const HParser *dns_header = h_sequence(h_bits(16, false), // ID + h_bits(1, false), // QR + h_bits(4, false), // opcode + h_bits(1, false), // AA + h_bits(1, false), // TC + h_bits(1, false), // RD + h_bits(1, false), // RA + h_ignore(h_attr_bool(h_bits(3, false), is_zero)), // Z + h_bits(4, false), // RCODE + h_uint16(), // QDCOUNT + h_uint16(), // ANCOUNT + h_uint16(), // NSCOUNT + h_uint16(), // ARCOUNT + NULL); + + const HParser *type = h_int_range(h_uint16(), 1, 16); + + const HParser *qtype = h_choice(type, + h_int_range(h_uint16(), 252, 255), NULL); - const HParser *dns_question = sequence(sequence(many1(length_value(uint8(), - uint8())), - ch('\x00'), - NULL), // QNAME - qtype, // QTYPE - qclass, // QCLASS - NULL); + const HParser *class = h_int_range(h_uint16(), 1, 4); + + const HParser *qclass = h_choice(class, + h_int_range(h_uint16(), 255, 255), + NULL); + + const HParser *dns_question = h_sequence(h_sequence(h_many1(h_length_value(h_uint8(), + h_uint8())), + h_ch('\x00'), + NULL), // QNAME + qtype, // QTYPE + qclass, // QCLASS + NULL); - const HParser *dns_rr = sequence(domain, // NAME - type, // TYPE - class, // CLASS - uint32(), // TTL - length_value(uint16(), uint8()), // RDLENGTH+RDATA - NULL); + const HParser *dns_rr = h_sequence(domain, // NAME + type, // TYPE + class, // CLASS + h_uint32(), // TTL + h_length_value(h_uint16(), h_uint8()), // RDLENGTH+RDATA + NULL); - dns_message = (HParser*)attr_bool(sequence(dns_header, - many(dns_question), - many(dns_rr), - end_p(), - NULL), - validate_dns); + dns_message = (HParser*)h_attr_bool(h_sequence(dns_header, + h_many(dns_question), + h_many(dns_rr), + h_end_p(), + NULL), + validate_dns); return dns_message; } diff --git a/examples/dns_common.c b/examples/dns_common.c index 2d7e0186ac451d42609499ad5400baeea527e3f4..3d349f1e3d14c8c61964dba2624e87ac0e5cc397 100644 --- a/examples/dns_common.c +++ b/examples/dns_common.c @@ -7,55 +7,55 @@ /** * A label can't be more than 63 characters. */ -bool validate_label(parse_result_t *p) { +bool validate_label(HParseResult *p) { if (TT_SEQUENCE != p->ast->token_type) return false; return (64 > p->ast->seq->used); } -const parser_t* init_domain() { - static const parser_t *domain = NULL; +const HParser* init_domain() { + static const HParser *domain = NULL; if (domain) return domain; - const parser_t *letter = choice(ch_range('a', 'z'), - ch_range('A', 'Z'), - NULL); - - const parser_t *let_dig = choice(letter, - ch_range('0', '9'), + const HParser *letter = h_choice(h_ch_range('a', 'z'), + h_ch_range('A', 'Z'), NULL); - const parser_t *ldh_str = many1(choice(let_dig, - ch('-'), - NULL)); + const HParser *let_dig = h_choice(letter, + h_ch_range('0', '9'), + NULL); + + const HParser *ldh_str = h_many1(h_choice(let_dig, + h_ch('-'), + NULL)); - const parser_t *label = attr_bool(sequence(letter, - optional(sequence(optional(ldh_str), - let_dig, - NULL)), - NULL), - validate_label); + const HParser *label = h_attr_bool(h_sequence(letter, + h_optional(h_sequence(h_optional(ldh_str), + let_dig, + NULL)), + NULL), + validate_label); /** * You could write it like this ... - * parser_t *indirect_subdomain = indirect(); - * const parser_t *subdomain = choice(label, - * sequence(indirect_subdomain, - * ch('.'), - * label, - * NULL), - * NULL); - * bind_indirect(indirect_subdomain, subdomain); + * HParser *indirect_subdomain = h_indirect(); + * const HParser *subdomain = h_choice(label, + * h_sequence(indirect_subdomain, + * h_ch('.'), + * label, + * NULL), + * NULL); + * h_bind_indirect(indirect_subdomain, subdomain); * * ... but this is easier and equivalent */ - const HParser *subdomain = sepBy1(label, ch('.')); + const HParser *subdomain = h_sepBy1(label, h_ch('.')); - domain = choice(subdomain, - ch(' '), - NULL); + domain = h_choice(subdomain, + h_ch(' '), + NULL); return domain; } @@ -65,7 +65,7 @@ const HParser* init_character_string() { if (cstr) return cstr; - cstr = length_value(uint8(), uint8()); + cstr = h_length_value(h_uint8(), h_uint8()); return cstr; } diff --git a/examples/rr.c b/examples/rr.c index 3a3cddad88ac77f5075e2326a7631b6ae9d9188f..8dae8859a208d1940ff37bcc75dbf5fb91254ff1 100644 --- a/examples/rr.c +++ b/examples/rr.c @@ -10,9 +10,9 @@ const HParser* init_cname() { if (cname) return cname; - cname = sequence(init_domain(), - end_p(), - NULL); + cname = h_sequence(init_domain(), + h_end_p(), + NULL); return cname; } @@ -24,10 +24,10 @@ const HParser* init_hinfo() { const HParser* cstr = init_character_string(); - hinfo = sequence(cstr, - cstr, - end_p(), - NULL); + hinfo = h_sequence(cstr, + cstr, + h_end_p(), + NULL); return hinfo; } @@ -37,9 +37,9 @@ const HParser* init_mb() { if (mb) return mb; - mb = sequence(init_domain(), - end_p(), - NULL); + mb = h_sequence(init_domain(), + h_end_p(), + NULL); return mb; } @@ -49,9 +49,9 @@ const HParser* init_md() { if (md) return md; - md = sequence(init_domain(), - end_p, - NULL); + md = h_sequence(init_domain(), + h_end_p, + NULL); return md; } @@ -61,9 +61,9 @@ const HParser* init_mf() { if (mf) return mf; - mf = sequence(init_domain(), - end_p(), - NULL); + mf = h_sequence(init_domain(), + h_end_p(), + NULL); return mf; } @@ -73,9 +73,9 @@ const HParser* init_mg() { if (mg) return mg; - mg = sequence(init_domain(), - end_p(), - NULL); + mg = h_sequence(init_domain(), + h_end_p(), + NULL); return mg; } @@ -87,10 +87,10 @@ const HParser* init_minfo() { const HParser* domain = init_domain(); - minfo = sequence(domain, - domain, - end_p(), - NULL); + minfo = h_sequence(domain, + domain, + h_end_p(), + NULL); return minfo; } @@ -100,9 +100,9 @@ const HParser* init_mr() { if (mr) return mr; - mr = sequence(init_domain(), - end_p(), - NULL); + mr = h_sequence(init_domain(), + h_end_p(), + NULL); return mr; } @@ -112,15 +112,15 @@ const HParser* init_mx() { if (mx) return mx; - mx = sequence(uint16(), - init_domain(), - end_p(), - NULL); + mx = h_sequence(h_uint16(), + init_domain(), + h_end_p(), + NULL); return mx; } -bool validate_null(parse_result_t *p) { +bool validate_null(HParseResult *p) { if (TT_SEQUENCE != p->ast->token_type) return false; return (65536 > p->ast->seq->used); @@ -131,7 +131,7 @@ const HParser* init_null() { if (null_) return null_; - null_ = attr_bool(uint8(), validate_null); + null_ = h_attr_bool(h_many(h_uint8()), validate_null); return null_; } @@ -141,9 +141,9 @@ const HParser* init_ns() { if (ns) return ns; - ns = sequence(init_domain(), - end_p(), - NULL); + ns = h_sequence(init_domain(), + h_end_p(), + NULL); return ns; } @@ -153,9 +153,9 @@ const HParser* init_ptr() { if (ptr) return ptr; - ptr = sequence(init_domain(), - end_p(), - NULL); + ptr = h_sequence(init_domain(), + h_end_p(), + NULL); return ptr; } @@ -167,15 +167,15 @@ const HParser* init_soa() { const HParser *domain = init_domain(); - soa = sequence(domain, // MNAME - domain, // RNAME - uint32(), // SERIAL - uint32(), // REFRESH - uint32(), // RETRY - uint32(), // EXPIRE - uint32(), // MINIMUM - end_p(), - NULL); + soa = h_sequence(domain, // MNAME + domain, // RNAME + h_uint32(), // SERIAL + h_uint32(), // REFRESH + h_uint32(), // RETRY + h_uint32(), // EXPIRE + h_uint32(), // MINIMUM + h_end_p(), + NULL); return soa; } @@ -185,9 +185,9 @@ const HParser* init_txt() { if (txt) return txt; - txt = sequence(many1(init_character_string()), - end_p(), - NULL); + txt = h_sequence(h_many1(init_character_string()), + h_end_p(), + NULL); return txt; } @@ -197,9 +197,9 @@ const HParser* init_a() { if (a) return a; - a = sequence(uint32(), - end_p(), - NULL); + a = h_sequence(h_uint32(), + h_end_p(), + NULL); return a; } @@ -209,11 +209,11 @@ const HParser* init_wks() { if (wks) return wks; - wks = sequence(uint32(), - uint8(), - many(uint8()), - end_p(), - NULL); + wks = h_sequence(h_uint32(), + h_uint8(), + h_many(h_uint8()), + h_end_p(), + NULL); return wks; }