lex.yy_compile_policy.cc

xorp源码hg

     3289, 3294, 3299, 3304, 3306, 3309, 3312, 3315, 3318, 3321,
     3326, 3330, 3334, 3339, 3345, 3350, 3356, 3361, 3367, 3372,
     3377,  390, 3380,  384, 3383,  350, 3385, 3389, 3393, 3398,

     3403, 3408, 3413, 3418, 3420, 3423, 3426, 3429, 3432, 3435,
     3440, 3444, 3449, 3455, 3460, 3466, 3471, 3477, 3482, 3488,
     3493, 3498,  344, 3501,  288, 3504,  282, 3506, 3510, 3515,
     3519, 3523, 3528, 3532, 3537, 3541, 3546, 3550, 3555, 3559,
     3564, 3569, 3571, 3574, 3577, 3580, 3583, 3586, 3591,  266,
     3595, 3599, 3604, 3610, 3615, 3621, 3626, 3632, 3637, 3643,
     3648, 3654, 3659, 3664,  241, 3667,  227, 3670,  207, 3671,
     3676, 3682, 3685, 3688, 3693, 3698, 3703, 3708, 3713, 3718,
     3723, 3728, 3730, 3733, 3736, 3739, 3742, 3745, 3750,  178,
     3756, 3758, 3763, 3768, 3773, 3778, 3783, 3788, 3793,  156,

     3796,  150, 3799, 3801, 3807, 3810, 3812, 3817, 3819, 3822,
     3825, 3827,  118, 3833, 3835,   51, 3838, 3840, 3842, 3844,
     3846, 3848, 3850
    } ;

static yyconst short int yy_def[924] =
    {   0,
      700,    1,  701,  701,  702,  702,  700,  700,  700,  700,
      700,  700,   12,   13,  700,  700,  700,   17,   18,   17,
       17,   17,   18,   18,   18,   18,  700,  700,  703,  700,
      704,  704,  700,  700,  700,  700,  705,  700,  706,  707,
       38,   41,  707,  700,   17,   18,   18,   45,   45,   18,
       18,   18,   18,   18,  703,  704,  704,  700,  700,  700,
      700,  708,  700,  709,  710,  710,  711,  700,  710,  712,
      700,   71,   72,  713,   45,   18,   18,   18,   18,   18,
       18,   18,   18,  714,  709,  715,  715,  700,  700,  716,
      717,  700,   92,   93,  718,  719,  719,  720,  700,  700,

      721,   99,  102,  721,   18,   18,   18,   18,   18,   18,
       18,   18,  722,  700,  723,  700,  724,  725,  700,  700,
      700,  726,  120,  123,  726,  700,  727,  727,  728,  700,
      729,  730,  730,  700,  134,  135,  731,  730,   18,   18,
       18,   18,   18,  732,  723,  733,  733,  700,  700,  734,
      735,  700,  152,  153,  736,  737,  737,  700,  158,  159,
      738,  737,  700,  739,  729,  740,  740,  700,  700,  741,
      700,  700,  742,  171,  174,  742,   18,   18,   18,   18,
       18,  743,  700,  744,  700,  745,  746,  700,  700,  700,
      747,  189,  192,  747,  700,  700,  700,  748,  196,  199,

      748,  749,  700,  750,  700,  751,  700,  752,  753,  753,
      700,  211,  212,  754,  753,  700,  700,  744,  755,  755,
      700,  700,  756,  757,  700,  225,  226,  758,  759,  759,
      700,  231,  232,  760,  759,  761,  761,  700,  238,  239,
      762,  761,  763,  750,  764,  764,  700,  765,  752,  766,
      766,  700,  700,  767,  700,  700,  768,  255,  258,  768,
      700,  217,  700,  700,  700,  769,  770,  700,  700,  700,
      771,  269,  272,  771,  700,  700,  700,  772,  276,  279,
      772,  700,  700,  700,  773,  283,  286,  773,  774,  700,
      775,  700,  776,  700,  777,  700,  778,  700,  779,  780,

      780,  700,  302,  303,  781,  780,  700,  700,  782,  783,
      700,  311,  312,  784,  785,  785,  700,  317,  318,  786,
      785,  787,  787,  700,  324,  325,  788,  787,  789,  789,
      700,  331,  332,  790,  789,  775,  791,  791,  700,  792,
      777,  793,  793,  700,  794,  779,  795,  795,  700,  700,
      796,  700,  700,  797,  352,  355,  797,  700,  798,  799,
      700,  700,  700,  800,  362,  365,  800,  700,  700,  700,
      801,  369,  372,  801,  700,  700,  700,  802,  376,  379,
      802,  700,  700,  700,  803,  383,  386,  803,  700,  804,
      700,  805,  700,  806,  700,  807,  700,  808,  700,  809,

      810,  810,  700,  403,  404,  811,  810,  700,  700,  812,
      700,  700,  412,  413,  813,  814,  814,  700,  418,  419,
      815,  814,  816,  816,  700,  425,  426,  817,  816,  818,
      818,  700,  432,  433,  819,  818,  820,  820,  700,  439,
      440,  821,  820,  805,  822,  822,  700,  823,  807,  824,
      824,  700,  825,  809,  826,  826,  700,  700,  827,  700,
      700,  828,  460,  463,  828,  700,  829,  700,  468,  469,
      830,  831,  700,  832,  833,  473,  476,  833,  700,  700,
      834,  835,  480,  483,  835,  700,  700,  836,  837,  487,
      490,  837,  700,  700,  838,  839,  494,  497,  839,  700,

      700,  840,  841,  501,  504,  841,  700,  842,  700,  843,
      700,  844,  700,  845,  700,  846,  700,  847,  848,  848,
      700,  521,  522,  849,  848,  700,  700,  850,  700,  851,
      852,  529,  532,  852,  853,  854,  854,  855,  854,  856,
      856,  857,  856,  858,  858,  859,  858,  860,  860,  861,
      860,  862,  862,  863,  862,  843,  864,  864,  700,  865,
      845,  866,  866,  700,  867,  847,  868,  868,  700,  700,
      869,  700,  870,  871,  572,  575,  871,  700,  872,  700,
      873,  874,  874,  875,  700,  874,  876,  700,  877,  700,
      878,  700,  879,  700,  880,  700,  881,  700,  882,  700,

      883,  700,  884,  700,  885,  700,  886,  700,  887,  888,
      888,  889,  888,  700,  890,  873,  891,  891,  700,  700,
      892,  893,  894,  895,  896,  897,  898,  883,  899,  899,
      700,  900,  885,  901,  901,  700,  902,  887,  903,  903,
      700,  700,  904,  700,  905,  700,  906,  700,  907,  700,
      700,  700,  700,  700,  700,  700,  908,  700,  909,  700,
      910,  700,  911,  700,  912,  913,  906,  914,  914,  700,
      909,  915,  915,  700,  916,  911,  917,  917,  700,  700,
      918,  700,  919,  700,  700,  920,  700,  921,  700,  919,
      922,  922,  700,  921,  923,  923,  700,  700,  700,    0,

      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,

      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,

      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700,  700,  700,  700,  700,  700,  700,  700,
      700,  700,  700
    } ;

static yyconst short int yy_nxt[3898] =
    {   0,
        8,    9,   10,   11,    8,    8,    8,   12,   12,   13,
       14,   14,   14,   14,   14,   15,   16,   17,   17,   18,
       19,   18,    8,   20,   17,   21,   22,   23,   18,   18,
       18,   18,   24,   18,   25,   26,   18,   18,   18,   27,
       28,   32,   32,   32,   32,   43,   43,   43,   43,   43,
       43,   60,   60,   61,   61,  688,   33,   37,   33,   57,
       57,   62,   62,   63,   66,   66,   37,   39,   60,   60,
       61,   61,   60,   60,   61,   61,   39,  133,  133,   34,
       35,   34,   35,   37,  700,   38,   38,   38,   38,   38,
       38,   38,   38,   39,   39,   40,   40,   58,   59,  157,

      157,   40,   40,   40,   40,   41,   41,   41,   41,   41,
       42,   43,   43,   45,   45,   45,   45,   45,   45,   45,
       45,   39,  683,   45,   45,   46,   46,   46,   46,   45,
       45,   45,   45,   46,   46,   46,   46,   46,   46,   46,
       46,   46,   46,   46,   46,   46,   46,   46,   46,   46,
       46,   46,   46,  700,  663,   46,   46,  113,  113,  114,
      659,   46,   46,   46,   46,   37,   37,   65,   65,   65,
       65,   65,   65,   65,   65,   39,   39,   66,   66,  127,
      127,  128,  647,   66,   66,   66,   66,   69,   69,   69,
       69,   69,   69,   69,   69,   70,   71,   71,   72,   73,

       73,   73,   73,   73,   57,   57,   74,   74,  129,  129,
      130,  609,   74,   74,   74,   74,   75,   75,   75,   75,
       75,   75,   75,   75,  210,  210,   75,   75,  182,  182,
      183,  605,   75,   75,   75,   75,  104,  104,  104,  104,
      104,  104,   58,   59,   84,  601,   86,   86,   86,   86,
       86,   87,   88,   88,   70,   92,   92,   93,   94,   94,
       94,   94,   94,  230,  230,   95,   95,  202,  202,  203,
      581,   95,   95,   95,   95,   98,   70,   99,   99,   99,
       99,   99,   99,   99,   99,  100,  518,  101,  101,  206,
      206,  207,  514,  101,  101,  101,  101,  102,  102,  102,

      102,  102,  103,  104,  104,   70,  125,  125,  125,  125,
      125,  125,  237,  237,  100,  105,  105,  105,  105,  105,
      105,  105,  105,  301,  301,  105,  105,   84,  289,  289,
      290,  105,  105,  105,  105,  700,  700,   98,   70,  120,
      120,  120,  120,  120,  120,  120,  120,  121,  510,  122,
      122,  293,  293,  294,  400,  122,  122,  122,  122,  123,
      123,  123,  123,  123,  124,  125,  125,   70,  176,  176,
      176,  176,  176,  176,  316,  316,  121,   98,   70,  132,
      132,  132,  132,  132,  132,  132,  132,  100,  396,  133,
      133,  297,  297,  298,  392,  133,  133,  133,  133,  134,

      134,  135,  136,  136,  136,  136,  136,  323,  323,  137,
      137,   70,  264,  264,  264,  137,  137,  137,  137,  299,
      100,  138,  138,  138,  138,  138,  138,  138,  138,   98,
       70,  295,   70,  194,  194,  194,  194,  194,  194,  100,
      144,  121,  146,  146,  146,  146,  146,  147,  148,  148,
       70,  152,  152,  153,  154,  154,  154,  154,  154,  330,
      330,  155,  155,  264,  264,  264,  264,  155,  155,  155,
      155,   98,   70,  156,  156,  156,  156,  156,  156,  156,
      156,  121,  291,  157,  157,  390,  390,  391,  208,  157,
      157,  157,  157,  158,  158,  159,  160,  160,  160,  160,

      160,  402,  402,  161,  161,  394,  394,  395,  204,  161,
      161,  161,  161,  162,  162,  162,  162,  162,  162,  162,
      162,   98,   70,   98,   70,  201,  201,  201,  201,  201,
      201,  121,  164,  100,  166,  166,  166,  166,  166,  167,
      168,  168,  700,   70,  260,  260,  260,  260,  260,  260,
      417,  417,  100,  170,   70,  171,  171,  171,  171,  171,
      171,  171,  171,  172,  184,  173,  173,  398,  398,  399,
      163,  173,  173,  173,  173,  174,  174,  174,  174,  174,
      175,  176,  176,   70,   98,   70,  131,  144,  424,  424,
      431,  431,  172,  126,  100,  700,  700,   98,   70,  189,

      189,  189,  189,  189,  189,  189,  189,  190,  115,  191,
      191,  438,  438,  520,  520,  191,  191,  191,  191,  192,
      192,  192,  192,  192,  193,  194,  194,   70,   98,   70,
      700,   70,  508,  508,  509,   96,  190,   64,  121,   70,
      121,  170,   70,  196,  196,  196,  196,  196,  196,  196,
      196,  197,   70,  198,  198,  512,  512,  513,   70,  198,
      198,  198,  198,  199,  199,  199,  199,  199,  200,  201,
      201,   70,   98,   70,   70,  164,   70,  516,  516,  517,
      197,   70,  121,  700,  700,  100,  170,   70,  209,  209,
      209,  209,  209,  209,  209,  209,  172,   70,  210,  210,

      537,  537,  541,  541,  210,  210,  210,  210,  211,  211,
      212,  213,  213,  213,  213,  213,  545,  545,  214,  214,
       70,  549,  549,   70,  214,  214,  214,  214,   70,  172,
      215,  215,  215,  215,  215,  215,  215,  215,  170,   70,
      274,  274,  274,  274,  274,  274,  553,  553,  172,  217,
      219,  219,  219,  219,  219,  220,  221,  221,   70,  225,
      225,  226,  227,  227,  227,  227,  227,  583,  583,  228,
      228,  579,  579,  580,  675,  228,  228,  228,  228,   98,
       70,  229,  229,  229,  229,  229,  229,  229,  229,  190,
       70,  230,  230,  599,  599,  600,   70,  230,  230,  230,

      230,  231,  231,  232,  233,  233,  233,  233,  233,  611,
      611,  234,  234,   70,  603,  603,  604,  234,  234,  234,
      234,   70,  190,  235,  235,  235,  235,  235,  235,  235,
      235,   98,   70,   70,  281,  281,  281,  281,  281,  281,
      666,  190,  121,  170,   70,  236,  236,  236,  236,  236,
      236,  236,  236,  197,   70,  237,  237,  607,  607,  608,
       70,  237,  237,  237,  237,  238,  238,  239,  240,  240,
      240,  240,  240,   70,  675,  241,  241,   70,  645,  645,
      646,  241,  241,  241,  241,  675,  197,  242,  242,  242,
      242,  242,  242,  242,  242,  170,   70,  170,   70,  288,

      288,  288,  288,  288,  288,  197,  243,  172,  245,  245,
      245,  245,  245,  246,  247,  247,  248,  675,  250,  250,
      250,  250,  250,  251,  252,  252,  700,   70,  357,  357,
      357,  357,  357,  357,   70,   70,  172,  254,   70,  255,
      255,  255,  255,  255,  255,  255,  255,  256,   70,  257,
      257,  657,  657,  658,  666,  257,  257,  257,  257,  258,
      258,  258,  258,  258,  259,  260,  260,   70,  170,   70,
      367,  367,  367,  367,  367,  367,  256,  666,  172,  262,
      262,  262,  263,  264,  264,  264,  264,  217,  374,  374,
      374,  374,  374,  374,  700,  700,   98,   70,  269,  269,

      269,  269,  269,  269,  269,  269,  270,  666,  271,  271,
      661,  661,  662,   70,  271,  271,  271,  271,  272,  272,
      272,  272,  272,  273,  274,  274,   70,   98,   70,  700,
       70,  681,  681,  682,  637,  270,  675,  190,  675,  190,
      170,   70,  276,  276,  276,  276,  276,  276,  276,  276,
      277,  632,  278,  278,  686,  686,  687,   70,  278,  278,
      278,  278,  279,  279,  279,  279,  279,  280,  281,  281,
       70,   98,   70,  170,   70,  700,   70,   70,   70,  277,
       70,  190,   70,  197,   70,  197,  254,   70,  283,  283,
      283,  283,  283,  283,  283,  283,  284,   70,  285,  285,

       70,   70,   70,  615,  285,  285,  285,  285,  286,  286,
      286,  286,  286,  287,  288,  288,   70,  170,   70,  666,
      243,  666,  248,   70,   70,  284,  637,  197,  700,  700,
      700,  700,  172,  254,   70,  300,  300,  300,  300,  300,
      300,  300,  300,  256,  637,  301,  301,  637,  632,  632,
      632,  301,  301,  301,  301,  302,  302,  303,  304,  304,
      304,  304,  304,   70,   70,  305,  305,   70,   70,   70,
       70,  305,  305,  305,  305,   70,  256,  306,  306,  306,
      306,  306,  306,  306,  306,  254,   70,  381,  381,  381,