/*drl added 11/27/2001*/
/*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
/* < end of bison.head > */
/* A Bison parser, made from llgrammar.y
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
# include "lclscan.h"
# include "checking.h"
# include "lslparse.h"
/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
static const short yyrline[] =
{
- 0, 382, 382, 386, 387, 390, 391, 394, 395, 396,
- 399, 400, 403, 404, 405, 408, 414, 418, 420, 422,
- 424, 426, 428, 432, 436, 437, 440, 442, 446, 447,
- 450, 450, 454, 456, 458, 460, 464, 468, 470, 472,
- 476, 477, 480, 481, 482, 485, 485, 493, 493, 506,
- 506, 511, 515, 515, 515, 517, 517, 517, 520, 520,
- 520, 523, 523, 523, 527, 527, 527, 530, 532, 548,
- 550, 554, 555, 557, 560, 561, 564, 568, 570, 574,
- 576, 578, 580, 584, 585, 588, 590, 592, 595, 597,
- 600, 602, 605, 606, 607, 611, 612, 614, 616, 619,
- 621, 625, 626, 629, 631, 635, 636, 637, 640, 641,
- 644, 648, 649, 652, 653, 656, 657, 659, 662, 663,
- 666, 667, 670, 671, 672, 673, 676, 677, 680, 681,
- 682, 683, 684, 687, 688, 691, 692, 695, 696, 699,
- 700, 701, 704, 705, 708, 709, 710, 713, 714, 717,
- 722, 728, 736, 738, 740, 742, 746, 747, 750, 751,
- 752, 753, 754, 755, 756, 758, 762, 763, 764, 765,
- 768, 769, 772, 773, 776, 776, 785, 786, 790, 790,
- 794, 795, 798, 799, 800, 801, 802, 803, 804, 805,
- 806, 807, 815, 816, 821, 823, 829, 830, 831, 832,
- 833, 834, 835, 836, 837, 838, 839, 840, 841, 842,
- 843, 844, 845, 846, 847, 848, 849, 850, 851, 852,
- 853, 854, 855, 856, 857, 858, 859, 860, 861, 862,
- 863, 864, 867, 869, 871, 873, 875, 884, 885, 890,
- 891, 894, 894, 898, 898, 902, 904, 908, 909, 912,
- 913, 918, 921, 923, 927, 928, 931, 933, 937, 938,
- 948, 949, 952, 953, 954, 955, 956, 957, 960, 961,
- 962, 963, 964, 965, 974, 975, 976, 977, 978, 984,
- 985, 986, 996, 997, 998, 1003, 1004, 1007, 1008, 1009,
- 1010, 1011, 1012, 1013, 1014, 1017, 1018, 1021, 1023, 1025,
- 1027, 1029, 1032, 1034, 1036, 1038, 1040, 1042, 1050, 1052,
- 1054, 1057, 1060, 1063, 1068, 1069, 1072, 1073, 1076, 1077,
- 1078, 1081, 1082, 1085, 1086, 1089, 1090, 1093, 1096, 1097,
- 1100, 1101, 1104, 1107, 1113, 1115, 1116, 1119, 1120, 1125,
- 1127, 1131, 1132, 1133, 1136, 1137, 1140, 1141, 1144, 1145,
- 1148, 1149, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1161,
- 1162, 1165, 1168, 1170, 1174, 1178, 1179, 1182, 1183, 1186,
- 1188, 1190, 1192, 1193, 1195, 1197, 1199, 1202, 1204, 1208,
- 1209, 1212, 1213, 1214, 1215, 1218, 1219, 1220, 1221, 1222,
- 1223, 1228, 1234, 1244, 1245, 1246, 1247, 1250, 1252, 1256,
- 1256, 1263, 1264, 1267, 1268, 1271, 1272, 1275, 1276, 1277,
- 1278, 1279, 1280, 1281
+ 0, 382, 382, 387, 388, 392, 393, 397, 398, 399,
+ 403, 404, 408, 409, 410, 414, 421, 426, 428, 430,
+ 432, 434, 436, 441, 446, 447, 451, 453, 458, 459,
+ 463, 463, 468, 470, 472, 474, 479, 484, 486, 488,
+ 493, 494, 498, 499, 500, 504, 504, 512, 512, 525,
+ 525, 530, 535, 535, 535, 537, 537, 537, 540, 540,
+ 540, 543, 543, 543, 548, 548, 548, 551, 553, 570,
+ 572, 577, 578, 580, 584, 585, 589, 594, 596, 601,
+ 603, 605, 607, 612, 613, 617, 619, 621, 625, 627,
+ 631, 633, 637, 638, 639, 644, 645, 648, 651, 655,
+ 657, 662, 663, 667, 669, 674, 675, 676, 680, 681,
+ 685, 690, 691, 695, 696, 700, 701, 704, 708, 709,
+ 713, 714, 718, 719, 720, 721, 725, 726, 730, 731,
+ 732, 733, 734, 738, 739, 743, 744, 748, 749, 753,
+ 754, 755, 759, 760, 764, 765, 766, 770, 771, 774,
+ 779, 785, 794, 796, 798, 800, 805, 806, 810, 811,
+ 812, 813, 814, 815, 816, 818, 823, 824, 825, 826,
+ 830, 831, 835, 836, 840, 840, 850, 851, 856, 856,
+ 861, 862, 866, 867, 868, 869, 870, 871, 872, 873,
+ 874, 875, 884, 885, 891, 893, 900, 901, 902, 903,
+ 904, 905, 906, 907, 908, 909, 910, 911, 912, 913,
+ 914, 915, 916, 917, 918, 919, 920, 921, 922, 923,
+ 924, 925, 926, 927, 928, 929, 930, 931, 932, 933,
+ 934, 935, 939, 941, 943, 945, 947, 957, 958, 964,
+ 965, 969, 969, 973, 973, 977, 979, 984, 985, 989,
+ 990, 996, 1000, 1002, 1007, 1008, 1012, 1014, 1019, 1020,
+ 1031, 1032, 1036, 1037, 1038, 1039, 1040, 1041, 1045, 1046,
+ 1047, 1048, 1049, 1050, 1060, 1061, 1062, 1063, 1064, 1071,
+ 1072, 1073, 1084, 1085, 1086, 1092, 1093, 1097, 1098, 1099,
+ 1100, 1101, 1102, 1103, 1104, 1108, 1109, 1113, 1115, 1117,
+ 1119, 1121, 1124, 1126, 1128, 1130, 1132, 1134, 1142, 1144,
+ 1146, 1149, 1152, 1155, 1161, 1162, 1166, 1167, 1171, 1172,
+ 1173, 1177, 1178, 1182, 1183, 1187, 1188, 1192, 1196, 1197,
+ 1201, 1202, 1206, 1210, 1217, 1219, 1220, 1224, 1225, 1230,
+ 1232, 1237, 1238, 1239, 1243, 1244, 1248, 1249, 1253, 1254,
+ 1258, 1259, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1273,
+ 1274, 1278, 1281, 1283, 1287, 1292, 1293, 1297, 1298, 1302,
+ 1304, 1306, 1308, 1309, 1311, 1313, 1315, 1318, 1320, 1325,
+ 1326, 1330, 1331, 1332, 1333, 1337, 1338, 1339, 1340, 1341,
+ 1342, 1347, 1353, 1364, 1365, 1366, 1367, 1371, 1373, 1378,
+ 1378, 1386, 1387, 1391, 1392, 1396, 1397, 1401, 1402, 1403,
+ 1404, 1405, 1406, 1407
};
#endif
{ yyval.term = makeSizeofTermNode (yyvsp[-3].ltok, yyvsp[-1].lcltypespec); ;
break;}
case 393:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_int); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortInt); ;
break;}
case 394:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_cstring); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortCstring); ;
break;}
case 395:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_char); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortChar); ;
break;}
case 396:
-{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, sort_double); ;
+{ yyval.term = makeLiteralTermNode (yyvsp[0].ltok, g_sortDouble); ;
break;}
case 397:
{ yyval.quantifiers = quantifierNodeList_add (quantifierNodeList_new (), yyvsp[0].quantifier); ;
/*drl added 11/27/2001*/
/*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/