Diff of /pyke/krb_compiler/compiler_bc.py [473574] .. [ff7730]  Maximize  Restore

  Switch to unified view

a/pyke/krb_compiler/compiler_bc.py b/pyke/krb_compiler/compiler_bc.py
...
...
2
2
3
from __future__ import with_statement
3
from __future__ import with_statement
4
import itertools
4
import itertools
5
from pyke import contexts, pattern, bc_rule
5
from pyke import contexts, pattern, bc_rule
6
6
7
version = '1.0.3'
7
pyke_version = '1.0.3'
8
compiler_version = 1
8
9
9
def file(rule, arg_patterns, arg_context):
10
def file(rule, arg_patterns, arg_context):
10
  engine = rule.rule_base.engine
11
  engine = rule.rule_base.engine
11
  patterns = rule.goal_arg_patterns()
12
  patterns = rule.goal_arg_patterns()
12
  if len(arg_patterns) == len(patterns):
13
  if len(arg_patterns) == len(patterns):
...
...
3024
3025
3025
from pyke.krb_compiler import helpers
3026
from pyke.krb_compiler import helpers
3026
3027
3027
Krb_filename = '../compiler.krb'
3028
Krb_filename = '../compiler.krb'
3028
Krb_lineno_map = (
3029
Krb_lineno_map = (
3029
    ((15, 19), (24, 28)),
3030
    ((16, 20), (24, 28)),
3030
    ((23, 23), (30, 30)),
3031
    ((24, 24), (30, 30)),
3031
    ((27, 27), (31, 31)),
3032
    ((28, 28), (31, 31)),
3033
    ((32, 32), (32, 32)),
3032
    ((31, 31), (32, 32)),
3034
    ((35, 43), (33, 33)),
3033
    ((34, 42), (33, 33)),
3034
    ((44, 52), (34, 34)),
3035
    ((45, 53), (34, 34)),
3035
    ((54, 64), (35, 36)),
3036
    ((55, 65), (35, 36)),
3036
    ((67, 79), (37, 49)),
3037
    ((68, 80), (37, 49)),
3037
    ((83, 88), (50, 55)),
3038
    ((84, 89), (50, 55)),
3038
    ((92, 107), (56, 71)),
3039
    ((93, 108), (56, 71)),
3039
    ((139, 143), (74, 74)),
3040
    ((140, 144), (74, 74)),
3040
    ((147, 147), (76, 76)),
3041
    ((148, 148), (76, 76)),
3041
    ((163, 167), (79, 79)),
3042
    ((164, 168), (79, 79)),
3042
    ((171, 173), (81, 83)),
3043
    ((172, 174), (81, 83)),
3043
    ((189, 193), (86, 86)),
3044
    ((190, 194), (86, 86)),
3044
    ((195, 196), (88, 90)),
3045
    ((196, 197), (88, 90)),
3045
    ((199, 199), (92, 92)),
3046
    ((200, 200), (92, 92)),
3046
    ((205, 213), (94, 94)),
3047
    ((206, 214), (94, 94)),
3047
    ((214, 215), (95, 97)),
3048
    ((215, 216), (95, 97)),
3048
    ((228, 228), (98, 98)),
3049
    ((229, 229), (98, 98)),
3049
    ((232, 232), (99, 99)),
3050
    ((233, 233), (99, 99)),
3050
    ((250, 254), (102, 103)),
3051
    ((251, 255), (102, 103)),
3051
    ((257, 275), (105, 107)),
3052
    ((258, 276), (105, 107)),
3052
    ((277, 286), (108, 109)),
3053
    ((278, 287), (108, 109)),
3053
    ((289, 306), (110, 127)),
3054
    ((290, 307), (110, 127)),
3054
    ((310, 317), (128, 135)),
3055
    ((311, 318), (128, 135)),
3055
    ((339, 343), (138, 139)),
3056
    ((340, 344), (138, 139)),
3056
    ((357, 361), (142, 146)),
3057
    ((358, 362), (142, 146)),
3057
    ((364, 382), (148, 152)),
3058
    ((365, 383), (148, 152)),
3058
    ((384, 402), (153, 157)),
3059
    ((385, 403), (153, 157)),
3059
    ((405, 405), (158, 158)),
3060
    ((406, 406), (158, 158)),
3060
    ((425, 429), (161, 167)),
3061
    ((426, 430), (161, 167)),
3061
    ((431, 442), (169, 170)),
3062
    ((432, 443), (169, 170)),
3062
    ((445, 448), (171, 174)),
3063
    ((446, 449), (171, 174)),
3063
    ((452, 452), (175, 175)),
3064
    ((453, 453), (175, 175)),
3064
    ((456, 456), (176, 176)),
3065
    ((457, 457), (176, 176)),
3065
    ((460, 465), (177, 182)),
3066
    ((461, 466), (177, 182)),
3066
    ((487, 491), (185, 186)),
3067
    ((488, 492), (185, 186)),
3067
    ((495, 510), (188, 203)),
3068
    ((496, 511), (188, 203)),
3068
    ((526, 530), (207, 208)),
3069
    ((527, 531), (207, 208)),
3069
    ((534, 544), (210, 220)),
3070
    ((535, 545), (210, 220)),
3070
    ((560, 564), (223, 227)),
3071
    ((561, 565), (223, 227)),
3071
    ((568, 568), (229, 229)),
3072
    ((569, 569), (229, 229)),
3072
    ((571, 589), (230, 234)),
3073
    ((572, 590), (230, 234)),
3073
    ((592, 592), (235, 235)),
3074
    ((593, 593), (235, 235)),
3074
    ((596, 596), (236, 236)),
3075
    ((597, 597), (236, 236)),
3075
    ((618, 622), (239, 242)),
3076
    ((619, 623), (239, 242)),
3076
    ((625, 643), (244, 248)),
3077
    ((626, 644), (244, 248)),
3077
    ((646, 646), (249, 249)),
3078
    ((647, 647), (249, 249)),
3078
    ((664, 668), (252, 256)),
3079
    ((665, 669), (252, 256)),
3079
    ((672, 672), (258, 258)),
3080
    ((673, 673), (258, 258)),
3080
    ((676, 676), (259, 259)),
3081
    ((677, 677), (259, 259)),
3081
    ((679, 697), (260, 264)),
3082
    ((680, 698), (260, 264)),
3082
    ((699, 717), (265, 269)),
3083
    ((700, 718), (265, 269)),
3083
    ((720, 730), (270, 280)),
3084
    ((721, 731), (270, 280)),
3084
    ((734, 734), (281, 281)),
3085
    ((735, 735), (281, 281)),
3085
    ((760, 764), (284, 288)),
3086
    ((761, 765), (284, 288)),
3086
    ((768, 768), (290, 290)),
3087
    ((769, 769), (290, 290)),
3087
    ((772, 772), (291, 291)),
3088
    ((773, 773), (291, 291)),
3088
    ((775, 793), (292, 296)),
3089
    ((776, 794), (292, 296)),
3089
    ((796, 801), (297, 302)),
3090
    ((797, 802), (297, 302)),
3090
    ((823, 827), (305, 308)),
3091
    ((824, 828), (305, 308)),
3091
    ((831, 831), (310, 310)),
3092
    ((832, 832), (310, 310)),
3092
    ((833, 844), (311, 313)),
3093
    ((834, 845), (311, 313)),
3093
    ((859, 863), (316, 316)),
3094
    ((860, 864), (316, 316)),
3094
    ((877, 881), (319, 320)),
3095
    ((878, 882), (319, 320)),
3095
    ((884, 893), (322, 322)),
3096
    ((885, 894), (322, 322)),
3096
    ((895, 904), (323, 323)),
3097
    ((896, 905), (323, 323)),
3097
    ((921, 925), (326, 328)),
3098
    ((922, 926), (326, 328)),
3098
    ((929, 930), (330, 331)),
3099
    ((930, 931), (330, 331)),
3099
    ((934, 943), (332, 341)),
3100
    ((935, 944), (332, 341)),
3100
    ((961, 965), (344, 349)),
3101
    ((962, 966), (344, 349)),
3101
    ((979, 983), (352, 352)),
3102
    ((980, 984), (352, 352)),
3102
    ((985, 987), (354, 357)),
3103
    ((986, 988), (354, 357)),
3103
    ((990, 990), (359, 359)),
3104
    ((991, 991), (359, 359)),
3104
    ((996, 1006), (361, 361)),
3105
    ((997, 1007), (361, 361)),
3105
    ((1007, 1009), (362, 365)),
3106
    ((1008, 1010), (362, 365)),
3106
    ((1022, 1022), (366, 366)),
3107
    ((1023, 1023), (366, 366)),
3107
    ((1026, 1026), (367, 367)),
3108
    ((1027, 1027), (367, 367)),
3108
    ((1030, 1030), (368, 368)),
3109
    ((1031, 1031), (368, 368)),
3109
    ((1050, 1054), (371, 373)),
3110
    ((1051, 1055), (371, 373)),
3110
    ((1057, 1070), (375, 377)),
3111
    ((1058, 1071), (375, 377)),
3111
    ((1073, 1075), (378, 380)),
3112
    ((1074, 1076), (378, 380)),
3112
    ((1079, 1086), (381, 388)),
3113
    ((1080, 1087), (381, 388)),
3113
    ((1090, 1093), (389, 392)),
3114
    ((1091, 1094), (389, 392)),
3114
    ((1115, 1119), (395, 397)),
3115
    ((1116, 1120), (395, 397)),
3115
    ((1122, 1141), (399, 402)),
3116
    ((1123, 1142), (399, 402)),
3116
    ((1144, 1144), (403, 403)),
3117
    ((1145, 1145), (403, 403)),
3117
    ((1148, 1151), (404, 407)),
3118
    ((1149, 1152), (404, 407)),
3118
    ((1155, 1160), (408, 413)),
3119
    ((1156, 1161), (408, 413)),
3119
    ((1182, 1186), (416, 418)),
3120
    ((1183, 1187), (416, 418)),
3120
    ((1200, 1204), (421, 425)),
3121
    ((1201, 1205), (421, 425)),
3121
    ((1207, 1226), (427, 431)),
3122
    ((1208, 1227), (427, 431)),
3122
    ((1228, 1247), (432, 436)),
3123
    ((1229, 1248), (432, 436)),
3123
    ((1250, 1250), (437, 437)),
3124
    ((1251, 1251), (437, 437)),
3124
    ((1254, 1254), (438, 438)),
3125
    ((1255, 1255), (438, 438)),
3125
    ((1258, 1258), (439, 439)),
3126
    ((1259, 1259), (439, 439)),
3126
    ((1282, 1286), (442, 448)),
3127
    ((1283, 1287), (442, 448)),
3127
    ((1290, 1290), (450, 450)),
3128
    ((1291, 1291), (450, 450)),
3128
    ((1294, 1294), (451, 451)),
3129
    ((1295, 1295), (451, 451)),
3129
    ((1298, 1299), (452, 453)),
3130
    ((1299, 1300), (452, 453)),
3130
    ((1303, 1315), (454, 466)),
3131
    ((1304, 1316), (454, 466)),
3131
    ((1318, 1331), (467, 468)),
3132
    ((1319, 1332), (467, 468)),
3132
    ((1333, 1349), (469, 472)),
3133
    ((1334, 1350), (469, 472)),
3133
    ((1352, 1353), (473, 474)),
3134
    ((1353, 1354), (473, 474)),
3134
    ((1357, 1357), (475, 475)),
3135
    ((1358, 1358), (475, 475)),
3135
    ((1361, 1364), (476, 479)),
3136
    ((1362, 1365), (476, 479)),
3136
    ((1396, 1400), (482, 486)),
3137
    ((1397, 1401), (482, 486)),
3137
    ((1404, 1404), (488, 488)),
3138
    ((1405, 1405), (488, 488)),
3138
    ((1407, 1426), (489, 493)),
3139
    ((1408, 1427), (489, 493)),
3139
    ((1428, 1441), (494, 495)),
3140
    ((1429, 1442), (494, 495)),
3140
    ((1444, 1444), (496, 496)),
3141
    ((1445, 1445), (496, 496)),
3141
    ((1448, 1448), (497, 497)),
3142
    ((1449, 1449), (497, 497)),
3142
    ((1472, 1476), (500, 504)),
3143
    ((1473, 1477), (500, 504)),
3143
    ((1479, 1498), (506, 510)),
3144
    ((1480, 1499), (506, 510)),
3144
    ((1501, 1501), (511, 511)),
3145
    ((1502, 1502), (511, 511)),
3145
    ((1519, 1523), (514, 518)),
3146
    ((1520, 1524), (514, 518)),
3146
    ((1527, 1527), (520, 520)),
3147
    ((1528, 1528), (520, 520)),
3147
    ((1531, 1531), (521, 521)),
3148
    ((1532, 1532), (521, 521)),
3148
    ((1534, 1553), (522, 526)),
3149
    ((1535, 1554), (522, 526)),
3149
    ((1555, 1574), (527, 531)),
3150
    ((1556, 1575), (527, 531)),
3150
    ((1577, 1585), (532, 542)),
3151
    ((1578, 1586), (532, 542)),
3151
    ((1609, 1613), (545, 549)),
3152
    ((1610, 1614), (545, 549)),
3152
    ((1617, 1617), (552, 552)),
3153
    ((1618, 1618), (552, 552)),
3153
    ((1621, 1621), (553, 553)),
3154
    ((1622, 1622), (553, 553)),
3154
    ((1624, 1643), (554, 558)),
3155
    ((1625, 1644), (554, 558)),
3155
    ((1646, 1651), (559, 564)),
3156
    ((1647, 1652), (559, 564)),
3156
    ((1673, 1677), (567, 569)),
3157
    ((1674, 1678), (567, 569)),
3157
    ((1681, 1688), (571, 578)),
3158
    ((1682, 1689), (571, 578)),
3158
    ((1704, 1708), (581, 585)),
3159
    ((1705, 1709), (581, 585)),
3159
    ((1712, 1714), (587, 589)),
3160
    ((1713, 1715), (587, 589)),
3160
    ((1717, 1729), (590, 591)),
3161
    ((1718, 1730), (590, 591)),
3161
    ((1746, 1750), (594, 599)),
3162
    ((1747, 1751), (594, 599)),
3162
    ((1754, 1756), (601, 603)),
3163
    ((1755, 1757), (601, 603)),
3163
    ((1759, 1771), (604, 605)),
3164
    ((1760, 1772), (604, 605)),
3164
    ((1788, 1792), (608, 610)),
3165
    ((1789, 1793), (608, 610)),
3165
    ((1796, 1797), (612, 613)),
3166
    ((1797, 1798), (612, 613)),
3166
    ((1813, 1817), (616, 617)),
3167
    ((1814, 1818), (616, 617)),
3167
    ((1821, 1841), (619, 639)),
3168
    ((1822, 1842), (619, 639)),
3168
    ((1845, 1845), (640, 640)),
3169
    ((1846, 1846), (640, 640)),
3169
    ((1863, 1867), (643, 644)),
3170
    ((1864, 1868), (643, 644)),
3170
    ((1881, 1885), (647, 648)),
3171
    ((1882, 1886), (647, 648)),
3171
    ((1889, 1892), (650, 653)),
3172
    ((1890, 1893), (650, 653)),
3172
    ((1896, 1902), (654, 660)),
3173
    ((1897, 1903), (654, 660)),
3173
    ((1920, 1924), (663, 667)),
3174
    ((1921, 1925), (663, 667)),
3174
    ((1928, 1928), (669, 669)),
3175
    ((1929, 1929), (669, 669)),
3175
    ((1930, 1941), (670, 672)),
3176
    ((1931, 1942), (670, 672)),
3176
    ((1956, 1960), (675, 679)),
3177
    ((1957, 1961), (675, 679)),
3177
    ((1964, 1965), (681, 682)),
3178
    ((1965, 1966), (681, 682)),
3178
    ((1969, 1969), (683, 683)),
3179
    ((1970, 1970), (683, 683)),
3179
    ((1973, 1983), (684, 694)),
3180
    ((1974, 1984), (684, 694)),
3180
    ((1987, 1989), (695, 697)),
3181
    ((1988, 1990), (695, 697)),
3181
    ((2011, 2015), (700, 704)),
3182
    ((2012, 2016), (700, 704)),
3182
    ((2019, 2020), (706, 707)),
3183
    ((2020, 2021), (706, 707)),
3183
    ((2024, 2024), (708, 708)),
3184
    ((2025, 2025), (708, 708)),
3184
    ((2028, 2040), (709, 721)),
3185
    ((2029, 2041), (709, 721)),
3185
    ((2044, 2053), (722, 731)),
3186
    ((2045, 2054), (722, 731)),
3186
    ((2075, 2079), (734, 739)),
3187
    ((2076, 2080), (734, 739)),
3187
    ((2083, 2083), (741, 741)),
3188
    ((2084, 2084), (741, 741)),
3188
    ((2087, 2094), (742, 749)),
3189
    ((2088, 2095), (742, 749)),
3189
    ((2112, 2116), (752, 760)),
3190
    ((2113, 2117), (752, 760)),
3190
)
3191
)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks