| /* |
| * Copyright (c) 2015 Cisco and/or its affiliates. |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at: |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| #include <vlib/parse.h> |
| #include <vlib/unix/unix.h> |
| |
| static u8 * format_value_v4_address (u8 * s, va_list * args) |
| { |
| vlib_parse_value_t *v = va_arg (*args, vlib_parse_value_t *); |
| u32 a = v->value.as_uword; |
| |
| s = format (s, "%d.%d.%d.%d", |
| (a>>24) & 0xFF, |
| (a>>16) & 0xFF, |
| (a>>8) & 0xFF, |
| (a>>0) & 0xFF); |
| |
| return s; |
| } |
| |
| static vlib_parse_match_t |
| v4_address_match (vlib_parse_main_t *pm, vlib_parse_type_t *type, |
| vlib_lex_token_t *t, vlib_parse_value_t *valuep) |
| { |
| u32 digit; |
| u32 value = 0; |
| int i; |
| |
| if (vec_len (pm->tokens) - (t - pm->tokens) < 7) |
| return VLIB_PARSE_MATCH_FAIL; |
| |
| /* NUMBER DOT NUMBER DOT NUMBER DOT NUMBER */ |
| |
| for (i = 0; i < 7; i++) { |
| if ((i & 1) == 0) { |
| if (t[i].token != VLIB_LEX_number) |
| return VLIB_PARSE_MATCH_FAIL; |
| if (t[i].value.as_uword > 0xff) |
| return VLIB_PARSE_MATCH_FAIL; |
| digit = t[i].value.as_uword; |
| value = (value << 8) | digit; |
| } else { |
| if (t[i].token != VLIB_LEX_dot) |
| return VLIB_PARSE_MATCH_FAIL; |
| } |
| } |
| /* note: caller advances by 1 */ |
| pm->current_token_index += 6; |
| valuep->value.as_uword = value; |
| return VLIB_PARSE_MATCH_VALUE; |
| } |
| |
| PARSE_TYPE_INIT (v4_address, v4_address_match, 0, format_value_v4_address) |
| |
| static u8 * format_value_v4_address_and_mask (u8 * s, va_list * args) |
| { |
| vlib_parse_value_t *v = va_arg (*args, vlib_parse_value_t *); |
| u32 * a = v->value.as_pointer; |
| |
| s = format (s, "%d.%d.%d.%d", |
| (a[0]>>24) & 0xFF, |
| (a[0]>>16) & 0xFF, |
| (a[0]>>8) & 0xFF, |
| (a[0]>>0) & 0xFF); |
| s = format (s, "/%d", a[1]); |
| |
| return s; |
| } |
| |
| static vlib_parse_match_t |
| v4_address_and_mask_match (vlib_parse_main_t *pm, vlib_parse_type_t *type, |
| vlib_lex_token_t *t, vlib_parse_value_t *valuep) |
| { |
| u32 digit; |
| u32 address = 0; |
| u32 *rv = 0; |
| int i; |
| |
| if (vec_len (pm->tokens) - (t - pm->tokens) < 9) |
| return VLIB_PARSE_MATCH_FAIL; |
| |
| /* NUMBER DOT NUMBER DOT NUMBER DOT NUMBER */ |
| |
| for (i = 0; i < 7; i++) { |
| if ((i & 1) == 0) { |
| if (t[i].token != VLIB_LEX_number) |
| return VLIB_PARSE_MATCH_FAIL; |
| if (t[i].value.as_uword > 0xff) |
| return VLIB_PARSE_MATCH_FAIL; |
| digit = t[i].value.as_uword; |
| address = (address << 8) | digit; |
| } else { |
| if (t[i].token != VLIB_LEX_dot) |
| return VLIB_PARSE_MATCH_FAIL; |
| } |
| } |
| |
| if (t[7].token != VLIB_LEX_slash || t[8].token != VLIB_LEX_number) |
| return VLIB_PARSE_MATCH_FAIL; |
| |
| vec_add1 (rv, address); |
| vec_add1 (rv, t[8].value.as_uword); |
| |
| /* note: caller advances by 1 */ |
| pm->current_token_index += 8; |
| valuep->value.as_pointer = rv; |
| return VLIB_PARSE_MATCH_VALUE; |
| } |
| |
| void v4_address_and_mask_cleanup (vlib_parse_value_t *valuep) |
| { |
| u32 * trash = valuep->value.as_pointer; |
| vec_free (trash); |
| } |
| |
| PARSE_TYPE_INIT (v4_address_and_mask, v4_address_and_mask_match, |
| v4_address_and_mask_cleanup, |
| format_value_v4_address_and_mask) |
| |
| vlib_lex_main_t vlib_lex_main; |
| |
| |
| |
| vlib_parse_match_t eval_factor0 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_factor1 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_factor2 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| word a; |
| int index = vec_len (pm->parse_value)-1; |
| |
| a = pm->parse_value [index].value.as_word; |
| |
| pm->parse_value[index].value.as_word = -a; |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_term0 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_term1 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| uword a, b; |
| int index = vec_len (pm->parse_value)-2; |
| |
| a = pm->parse_value [index].value.as_uword; |
| b = pm->parse_value [index+1].value.as_uword; |
| |
| pm->parse_value[index].value.as_uword = a * b; |
| _vec_len (pm->parse_value) -= 1; |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_term2 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| uword a, b; |
| int index = vec_len (pm->parse_value)-2; |
| |
| a = pm->parse_value [index].value.as_uword; |
| b = pm->parse_value [index+1].value.as_uword; |
| |
| pm->parse_value[index].value.as_uword = a / b; |
| _vec_len (pm->parse_value) -= 1; |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_exp0 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_exp1 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| uword a, b; |
| int index = vec_len (pm->parse_value)-2; |
| |
| a = pm->parse_value [index].value.as_uword; |
| b = pm->parse_value [index+1].value.as_uword; |
| |
| pm->parse_value[index].value.as_uword = a + b; |
| _vec_len (pm->parse_value) -= 1; |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| vlib_parse_match_t eval_exp2 (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| uword a, b; |
| int index = vec_len (pm->parse_value)-2; |
| |
| a = pm->parse_value [index].value.as_uword; |
| b = pm->parse_value [index+1].value.as_uword; |
| |
| pm->parse_value[index].value.as_uword = a - b; |
| _vec_len (pm->parse_value) -= 1; |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| |
| vlib_parse_match_t eval_result (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| return VLIB_PARSE_MATCH_DONE; |
| } |
| |
| vlib_parse_match_t noop_match_rule (vlib_parse_main_t *pm, |
| vlib_parse_item_t *item, |
| vlib_parse_value_t *value) |
| { |
| clib_warning ("%U", format_vlib_parse_value, pm); |
| return VLIB_PARSE_MATCH_RULE; |
| } |
| |
| #if 0 |
| PARSE_INIT (t1, "moo", eval0); |
| PARSE_INIT (t2, "moo cow mumble", eval1); |
| PARSE_INIT (t3, "moo cow", eval2); |
| PARSE_INIT (t4, "moo cow mumble grunch", eval3); |
| #endif |
| |
| #if 0 |
| PARSE_INIT (r1, "eval <exp>", eval_result); |
| |
| PARSE_INIT (r2, "<exp> = <term><exp2>", eval_exp0); |
| PARSE_INIT (r3, "<exp2> = <plus> <exp>", eval_exp1); |
| PARSE_INIT (r4, "<exp2> = <minus> <exp>", eval_exp2); |
| PARSE_INIT (r5, "<exp2> = ", noop_match_rule); |
| PARSE_TYPE_INIT (exp, rule_match, 0, 0); |
| PARSE_TYPE_INIT (exp2, rule_match, 0, 0); |
| |
| PARSE_INIT (r6, "<term> = <factor><term2>", eval_term0); |
| PARSE_INIT (r7, "<term2> = <star> <term>", eval_term1); |
| PARSE_INIT (r8, "<term2> = <slash> <term>", eval_term2); |
| PARSE_INIT (r9, "<term2> = ", noop_match_rule); |
| PARSE_TYPE_INIT (term, rule_match, 0, 0); |
| PARSE_TYPE_INIT (term2, rule_match, 0, 0); |
| |
| PARSE_INIT (r11, "<factor> = <lpar> <exp> <rpar>", eval_factor1); |
| PARSE_INIT (r10, "<factor> = <number>", eval_factor0); |
| PARSE_INIT (r12, "<factor> = <minus> <factor>", eval_factor2); |
| |
| PARSE_TYPE_INIT (factor, rule_match, 0, 0); |
| #endif |
| |
| PARSE_INIT (r1, "eval <exp>", eval_result); |
| |
| #if 1 |
| PARSE_INIT (r2, "<exp> = <term><exp2>", eval_exp0); |
| PARSE_INIT (r3, "<exp2> = <plus> <exp>", eval_exp1); |
| PARSE_INIT (r4, "<exp2> = <minus> <exp>", eval_exp2); |
| PARSE_INIT (r5, "<exp2> = ", noop_match_rule); |
| PARSE_TYPE_INIT (exp, rule_match, 0, 0); |
| PARSE_TYPE_INIT (exp2, rule_match, 0, 0); |
| |
| PARSE_INIT (r6, "<term> = <factor><term2>", eval_term0); |
| PARSE_INIT (r7, "<term2> = <star> <term>", eval_term1); |
| PARSE_INIT (r8, "<term2> = <slash> <term>", eval_term2); |
| PARSE_INIT (r9, "<term2> = ", noop_match_rule); |
| PARSE_TYPE_INIT (term, rule_match, 0, 0); |
| PARSE_TYPE_INIT (term2, rule_match, 0, 0); |
| |
| PARSE_INIT (r11, "<factor> = <lpar> <exp> <rpar>", eval_factor1); |
| PARSE_INIT (r10, "<factor> = <number>", eval_factor0); |
| PARSE_INIT (r12, "<factor> = <minus> <factor>", eval_factor2); |
| |
| PARSE_TYPE_INIT (factor, rule_match, 0, 0); |
| #endif |
| |
| #if 0 |
| PARSE_TYPE_INIT (exp, rule_match, 0, 0); |
| PARSE_INIT (r6, "<exp> = a b", eval_term0); |
| PARSE_INIT (r7, "<exp> = c d", eval_term1); |
| PARSE_INIT (r9, "<exp> = ", noop_match_rule); |
| #endif |
| |
| #if 0 |
| #define foreach_rule_evaluator \ |
| _(0) \ |
| _(1) \ |
| _(2) \ |
| _(3) |
| |
| #define _(n) \ |
| vlib_parse_match_t eval##n (vlib_parse_main_t *pm, \ |
| vlib_parse_item_t *item, \ |
| vlib_parse_value_t *value) \ |
| { \ |
| clib_warning ("%U", format_vlib_parse_value, pm); \ |
| return VLIB_PARSE_MATCH_DONE; \ |
| } |
| foreach_rule_evaluator |
| |
| #undef _ |
| |
| PARSE_INIT (r1, "eval <moo>", eval_result); |
| |
| PARSE_INIT (r2, "<moo> = cow", eval0); |
| PARSE_INIT (r4, "<moo> = ", eval1); |
| PARSE_TYPE_INIT (moo, rule_match, 0, 0); |
| #endif |
| |
| |
| clib_error_t *test_init (vlib_main_t *vm) |
| { |
| clib_error_t *error; |
| |
| if ((error = vlib_call_init_function (vm, parse_init))) |
| return error; |
| |
| return 0; |
| } |
| |
| VLIB_INIT_FUNCTION (test_init); |
| |
| clib_error_t * |
| vlib_stdlex_init (vlib_main_t * vm) |
| { |
| vlib_lex_main_t * lm = &vlib_lex_main; |
| u16 top_index; |
| u16 slash_index, slash_star_index, slash_slash_index, slash_star_star_index; |
| u16 slash_token; |
| u16 word_index; |
| u16 zero_index, octal_index, decimal_index, hex_index, binary_index; |
| |
| top_index = vlib_lex_add_table ("top"); |
| |
| #define foreach_top_level_single_character_token \ |
| _('(', lpar) \ |
| _(')', rpar) \ |
| _(';', semi) \ |
| _('[', lbrack) \ |
| _(']', rbrack) \ |
| _('{', lcurly) \ |
| _('}', rcurly) \ |
| _('+', plus) \ |
| _('-', minus) \ |
| _('*', star) \ |
| _('%', percent) \ |
| _('@', atsign) \ |
| _(',', comma) \ |
| _('.', dot) \ |
| _('?', qmark) |
| |
| #define _(c,t) \ |
| vlib_lex_set_action_range(top_index,c,c,VLIB_LEX_RETURN,vlib_lex_add_token(lm, #t), top_index); |
| foreach_top_level_single_character_token; |
| #undef _ |
| |
| /* Numbers */ |
| zero_index = vlib_lex_add_table ("zero"); |
| octal_index = vlib_lex_add_table ("octal"); |
| decimal_index = vlib_lex_add_table ("decimal"); |
| hex_index = vlib_lex_add_table ("hex"); |
| binary_index = vlib_lex_add_table ("binary"); |
| |
| /* Support 0x 0b 0t and 0123 [octal] */ |
| vlib_lex_set_action_range (top_index, '0', '0', VLIB_LEX_START_NUMBER, 10, zero_index); |
| vlib_lex_set_action_range (top_index, '1', '9', VLIB_LEX_START_NUMBER, 10, decimal_index); |
| |
| vlib_lex_set_action_range (zero_index, 0, 0x7F, VLIB_LEX_RETURN_AND_RESCAN, VLIB_LEX_number, top_index); |
| |
| vlib_lex_set_action_range (zero_index, 'x', 'x', VLIB_LEX_IGNORE, ~0, hex_index); |
| vlib_lex_set_action_range (zero_index, 'b', 'b', VLIB_LEX_IGNORE, ~0, binary_index); |
| vlib_lex_set_action_range (zero_index, 't', 't', VLIB_LEX_IGNORE, ~0, decimal_index); |
| vlib_lex_set_action_range (zero_index, '0', '7', VLIB_LEX_START_NUMBER, 8, octal_index); |
| |
| /* Octal */ |
| vlib_lex_set_action_range (octal_index, 0, 0x7f, VLIB_LEX_RETURN_AND_RESCAN, |
| VLIB_LEX_number, top_index); |
| vlib_lex_set_action_range (octal_index, '0', '7', VLIB_LEX_ADD_TO_NUMBER, 8, |
| octal_index); |
| |
| /* Decimal */ |
| vlib_lex_set_action_range (decimal_index, 0, 0x7f, VLIB_LEX_RETURN_AND_RESCAN, |
| VLIB_LEX_number, top_index); |
| vlib_lex_set_action_range (decimal_index, '0', '9', VLIB_LEX_ADD_TO_NUMBER, 10, |
| decimal_index); |
| |
| /* Hex */ |
| vlib_lex_set_action_range (hex_index, 0, 0x7f, VLIB_LEX_RETURN_AND_RESCAN, |
| VLIB_LEX_number, top_index); |
| vlib_lex_set_action_range (hex_index, '0', '9', VLIB_LEX_ADD_TO_NUMBER, 16, |
| hex_index); |
| vlib_lex_set_action_range (hex_index, 'a', 'f', VLIB_LEX_ADD_TO_NUMBER, 16, |
| hex_index); |
| vlib_lex_set_action_range (hex_index, 'A', 'F', VLIB_LEX_ADD_TO_NUMBER, 16, |
| hex_index); |
| |
| /* Binary */ |
| vlib_lex_set_action_range (binary_index, 0, 0x7f, VLIB_LEX_RETURN_AND_RESCAN, |
| VLIB_LEX_number, top_index); |
| vlib_lex_set_action_range (binary_index, '0', '1', VLIB_LEX_ADD_TO_NUMBER, 2, |
| binary_index); |
| |
| /* c/c++ comment syntax is the worst... */ |
| |
| slash_index = vlib_lex_add_table ("slash"); |
| slash_star_index = vlib_lex_add_table ("slash_star"); |
| slash_star_star_index = vlib_lex_add_table ("slash_star_star"); |
| slash_slash_index = vlib_lex_add_table ("slash_slash"); |
| slash_token = vlib_lex_add_token (lm, "slash"); |
| |
| /* Top level: see a slash, ignore, go to slash table */ |
| vlib_lex_set_action_range (top_index, '/', '/', VLIB_LEX_IGNORE, ~0, slash_index); |
| |
| /* default for slash table: return SLASH, go to top table */ |
| vlib_lex_set_action_range (slash_index, 1, 0x7F, VLIB_LEX_RETURN_AND_RESCAN, slash_token, |
| top_index); |
| /* see slash-slash, go to s-s table */ |
| vlib_lex_set_action_range (slash_index, '/', '/', VLIB_LEX_IGNORE, ~0, |
| slash_slash_index); |
| /* see slash-star, go to s-* table */ |
| vlib_lex_set_action_range (slash_index, '*', '*', VLIB_LEX_IGNORE, ~0, |
| slash_star_index); |
| |
| /* EOL in s-s table, ignore, go to top table */ |
| vlib_lex_set_action_range (slash_slash_index, '\n', '\n', VLIB_LEX_IGNORE, ~0, |
| top_index); |
| |
| /* slash-star blah blah star */ |
| vlib_lex_set_action_range (slash_star_index, '*', '*', VLIB_LEX_IGNORE, ~0, |
| slash_star_star_index); |
| |
| /* slash star blah blah star slash */ |
| vlib_lex_set_action_range (slash_star_star_index, '/', '/', VLIB_LEX_IGNORE, ~0, |
| top_index); |
| |
| /* LT, =, GT */ |
| vlib_lex_set_action_range (top_index, '<', '<', VLIB_LEX_RETURN, VLIB_LEX_lt, top_index); |
| vlib_lex_set_action_range (top_index, '=', '=', VLIB_LEX_RETURN, VLIB_LEX_equals, |
| top_index); |
| vlib_lex_set_action_range (top_index, '>', '>', VLIB_LEX_RETURN, VLIB_LEX_gt, top_index); |
| |
| /* words, key and otherwise */ |
| word_index = vlib_lex_add_table ("word"); |
| |
| vlib_lex_set_action_range (top_index, 'a', 'z', VLIB_LEX_ADD_TO_TOKEN, ~0, word_index); |
| vlib_lex_set_action_range (top_index, 'A', 'Z', VLIB_LEX_ADD_TO_TOKEN, ~0, word_index); |
| |
| vlib_lex_set_action_range (word_index, 0, 0x7f, VLIB_LEX_KEYWORD_CHECK, ~0, top_index); |
| |
| vlib_lex_set_action_range (word_index, 'a', 'z', VLIB_LEX_ADD_TO_TOKEN, ~0, word_index); |
| vlib_lex_set_action_range (word_index, 'A', 'Z', VLIB_LEX_ADD_TO_TOKEN, ~0, word_index); |
| vlib_lex_set_action_range (word_index, '_', '_', VLIB_LEX_ADD_TO_TOKEN, ~0, word_index); |
| vlib_lex_set_action_range (word_index, '0', '9', VLIB_LEX_ADD_TO_TOKEN, ~0, word_index); |
| |
| return 0; |
| } |
| |