1141 /* The whitespace */ |
1141 /* The whitespace */ |
1142 <INITIAL,header_state,config_state,body_state,vardecl_list_state,vardecl_state,st_state,sfc_state,task_init_state,sfc_qualifier_state>{st_whitespace} /* Eat any whitespace */ |
1142 <INITIAL,header_state,config_state,body_state,vardecl_list_state,vardecl_state,st_state,sfc_state,task_init_state,sfc_qualifier_state>{st_whitespace} /* Eat any whitespace */ |
1143 <il_state>{il_whitespace} /* Eat any whitespace */ |
1143 <il_state>{il_whitespace} /* Eat any whitespace */ |
1144 |
1144 |
1145 /* The comments */ |
1145 /* The comments */ |
1146 <body_state,vardecl_list_state>{comment_beg} yy_push_state(comment_state); |
1146 <body_state,vardecl_list_state>{comment_beg} yy_push_state(comment_state); |
1147 {comment_beg} yy_push_state(comment_state); |
1147 {comment_beg} yy_push_state(comment_state); |
1148 <comment_state>{ |
1148 <comment_state>{ |
1149 {comment_beg} yy_push_state(comment_state); |
1149 {comment_beg} {if (get_opt_nested_comments()) yy_push_state(comment_state);} |
1150 {comment_end} yy_pop_state(); |
1150 {comment_end} yy_pop_state(); |
1151 . /* Ignore text inside comment! */ |
1151 . /* Ignore text inside comment! */ |
1152 \n /* Ignore text inside comment! */ |
1152 \n /* Ignore text inside comment! */ |
1153 } |
1153 } |
1154 |
1154 |
1155 /*****************************************/ |
1155 /*****************************************/ |
1156 /* B.1.1 Letters, digits and identifiers */ |
1156 /* B.1.1 Letters, digits and identifiers */ |
1157 /*****************************************/ |
1157 /*****************************************/ |