epan/dtd_grammar.lemon

   1 %include {
   2
   3 /* dtd_parser.lemon
   4  * XML dissector for wireshark
   5  * XML's DTD grammar
   6  *
   7  * Copyright 2005, Luis E. Garcia Ontanon <luis@ontanon.org>
   8  *
   9  * Wireshark - Network traffic analyzer
  10  * By Gerald Combs <gerald@wireshark.org>
  11  * Copyright 1998 Gerald Combs
  12  *
  13  * SPDX-License-Identifier: GPL-2.0-or-later
  14  */
  15
  16 #include "config.h"
  17
  18 #include <stdio.h>
  19 #include <glib.h>
  20 #include <assert.h>
  21 #include <ws_diag_control.h>
  22 #include "dtd.h"
  23 #include "dtd_parse.h"
  24
  25 static dtd_named_list_t* dtd_named_list_new(char* name, GPtrArray* list) {
  26         dtd_named_list_t* nl = g_new(dtd_named_list_t,1);
  27
  28         nl->name = name;
  29         nl->list = list;
  30
  31         return nl;
  32 }
  33
  34 static GPtrArray* g_ptr_array_join(GPtrArray* a, GPtrArray* b){
  35
  36         while(b->len > 0) {
  37                 g_ptr_array_add(a,g_ptr_array_remove_index_fast(b,0));
  38         }
  39
  40         g_ptr_array_free(b,true);
  41
  42         return a;
  43 }
  44
  45 DIAG_OFF_LEMON()
  46 } /* end of %include */
  47
  48 %code {
  49 DIAG_ON_LEMON()
  50 }
  51
  52 %name DtdParse
  53
  54 %extra_argument { dtd_build_data_t *bd }
  55
  56 %token_destructor {
  57         (void) bd; /* Mark unused, similar to Q_UNUSED */
  58         if ($$) {
  59                 g_free($$->text);
  60                 g_free($$->location);
  61                 g_free($$);
  62         }
  63 }
  64
  65 %syntax_error {
  66         if (!TOKEN)
  67                 g_string_append_printf(bd->error,"syntax error at end of file");
  68         else
  69                 g_string_append_printf(bd->error,"syntax error in %s at or before '%s': \n", TOKEN->location,TOKEN->text);
  70 }
  71
  72 %parse_failure {
  73         g_string_append_printf(bd->error,"DTD parsing failure\n");
  74 }
  75
  76 %token_prefix TOKEN_
  77
  78 %token_type { dtd_token_data_t* }
  79
  80 dtd ::= doctype.
  81 dtd ::= dtd_parts.
  82
  83 doctype ::= TAG_START DOCTYPE_KW NAME(Name) OPEN_BRACKET dtd_parts CLOSE_BRACKET TAG_STOP. {
  84         dtd_named_list_t* root;
  85         GPtrArray* root_elems = g_ptr_array_new();
  86         unsigned i;
  87         char *name;
  88
  89         if(! bd->proto_name) {
  90                 bd->proto_name = g_strdup(Name->text);
  91         }
  92
  93         g_free(bd->proto_root);
  94
  95         bd->proto_root = Name->text;
  96
  97         name = g_ascii_strdown(bd->proto_name, -1);
  98         g_free(bd->proto_name);
  99         bd->proto_name = name;
 100
 101         for( i = 0; i< bd->elements->len; i++) {
 102                 dtd_named_list_t* el = (dtd_named_list_t*)g_ptr_array_index(bd->elements,i);
 103
 104                 g_ptr_array_add(root_elems,g_strdup(el->name));
 105         }
 106
 107         root = dtd_named_list_new(g_strdup(Name->text),root_elems);
 108
 109         g_ptr_array_add(bd->elements,root);
 110
 111         g_free(Name->location);
 112         g_free(Name);
 113
 114 }
 115
 116 dtd_parts ::= dtd_parts element(Element). { g_ptr_array_add(bd->elements,Element); }
 117 dtd_parts ::= dtd_parts attlist(Attlist). { g_ptr_array_add(bd->attributes,Attlist); }
 118 dtd_parts ::= element(Element). { g_ptr_array_add(bd->elements,Element); }
 119 dtd_parts ::= attlist(Attlist). { g_ptr_array_add(bd->attributes,Attlist); }
 120
 121 %type   attlist                         { dtd_named_list_t* }
 122 attlist(A) ::= TAG_START ATTLIST_KW NAME(B) attrib_list(TheList) TAG_STOP. {
 123         A = dtd_named_list_new(g_ascii_strdown(B->text, -1),TheList);
 124         g_free(B->text);
 125         g_free(B->location);
 126         g_free(B);
 127 }
 128
 129 %type element { dtd_named_list_t* }
 130 element(A) ::= TAG_START ELEMENT_KW NAME(B) sub_elements(C) TAG_STOP. {
 131         A = dtd_named_list_new(g_ascii_strdown(B->text, -1),C);
 132         g_free(B->text);
 133         g_free(B->location);
 134         g_free(B);
 135 }
 136
 137 %type   attrib_list                     { GPtrArray* }
 138 attrib_list(A) ::= attrib_list(B) attrib(C). { g_ptr_array_add(B,C); A = B; }
 139 attrib_list(A) ::= attrib(B).  { A = g_ptr_array_new(); g_ptr_array_add(A,B);  }
 140
 141 %type   attrib                          { char* }
 142 attrib(A) ::= NAME(B) att_type att_default. {
 143         A = g_ascii_strdown(B->text, -1);
 144         g_free(B->text);
 145         g_free(B->location);
 146         g_free(B);
 147 }
 148
 149 att_type ::= ATT_TYPE.
 150 att_type ::= enumeration.
 151
 152 att_default ::= ATT_DEF.
 153 att_default ::= ATT_DEF_WITH_VALUE QUOTED.
 154 att_default ::= QUOTED.
 155 att_default ::= IMPLIED_KW.
 156 att_default ::= REQUIRED_KW.
 157
 158 enumeration ::= OPEN_PARENS enum_list CLOSE_PARENS.
 159
 160 enum_list ::= enum_list PIPE enum_item.
 161 enum_list ::= enum_item.
 162 enum_list ::= enumeration.
 163 enum_list ::= enum_list PIPE enumeration.
 164
 165 enum_item ::= NAME.
 166 enum_item ::= QUOTED.
 167
 168
 169 %type   sub_elements            { GPtrArray* }
 170 sub_elements(A) ::= sub_elements(B) STAR. {A=B;}
 171 sub_elements(A) ::= sub_elements(B) PLUS. {A=B;}
 172 sub_elements(A) ::= sub_elements(B) QUESTION. {A=B;}
 173 sub_elements(A) ::= OPEN_PARENS ELEM_DATA CLOSE_PARENS. { A = g_ptr_array_new(); }
 174 sub_elements(A) ::= OPEN_PARENS element_list(B) COMMA ELEM_DATA CLOSE_PARENS.   { A = B; }
 175 sub_elements(A) ::= OPEN_PARENS element_list(B) PIPE ELEM_DATA CLOSE_PARENS.    { A = B; }
 176 sub_elements(A) ::= OPEN_PARENS element_list(B) CLOSE_PARENS. { A = B; }
 177 sub_elements(A) ::= EMPTY_KW. { A = g_ptr_array_new(); }
 178
 179 %type   element_list    { GPtrArray* }
 180 element_list(A) ::= element_list(B) COMMA element_child(C).     { g_ptr_array_add(B,C); A = B; }
 181 element_list(A) ::= element_list(B) PIPE element_child(C).      { g_ptr_array_add(B,C); A = B; }
 182 element_list(A) ::= element_child(B).                                           { A = g_ptr_array_new(); g_ptr_array_add(A,B); }
 183 element_list(A) ::= sub_elements(B).                                            { A = B; }
 184 element_list(A) ::= element_list(B) COMMA sub_elements(C).      { A = g_ptr_array_join(B,C); }
 185 element_list(A) ::= element_list(B) PIPE sub_elements(C).       { A = g_ptr_array_join(B,C); }
 186
 187 %type   element_child           { char* }
 188 element_child(A) ::= NAME(B).                   {
 189         A = g_ascii_strdown(B->text, -1);
 190         g_free(B->text);
 191         g_free(B->location);
 192         g_free(B);
 193 }
 194
 195 element_child(A) ::= NAME(B) STAR.              {
 196         A = g_ascii_strdown(B->text, -1);
 197         g_free(B->text);
 198         g_free(B->location);
 199         g_free(B);
 200 }
 201
 202 element_child(A) ::= NAME(B) QUESTION.  {
 203         A = g_ascii_strdown(B->text, -1);
 204         g_free(B->text);
 205         g_free(B->location);
 206         g_free(B);
 207 }
 208
 209 element_child(A) ::= NAME(B) PLUS.              {
 210         A = g_ascii_strdown(B->text, -1);
 211         g_free(B->text);
 212         g_free(B->location);
 213         g_free(B);
 214 }
 215