How to use push_scope method in Slash

Best Python code snippet using slash

rlmeta.py

Source:rlmeta.py Github

copy

Full Screen

1SUPPORT = 'class VM:\n\n def __init__(self, code, rules):\n self.code = code\n self.rules = rules\n\n def run(self, start_rule, stream):\n self.action = SemanticAction(None)\n self.pc = self.rules[start_rule]\n self.call_backtrack_stack = []\n self.stream, self.stream_rest = (stream, None)\n self.pos, self.pos_rest = (0, tuple())\n self.scope, self.scope_rest = (None, None)\n self.latest_fail_message, self.latest_fail_pos = (None, tuple())\n self.memo = {}\n while True:\n result = self.pop_arg()(self)\n if result:\n return result\n\n def pop_arg(self):\n code = self.code[self.pc]\n self.pc += 1\n return code\n\ndef PUSH_SCOPE(vm):\n vm.scope_rest = (vm.scope, vm.scope_rest)\n vm.scope = {}\n\ndef POP_SCOPE(vm):\n vm.scope, vm.scope_rest = vm.scope_rest\n\ndef BACKTRACK(vm):\n vm.call_backtrack_stack.append((\n vm.pop_arg(), vm.stream, vm.stream_rest, vm.pos, vm.pos_rest, vm.scope, vm.scope_rest\n ))\n\ndef COMMIT(vm):\n vm.call_backtrack_stack.pop()\n vm.pc = vm.pop_arg()\n\ndef CALL(vm):\n CALL_(vm, vm.pop_arg())\n\ndef CALL_(vm, pc):\n key = (pc, vm.pos_rest+(vm.pos,))\n if key in vm.memo:\n if vm.memo[key][0] is None:\n FAIL_(vm, vm.memo[key][1])\n else:\n vm.action, vm.stream, vm.stream_rest, vm.pos, vm.pos_rest = vm.memo[key]\n else:\n vm.call_backtrack_stack.append((vm.pc, key))\n vm.pc = pc\n\ndef RETURN(vm):\n if not vm.call_backtrack_stack:\n return vm.action\n vm.pc, key = vm.call_backtrack_stack.pop()\n vm.memo[key] = (vm.action, vm.stream, vm.stream_rest, vm.pos, vm.pos_rest)\n\ndef MATCH(vm):\n object_description = vm.pop_arg()\n fn = vm.pop_arg()\n MATCH_(vm, fn, ("expected {}", object_description))\n\ndef MATCH_(vm, fn, message):\n if vm.pos >= len(vm.stream) or not fn(vm.stream[vm.pos]):\n FAIL_(vm, message)\n else:\n vm.action = SemanticAction(vm.stream[vm.pos])\n vm.pos += 1\n return True\n\ndef MATCH_CALL_RULE(vm):\n if MATCH_(vm, lambda x: x in vm.rules, ("expected rule name",)):\n CALL_(vm, vm.rules[vm.action.value])\n\ndef LIST_START(vm):\n vm.scope_rest = (vm.scope, vm.scope_rest)\n vm.scope = []\n\ndef LIST_APPEND(vm):\n vm.scope.append(vm.action)\n\ndef LIST_END(vm):\n vm.action = SemanticAction(vm.scope, lambda self: [x.eval(self.runtime) for x in self.value])\n vm.scope, vm.scope_rest = vm.scope_rest\n\ndef BIND(vm):\n vm.scope[vm.pop_arg()] = vm.action\n\ndef ACTION(vm):\n vm.action = SemanticAction(vm.scope, vm.pop_arg())\n\ndef PUSH_STREAM(vm):\n if vm.pos >= len(vm.stream) or not isinstance(vm.stream[vm.pos], list):\n FAIL_(vm, ("expected list",))\n else:\n vm.stream_rest = (vm.stream, vm.stream_rest)\n vm.pos_rest = vm.pos_rest + (vm.pos,)\n vm.stream = vm.stream[vm.pos]\n vm.pos = 0\n\ndef POP_STREAM(vm):\n if vm.pos < len(vm.stream):\n FAIL_(vm, ("expected end of list",))\n else:\n vm.stream, vm.stream_rest = vm.stream_rest\n vm.pos, vm.pos_rest = vm.pos_rest[-1], vm.pos_rest[:-1]\n vm.pos += 1\n\ndef FAIL(vm):\n FAIL_(vm, (vm.pop_arg(),))\n\ndef FAIL_(vm, fail_message):\n fail_pos = vm.pos_rest+(vm.pos,)\n if fail_pos >= vm.latest_fail_pos:\n vm.latest_fail_message = fail_message\n vm.latest_fail_pos = fail_pos\n call_backtrack_entry = tuple()\n while vm.call_backtrack_stack:\n call_backtrack_entry = vm.call_backtrack_stack.pop()\n if len(call_backtrack_entry) == 7:\n break\n else:\n vm.memo[call_backtrack_entry[1]] = (None, fail_message)\n if len(call_backtrack_entry) != 7:\n raise MatchError(\n vm.latest_fail_message[0].format(*vm.latest_fail_message[1:]),\n vm.latest_fail_pos[-1],\n vm.stream\n )\n (vm.pc, vm.stream, vm.stream_rest, vm.pos, vm.pos_rest, vm.scope, vm.scope_rest) = call_backtrack_entry\n\nclass SemanticAction(object):\n\n def __init__(self, value, fn=lambda self: self.value):\n self.value = value\n self.fn = fn\n\n def eval(self, runtime):\n self.runtime = runtime\n return self.fn(self)\n\n def bind(self, name, value, continuation):\n self.runtime = self.runtime.set(name, value)\n return continuation()\n\n def lookup(self, name):\n if name in self.value:\n return self.value[name].eval(self.runtime)\n else:\n return self.runtime[name]\n\nclass MatchError(Exception):\n\n def __init__(self, message, pos, stream):\n Exception.__init__(self)\n self.message = message\n self.pos = pos\n self.stream = stream\n\nclass Grammar(object):\n\n def run(self, rule, stream, runtime={}):\n return Runtime(self, dict(runtime, **{\n "label": Counter(),\n "indentprefix": " ",\n "list": list,\n "dict": dict,\n "add": lambda x, y: x.append(y),\n "get": lambda x, y: x[y],\n "set": lambda x, y, z: x.__setitem__(y, z),\n "len": len,\n "repr": repr,\n "join": join,\n })).run(rule, stream)\n\nclass Runtime(dict):\n\n def __init__(self, grammar, values):\n dict.__init__(self, dict(values, run=self.run))\n self.grammar = grammar\n\n def set(self, key, value):\n return Runtime(self.grammar, dict(self, **{key: value}))\n\n def run(self, rule, stream):\n return VM(self.grammar.code, self.grammar.rules).run(rule, stream).eval(self)\n\nclass Counter(object):\n\n def __init__(self):\n self.value = 0\n\n def __call__(self):\n result = self.value\n self.value += 1\n return result\n\ndef splice(depth, item):\n if depth == 0:\n return [item]\n else:\n return concat([splice(depth-1, subitem) for subitem in item])\n\ndef concat(lists):\n return [x for xs in lists for x in xs]\n\ndef join(items, delimiter=""):\n return delimiter.join(\n join(item, delimiter) if isinstance(item, list) else str(item)\n for item in items\n )\n\ndef indent(text, prefix=" "):\n return "".join(prefix+line for line in text.splitlines(True))\n\ndef compile_chain(grammars, source):\n import os\n import sys\n import pprint\n for grammar, rule in grammars:\n try:\n source = grammar().run(rule, source)\n except MatchError as e:\n marker = "<ERROR POSITION>"\n if os.isatty(sys.stderr.fileno()):\n marker = f"\\033[0;31m{marker}\\033[0m"\n if isinstance(e.stream, str):\n stream_string = e.stream[:e.pos] + marker + e.stream[e.pos:]\n else:\n stream_string = pprint.pformat(e.stream)\n sys.exit("ERROR: {}\\nPOSITION: {}\\nSTREAM:\\n{}".format(\n e.message,\n e.pos,\n indent(stream_string)\n ))\n return source\n'2class VM:3 def __init__(self, code, rules):4 self.code = code5 self.rules = rules6 def run(self, start_rule, stream):7 self.action = SemanticAction(None)8 self.pc = self.rules[start_rule]9 self.call_backtrack_stack = []10 self.stream, self.stream_rest = (stream, None)11 self.pos, self.pos_rest = (0, tuple())12 self.scope, self.scope_rest = (None, None)13 self.latest_fail_message, self.latest_fail_pos = (None, tuple())14 self.memo = {}15 while True:16 result = self.pop_arg()(self)17 if result:18 return result19 def pop_arg(self):20 code = self.code[self.pc]21 self.pc += 122 return code23def PUSH_SCOPE(vm):24 vm.scope_rest = (vm.scope, vm.scope_rest)25 vm.scope = {}26def POP_SCOPE(vm):27 vm.scope, vm.scope_rest = vm.scope_rest28def BACKTRACK(vm):29 vm.call_backtrack_stack.append((30 vm.pop_arg(), vm.stream, vm.stream_rest, vm.pos, vm.pos_rest, vm.scope, vm.scope_rest31 ))32def COMMIT(vm):33 vm.call_backtrack_stack.pop()34 vm.pc = vm.pop_arg()35def CALL(vm):36 CALL_(vm, vm.pop_arg())37def CALL_(vm, pc):38 key = (pc, vm.pos_rest+(vm.pos,))39 if key in vm.memo:40 if vm.memo[key][0] is None:41 FAIL_(vm, vm.memo[key][1])42 else:43 vm.action, vm.stream, vm.stream_rest, vm.pos, vm.pos_rest = vm.memo[key]44 else:45 vm.call_backtrack_stack.append((vm.pc, key))46 vm.pc = pc47def RETURN(vm):48 if not vm.call_backtrack_stack:49 return vm.action50 vm.pc, key = vm.call_backtrack_stack.pop()51 vm.memo[key] = (vm.action, vm.stream, vm.stream_rest, vm.pos, vm.pos_rest)52def MATCH(vm):53 object_description = vm.pop_arg()54 fn = vm.pop_arg()55 MATCH_(vm, fn, ("expected {}", object_description))56def MATCH_(vm, fn, message):57 if vm.pos >= len(vm.stream) or not fn(vm.stream[vm.pos]):58 FAIL_(vm, message)59 else:60 vm.action = SemanticAction(vm.stream[vm.pos])61 vm.pos += 162 return True63def MATCH_CALL_RULE(vm):64 if MATCH_(vm, lambda x: x in vm.rules, ("expected rule name",)):65 CALL_(vm, vm.rules[vm.action.value])66def LIST_START(vm):67 vm.scope_rest = (vm.scope, vm.scope_rest)68 vm.scope = []69def LIST_APPEND(vm):70 vm.scope.append(vm.action)71def LIST_END(vm):72 vm.action = SemanticAction(vm.scope, lambda self: [x.eval(self.runtime) for x in self.value])73 vm.scope, vm.scope_rest = vm.scope_rest74def BIND(vm):75 vm.scope[vm.pop_arg()] = vm.action76def ACTION(vm):77 vm.action = SemanticAction(vm.scope, vm.pop_arg())78def PUSH_STREAM(vm):79 if vm.pos >= len(vm.stream) or not isinstance(vm.stream[vm.pos], list):80 FAIL_(vm, ("expected list",))81 else:82 vm.stream_rest = (vm.stream, vm.stream_rest)83 vm.pos_rest = vm.pos_rest + (vm.pos,)84 vm.stream = vm.stream[vm.pos]85 vm.pos = 086def POP_STREAM(vm):87 if vm.pos < len(vm.stream):88 FAIL_(vm, ("expected end of list",))89 else:90 vm.stream, vm.stream_rest = vm.stream_rest91 vm.pos, vm.pos_rest = vm.pos_rest[-1], vm.pos_rest[:-1]92 vm.pos += 193def FAIL(vm):94 FAIL_(vm, (vm.pop_arg(),))95def FAIL_(vm, fail_message):96 fail_pos = vm.pos_rest+(vm.pos,)97 if fail_pos >= vm.latest_fail_pos:98 vm.latest_fail_message = fail_message99 vm.latest_fail_pos = fail_pos100 call_backtrack_entry = tuple()101 while vm.call_backtrack_stack:102 call_backtrack_entry = vm.call_backtrack_stack.pop()103 if len(call_backtrack_entry) == 7:104 break105 else:106 vm.memo[call_backtrack_entry[1]] = (None, fail_message)107 if len(call_backtrack_entry) != 7:108 raise MatchError(109 vm.latest_fail_message[0].format(*vm.latest_fail_message[1:]),110 vm.latest_fail_pos[-1],111 vm.stream112 )113 (vm.pc, vm.stream, vm.stream_rest, vm.pos, vm.pos_rest, vm.scope, vm.scope_rest) = call_backtrack_entry114class SemanticAction(object):115 def __init__(self, value, fn=lambda self: self.value):116 self.value = value117 self.fn = fn118 def eval(self, runtime):119 self.runtime = runtime120 return self.fn(self)121 def bind(self, name, value, continuation):122 self.runtime = self.runtime.set(name, value)123 return continuation()124 def lookup(self, name):125 if name in self.value:126 return self.value[name].eval(self.runtime)127 else:128 return self.runtime[name]129class MatchError(Exception):130 def __init__(self, message, pos, stream):131 Exception.__init__(self)132 self.message = message133 self.pos = pos134 self.stream = stream135class Grammar(object):136 def run(self, rule, stream, runtime={}):137 return Runtime(self, dict(runtime, **{138 "label": Counter(),139 "indentprefix": " ",140 "list": list,141 "dict": dict,142 "add": lambda x, y: x.append(y),143 "get": lambda x, y: x[y],144 "set": lambda x, y, z: x.__setitem__(y, z),145 "len": len,146 "repr": repr,147 "join": join,148 })).run(rule, stream)149class Runtime(dict):150 def __init__(self, grammar, values):151 dict.__init__(self, dict(values, run=self.run))152 self.grammar = grammar153 def set(self, key, value):154 return Runtime(self.grammar, dict(self, **{key: value}))155 def run(self, rule, stream):156 return VM(self.grammar.code, self.grammar.rules).run(rule, stream).eval(self)157class Counter(object):158 def __init__(self):159 self.value = 0160 def __call__(self):161 result = self.value162 self.value += 1163 return result164def splice(depth, item):165 if depth == 0:166 return [item]167 else:168 return concat([splice(depth-1, subitem) for subitem in item])169def concat(lists):170 return [x for xs in lists for x in xs]171def join(items, delimiter=""):172 return delimiter.join(173 join(item, delimiter) if isinstance(item, list) else str(item)174 for item in items175 )176def indent(text, prefix=" "):177 return "".join(prefix+line for line in text.splitlines(True))178def compile_chain(grammars, source):179 import os180 import sys181 import pprint182 for grammar, rule in grammars:183 try:184 source = grammar().run(rule, source)185 except MatchError as e:186 marker = "<ERROR POSITION>"187 if os.isatty(sys.stderr.fileno()):188 marker = f"\033[0;31m{marker}\033[0m"189 if isinstance(e.stream, str):190 stream_string = e.stream[:e.pos] + marker + e.stream[e.pos:]191 else:192 stream_string = pprint.pformat(e.stream)193 sys.exit("ERROR: {}\nPOSITION: {}\nSTREAM:\n{}".format(194 e.message,195 e.pos,196 indent(stream_string)197 ))198 return source199class Parser(Grammar):200 rules = {201 'file': 0,202 'grammar': 31,203 'rule': 61,204 'choice': 79,205 'sequence': 117,206 'expr': 137,207 'expr1': 163,208 'expr2': 232,209 'matchChar': 377,210 'maybeAction': 386,211 'actionExpr': 403,212 'hostExpr': 463,213 'hostListItem': 575,214 'formatExpr': 598,215 'var': 632,216 'string': 654,217 'char': 687,218 'innerChar': 711,219 'escape': 728,220 'name': 769,221 'nameStart': 791,222 'nameChar': 806,223 'space': 830224 }225 code = [226 PUSH_SCOPE,227 LIST_START,228 BACKTRACK,229 13,230 PUSH_SCOPE,231 CALL,232 830,233 CALL,234 31,235 POP_SCOPE,236 LIST_APPEND,237 COMMIT,238 2,239 LIST_END,240 BIND,241 'xs',242 CALL,243 830,244 BACKTRACK,245 27,246 MATCH,247 'any',248 lambda x: True,249 COMMIT,250 25,251 FAIL,252 'no match',253 ACTION,254 lambda self: self.lookup('xs'),255 POP_SCOPE,256 RETURN,257 PUSH_SCOPE,258 CALL,259 769,260 BIND,261 'x',262 CALL,263 830,264 MATCH,265 '{',266 lambda x: x == '{',267 LIST_START,268 BACKTRACK,269 49,270 CALL,271 61,272 LIST_APPEND,273 COMMIT,274 42,275 LIST_END,276 BIND,277 'ys',278 CALL,279 830,280 MATCH,281 '}',282 lambda x: x == '}',283 ACTION,284 lambda self: concat([splice(0, 'Grammar'), splice(0, self.lookup('x')), splice(1, self.lookup('ys'))]),285 POP_SCOPE,286 RETURN,287 PUSH_SCOPE,288 CALL,289 769,290 BIND,291 'x',292 CALL,293 830,294 MATCH,295 '=',296 lambda x: x == '=',297 CALL,298 79,299 BIND,300 'y',301 ACTION,302 lambda self: concat([splice(0, 'Rule'), splice(0, self.lookup('x')), splice(0, self.lookup('y'))]),303 POP_SCOPE,304 RETURN,305 PUSH_SCOPE,306 BACKTRACK,307 91,308 PUSH_SCOPE,309 CALL,310 830,311 MATCH,312 '|',313 lambda x: x == '|',314 POP_SCOPE,315 COMMIT,316 91,317 CALL,318 117,319 BIND,320 'x',321 LIST_START,322 BACKTRACK,323 110,324 PUSH_SCOPE,325 CALL,326 830,327 MATCH,328 '|',329 lambda x: x == '|',330 CALL,331 117,332 POP_SCOPE,333 LIST_APPEND,334 COMMIT,335 96,336 LIST_END,337 BIND,338 'xs',339 ACTION,340 lambda self: concat([splice(0, 'Or'), splice(0, self.lookup('x')), splice(1, self.lookup('xs'))]),341 POP_SCOPE,342 RETURN,343 PUSH_SCOPE,344 LIST_START,345 BACKTRACK,346 126,347 CALL,348 137,349 LIST_APPEND,350 COMMIT,351 119,352 LIST_END,353 BIND,354 'xs',355 CALL,356 386,357 BIND,358 'ys',359 ACTION,360 lambda self: concat([splice(0, 'Scope'), splice(0, concat([splice(0, 'And'), splice(1, self.lookup('xs')), splice(1, self.lookup('ys'))]))]),361 POP_SCOPE,362 RETURN,363 BACKTRACK,364 158,365 PUSH_SCOPE,366 CALL,367 163,368 BIND,369 'x',370 CALL,371 830,372 MATCH,373 ':',374 lambda x: x == ':',375 CALL,376 769,377 BIND,378 'y',379 ACTION,380 lambda self: concat([splice(0, 'Bind'), splice(0, self.lookup('y')), splice(0, self.lookup('x'))]),381 POP_SCOPE,382 COMMIT,383 162,384 PUSH_SCOPE,385 CALL,386 163,387 POP_SCOPE,388 RETURN,389 BACKTRACK,390 180,391 PUSH_SCOPE,392 CALL,393 232,394 BIND,395 'x',396 CALL,397 830,398 MATCH,399 '*',400 lambda x: x == '*',401 ACTION,402 lambda self: concat([splice(0, 'Star'), splice(0, self.lookup('x'))]),403 POP_SCOPE,404 COMMIT,405 231,406 BACKTRACK,407 197,408 PUSH_SCOPE,409 CALL,410 232,411 BIND,412 'x',413 CALL,414 830,415 MATCH,416 '?',417 lambda x: x == '?',418 ACTION,419 lambda self: concat([splice(0, 'Or'), splice(0, self.lookup('x')), splice(0, concat([splice(0, 'And')]))]),420 POP_SCOPE,421 COMMIT,422 231,423 BACKTRACK,424 214,425 PUSH_SCOPE,426 CALL,427 830,428 MATCH,429 '!',430 lambda x: x == '!',431 CALL,432 232,433 BIND,434 'x',435 ACTION,436 lambda self: concat([splice(0, 'Not'), splice(0, self.lookup('x'))]),437 POP_SCOPE,438 COMMIT,439 231,440 BACKTRACK,441 227,442 PUSH_SCOPE,443 CALL,444 830,445 MATCH,446 '%',447 lambda x: x == '%',448 ACTION,449 lambda self: concat([splice(0, 'MatchCallRule')]),450 POP_SCOPE,451 COMMIT,452 231,453 PUSH_SCOPE,454 CALL,455 232,456 POP_SCOPE,457 RETURN,458 BACKTRACK,459 257,460 PUSH_SCOPE,461 CALL,462 769,463 BIND,464 'x',465 BACKTRACK,466 252,467 PUSH_SCOPE,468 CALL,469 830,470 MATCH,471 '=',472 lambda x: x == '=',473 POP_SCOPE,474 COMMIT,475 250,476 FAIL,477 'no match',478 ACTION,479 lambda self: concat([splice(0, 'MatchRule'), splice(0, self.lookup('x'))]),480 POP_SCOPE,481 COMMIT,482 376,483 BACKTRACK,484 278,485 PUSH_SCOPE,486 CALL,487 830,488 CALL,489 687,490 BIND,491 'x',492 MATCH,493 '-',494 lambda x: x == '-',495 CALL,496 687,497 BIND,498 'y',499 ACTION,500 lambda self: concat([splice(0, 'MatchObject'), splice(0, concat([splice(0, 'Range'), splice(0, self.lookup('x')), splice(0, self.lookup('y'))]))]),501 POP_SCOPE,502 COMMIT,503 376,504 BACKTRACK,505 316,506 PUSH_SCOPE,507 CALL,508 830,509 MATCH,510 "'",511 lambda x: x == "'",512 LIST_START,513 BACKTRACK,514 305,515 PUSH_SCOPE,516 BACKTRACK,517 299,518 MATCH,519 "'",520 lambda x: x == "'",521 COMMIT,522 297,523 FAIL,524 'no match',525 CALL,526 377,527 POP_SCOPE,528 LIST_APPEND,529 COMMIT,530 287,531 LIST_END,532 BIND,533 'xs',534 MATCH,535 "'",536 lambda x: x == "'",537 ACTION,538 lambda self: concat([splice(0, 'And'), splice(1, self.lookup('xs'))]),539 POP_SCOPE,540 COMMIT,541 376,542 BACKTRACK,543 329,544 PUSH_SCOPE,545 CALL,546 830,547 MATCH,548 '.',549 lambda x: x == '.',550 ACTION,551 lambda self: concat([splice(0, 'MatchObject'), splice(0, concat([splice(0, 'Any')]))]),552 POP_SCOPE,553 COMMIT,554 376,555 BACKTRACK,556 351,557 PUSH_SCOPE,558 CALL,559 830,560 MATCH,561 '(',562 lambda x: x == '(',563 CALL,564 79,565 BIND,566 'x',567 CALL,568 830,569 MATCH,570 ')',571 lambda x: x == ')',572 ACTION,573 lambda self: self.lookup('x'),574 POP_SCOPE,575 COMMIT,576 376,577 PUSH_SCOPE,578 CALL,579 830,580 MATCH,581 '[',582 lambda x: x == '[',583 LIST_START,584 BACKTRACK,585 365,586 CALL,587 137,588 LIST_APPEND,589 COMMIT,590 358,591 LIST_END,592 BIND,593 'xs',594 CALL,595 830,596 MATCH,597 ']',598 lambda x: x == ']',599 ACTION,600 lambda self: concat([splice(0, 'MatchList'), splice(0, concat([splice(0, 'And'), splice(1, self.lookup('xs'))]))]),601 POP_SCOPE,602 RETURN,603 PUSH_SCOPE,604 CALL,605 711,606 BIND,607 'x',608 ACTION,609 lambda self: concat([splice(0, 'MatchObject'), splice(0, concat([splice(0, 'Eq'), splice(0, self.lookup('x'))]))]),610 POP_SCOPE,611 RETURN,612 BACKTRACK,613 398,614 PUSH_SCOPE,615 CALL,616 403,617 BIND,618 'x',619 ACTION,620 lambda self: concat([splice(0, concat([splice(0, 'Action'), splice(0, self.lookup('x'))]))]),621 POP_SCOPE,622 COMMIT,623 402,624 PUSH_SCOPE,625 ACTION,626 lambda self: concat([]),627 POP_SCOPE,628 RETURN,629 BACKTRACK,630 446,631 PUSH_SCOPE,632 CALL,633 830,634 MATCH,635 '-',636 lambda x: x == '-',637 MATCH,638 '>',639 lambda x: x == '>',640 CALL,641 463,642 BIND,643 'x',644 BACKTRACK,645 431,646 PUSH_SCOPE,647 CALL,648 830,649 MATCH,650 ':',651 lambda x: x == ':',652 CALL,653 769,654 POP_SCOPE,655 COMMIT,656 435,657 PUSH_SCOPE,658 ACTION,659 lambda self: '',660 POP_SCOPE,661 BIND,662 'y',663 CALL,664 403,665 BIND,666 'z',667 ACTION,668 lambda self: concat([splice(0, 'Set'), splice(0, self.lookup('y')), splice(0, self.lookup('x')), splice(0, self.lookup('z'))]),669 POP_SCOPE,670 COMMIT,671 462,672 PUSH_SCOPE,673 CALL,674 830,675 MATCH,676 '-',677 lambda x: x == '-',678 MATCH,679 '>',680 lambda x: x == '>',681 CALL,682 463,683 BIND,684 'x',685 ACTION,686 lambda self: self.lookup('x'),687 POP_SCOPE,688 RETURN,689 BACKTRACK,690 477,691 PUSH_SCOPE,692 CALL,693 830,694 CALL,695 654,696 BIND,697 'x',698 ACTION,699 lambda self: concat([splice(0, 'String'), splice(0, self.lookup('x'))]),700 POP_SCOPE,701 COMMIT,702 574,703 BACKTRACK,704 506,705 PUSH_SCOPE,706 CALL,707 830,708 MATCH,709 '[',710 lambda x: x == '[',711 LIST_START,712 BACKTRACK,713 493,714 CALL,715 575,716 LIST_APPEND,717 COMMIT,718 486,719 LIST_END,720 BIND,721 'xs',722 CALL,723 830,724 MATCH,725 ']',726 lambda x: x == ']',727 ACTION,728 lambda self: concat([splice(0, 'List'), splice(1, self.lookup('xs'))]),729 POP_SCOPE,730 COMMIT,731 574,732 BACKTRACK,733 535,734 PUSH_SCOPE,735 CALL,736 830,737 MATCH,738 '{',739 lambda x: x == '{',740 LIST_START,741 BACKTRACK,742 522,743 CALL,744 598,745 LIST_APPEND,746 COMMIT,747 515,748 LIST_END,749 BIND,750 'xs',751 CALL,752 830,753 MATCH,754 '}',755 lambda x: x == '}',756 ACTION,757 lambda self: concat([splice(0, 'Format'), splice(1, self.lookup('xs'))]),758 POP_SCOPE,759 COMMIT,760 574,761 BACKTRACK,762 568,763 PUSH_SCOPE,764 CALL,765 632,766 BIND,767 'x',768 CALL,769 830,770 MATCH,771 '(',772 lambda x: x == '(',773 LIST_START,774 BACKTRACK,775 555,776 CALL,777 463,778 LIST_APPEND,779 COMMIT,780 548,781 LIST_END,782 BIND,783 'ys',784 CALL,785 830,786 MATCH,787 ')',788 lambda x: x == ')',789 ACTION,790 lambda self: concat([splice(0, 'Call'), splice(0, self.lookup('x')), splice(1, self.lookup('ys'))]),791 POP_SCOPE,792 COMMIT,793 574,794 PUSH_SCOPE,795 CALL,796 632,797 BIND,798 'x',799 POP_SCOPE,800 RETURN,801 PUSH_SCOPE,802 CALL,803 830,804 LIST_START,805 BACKTRACK,806 587,807 MATCH,808 '~',809 lambda x: x == '~',810 LIST_APPEND,811 COMMIT,812 579,813 LIST_END,814 BIND,815 'ys',816 CALL,817 463,818 BIND,819 'x',820 ACTION,821 lambda self: concat([splice(0, 'ListItem'), splice(0, self.lookup('len')(self.lookup('ys'))), splice(0, self.lookup('x'))]),822 POP_SCOPE,823 RETURN,824 BACKTRACK,825 627,826 PUSH_SCOPE,827 CALL,828 830,829 MATCH,830 '>',831 lambda x: x == '>',832 LIST_START,833 BACKTRACK,834 614,835 CALL,836 598,837 LIST_APPEND,838 COMMIT,839 607,840 LIST_END,841 BIND,842 'xs',843 CALL,844 830,845 MATCH,846 '<',847 lambda x: x == '<',848 ACTION,849 lambda self: concat([splice(0, 'Indent'), splice(0, concat([splice(0, 'Format'), splice(1, self.lookup('xs'))]))]),850 POP_SCOPE,851 COMMIT,852 631,853 PUSH_SCOPE,854 CALL,855 463,856 POP_SCOPE,857 RETURN,858 PUSH_SCOPE,859 CALL,860 769,861 BIND,862 'x',863 BACKTRACK,864 650,865 PUSH_SCOPE,866 CALL,867 830,868 MATCH,869 '=',870 lambda x: x == '=',871 POP_SCOPE,872 COMMIT,873 648,874 FAIL,875 'no match',876 ACTION,877 lambda self: concat([splice(0, 'Lookup'), splice(0, self.lookup('x'))]),878 POP_SCOPE,879 RETURN,880 PUSH_SCOPE,881 MATCH,882 '"',883 lambda x: x == '"',884 LIST_START,885 BACKTRACK,886 677,887 PUSH_SCOPE,888 BACKTRACK,889 671,890 MATCH,891 '"',892 lambda x: x == '"',893 COMMIT,894 669,895 FAIL,896 'no match',897 CALL,898 711,899 POP_SCOPE,900 LIST_APPEND,901 COMMIT,902 659,903 LIST_END,904 BIND,905 'xs',906 MATCH,907 '"',908 lambda x: x == '"',909 ACTION,910 lambda self: join([self.lookup('xs')]),911 POP_SCOPE,912 RETURN,913 PUSH_SCOPE,914 MATCH,915 "'",916 lambda x: x == "'",917 BACKTRACK,918 700,919 MATCH,920 "'",921 lambda x: x == "'",922 COMMIT,923 698,924 FAIL,925 'no match',926 CALL,927 711,928 BIND,929 'x',930 MATCH,931 "'",932 lambda x: x == "'",933 ACTION,934 lambda self: self.lookup('x'),935 POP_SCOPE,936 RETURN,937 BACKTRACK,938 722,939 PUSH_SCOPE,940 MATCH,941 '\\',942 lambda x: x == '\\',943 CALL,944 728,945 POP_SCOPE,946 COMMIT,947 727,948 PUSH_SCOPE,949 MATCH,950 'any',951 lambda x: True,952 POP_SCOPE,953 RETURN,954 BACKTRACK,955 739,956 PUSH_SCOPE,957 MATCH,958 '\\',959 lambda x: x == '\\',960 ACTION,961 lambda self: '\\',962 POP_SCOPE,963 COMMIT,964 768,965 BACKTRACK,966 750,967 PUSH_SCOPE,968 MATCH,969 "'",970 lambda x: x == "'",971 ACTION,972 lambda self: "'",973 POP_SCOPE,974 COMMIT,975 768,976 BACKTRACK,977 761,978 PUSH_SCOPE,979 MATCH,980 '"',981 lambda x: x == '"',982 ACTION,983 lambda self: '"',984 POP_SCOPE,985 COMMIT,986 768,987 PUSH_SCOPE,988 MATCH,989 'n',990 lambda x: x == 'n',991 ACTION,992 lambda self: '\n',993 POP_SCOPE,994 RETURN,995 PUSH_SCOPE,996 CALL,997 830,998 CALL,999 791,1000 BIND,1001 'x',1002 LIST_START,1003 BACKTRACK,1004 784,1005 CALL,1006 806,1007 LIST_APPEND,1008 COMMIT,1009 777,1010 LIST_END,1011 BIND,1012 'xs',1013 ACTION,1014 lambda self: join([self.lookup('x'), self.lookup('xs')]),1015 POP_SCOPE,1016 RETURN,1017 BACKTRACK,1018 800,1019 PUSH_SCOPE,1020 MATCH,1021 "range 'a'-'z'",1022 lambda x: 'a' <= x <= 'z',1023 POP_SCOPE,1024 COMMIT,1025 805,1026 PUSH_SCOPE,1027 MATCH,1028 "range 'A'-'Z'",1029 lambda x: 'A' <= x <= 'Z',1030 POP_SCOPE,1031 RETURN,1032 BACKTRACK,1033 815,1034 PUSH_SCOPE,1035 MATCH,1036 "range 'a'-'z'",1037 lambda x: 'a' <= x <= 'z',1038 POP_SCOPE,1039 COMMIT,1040 829,1041 BACKTRACK,1042 824,1043 PUSH_SCOPE,1044 MATCH,1045 "range 'A'-'Z'",1046 lambda x: 'A' <= x <= 'Z',1047 POP_SCOPE,1048 COMMIT,1049 829,1050 PUSH_SCOPE,1051 MATCH,1052 "range '0'-'9'",1053 lambda x: '0' <= x <= '9',1054 POP_SCOPE,1055 RETURN,1056 PUSH_SCOPE,1057 LIST_START,1058 BACKTRACK,1059 851,1060 BACKTRACK,1061 843,1062 PUSH_SCOPE,1063 MATCH,1064 ' ',1065 lambda x: x == ' ',1066 POP_SCOPE,1067 COMMIT,1068 848,1069 PUSH_SCOPE,1070 MATCH,1071 '\n',1072 lambda x: x == '\n',1073 POP_SCOPE,1074 LIST_APPEND,1075 COMMIT,1076 832,1077 LIST_END,1078 POP_SCOPE,1079 RETURN1080 ]1081class CodeGenerator(Grammar):1082 rules = {1083 'Grammar': 0,1084 'Rule': 21,1085 'Or': 35,1086 'Scope': 56,1087 'And': 65,1088 'Bind': 81,1089 'Star': 95,1090 'Not': 104,1091 'MatchCallRule': 113,1092 'MatchRule': 118,1093 'MatchObject': 128,1094 'MatchList': 138,1095 'Action': 147,1096 'asts': 157,1097 'ast': 1821098 }1099 code = [1100 PUSH_SCOPE,1101 MATCH,1102 'any',1103 lambda x: True,1104 BIND,1105 'x',1106 LIST_START,1107 BACKTRACK,1108 14,1109 CALL,1110 182,1111 LIST_APPEND,1112 COMMIT,1113 7,1114 LIST_END,1115 BIND,1116 'ys',1117 ACTION,1118 lambda self: concat([splice(0, 'Grammar'), splice(0, self.lookup('x')), splice(2, self.lookup('ys'))]),1119 POP_SCOPE,1120 RETURN,1121 PUSH_SCOPE,1122 MATCH,1123 'any',1124 lambda x: True,1125 BIND,1126 'x',1127 CALL,1128 182,1129 BIND,1130 'y',1131 ACTION,1132 lambda self: concat([splice(0, concat([splice(0, 'Rule'), splice(0, self.lookup('x'))])), splice(1, self.lookup('y')), splice(0, concat([splice(0, 'OpCode'), splice(0, 'RETURN')]))]),1133 POP_SCOPE,1134 RETURN,1135 BACKTRACK,1136 51,1137 PUSH_SCOPE,1138 CALL,1139 182,1140 BIND,1141 'x',1142 CALL,1143 35,1144 BIND,1145 'y',1146 ACTION,1147 lambda self: self.bind('a', self.lookup('label')(), lambda: self.bind('b', self.lookup('label')(), lambda: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'BACKTRACK')])), splice(0, concat([splice(0, 'Target'), splice(0, self.lookup('a'))])), splice(1, self.lookup('x')), splice(0, concat([splice(0, 'OpCode'), splice(0, 'COMMIT')])), splice(0, concat([splice(0, 'Target'), splice(0, self.lookup('b'))])), splice(0, concat([splice(0, 'Label'), splice(0, self.lookup('a'))])), splice(1, self.lookup('y')), splice(0, concat([splice(0, 'Label'), splice(0, self.lookup('b'))]))]))),1148 POP_SCOPE,1149 COMMIT,1150 55,1151 PUSH_SCOPE,1152 CALL,1153 182,1154 POP_SCOPE,1155 RETURN,1156 PUSH_SCOPE,1157 CALL,1158 182,1159 BIND,1160 'x',1161 ACTION,1162 lambda self: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'PUSH_SCOPE')])), splice(1, self.lookup('x')), splice(0, concat([splice(0, 'OpCode'), splice(0, 'POP_SCOPE')]))]),1163 POP_SCOPE,1164 RETURN,1165 PUSH_SCOPE,1166 LIST_START,1167 BACKTRACK,1168 74,1169 CALL,1170 182,1171 LIST_APPEND,1172 COMMIT,1173 67,1174 LIST_END,1175 BIND,1176 'xs',1177 ACTION,1178 lambda self: concat([splice(2, self.lookup('xs'))]),1179 POP_SCOPE,1180 RETURN,1181 PUSH_SCOPE,1182 MATCH,1183 'any',1184 lambda x: True,1185 BIND,1186 'x',1187 CALL,1188 182,1189 BIND,1190 'y',1191 ACTION,1192 lambda self: concat([splice(1, self.lookup('y')), splice(0, concat([splice(0, 'OpCode'), splice(0, 'BIND')])), splice(0, concat([splice(0, 'Value'), splice(0, self.lookup('x'))]))]),1193 POP_SCOPE,1194 RETURN,1195 PUSH_SCOPE,1196 CALL,1197 182,1198 BIND,1199 'x',1200 ACTION,1201 lambda self: self.bind('a', self.lookup('label')(), lambda: self.bind('b', self.lookup('label')(), lambda: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'LIST_START')])), splice(0, concat([splice(0, 'Label'), splice(0, self.lookup('a'))])), splice(0, concat([splice(0, 'OpCode'), splice(0, 'BACKTRACK')])), splice(0, concat([splice(0, 'Target'), splice(0, self.lookup('b'))])), splice(1, self.lookup('x')), splice(0, concat([splice(0, 'OpCode'), splice(0, 'LIST_APPEND')])), splice(0, concat([splice(0, 'OpCode'), splice(0, 'COMMIT')])), splice(0, concat([splice(0, 'Target'), splice(0, self.lookup('a'))])), splice(0, concat([splice(0, 'Label'), splice(0, self.lookup('b'))])), splice(0, concat([splice(0, 'OpCode'), splice(0, 'LIST_END')]))]))),1202 POP_SCOPE,1203 RETURN,1204 PUSH_SCOPE,1205 CALL,1206 182,1207 BIND,1208 'x',1209 ACTION,1210 lambda self: self.bind('a', self.lookup('label')(), lambda: self.bind('b', self.lookup('label')(), lambda: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'BACKTRACK')])), splice(0, concat([splice(0, 'Target'), splice(0, self.lookup('b'))])), splice(1, self.lookup('x')), splice(0, concat([splice(0, 'OpCode'), splice(0, 'COMMIT')])), splice(0, concat([splice(0, 'Target'), splice(0, self.lookup('a'))])), splice(0, concat([splice(0, 'Label'), splice(0, self.lookup('a'))])), splice(0, concat([splice(0, 'OpCode'), splice(0, 'FAIL')])), splice(0, concat([splice(0, 'Value'), splice(0, 'no match')])), splice(0, concat([splice(0, 'Label'), splice(0, self.lookup('b'))]))]))),1211 POP_SCOPE,1212 RETURN,1213 PUSH_SCOPE,1214 ACTION,1215 lambda self: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'MATCH_CALL_RULE')]))]),1216 POP_SCOPE,1217 RETURN,1218 PUSH_SCOPE,1219 MATCH,1220 'any',1221 lambda x: True,1222 BIND,1223 'x',1224 ACTION,1225 lambda self: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'CALL')])), splice(0, concat([splice(0, 'Target'), splice(0, self.lookup('x'))]))]),1226 POP_SCOPE,1227 RETURN,1228 PUSH_SCOPE,1229 MATCH,1230 'any',1231 lambda x: True,1232 BIND,1233 'x',1234 ACTION,1235 lambda self: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'MATCH')])), splice(0, self.lookup('x'))]),1236 POP_SCOPE,1237 RETURN,1238 PUSH_SCOPE,1239 CALL,1240 182,1241 BIND,1242 'x',1243 ACTION,1244 lambda self: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'PUSH_STREAM')])), splice(1, self.lookup('x')), splice(0, concat([splice(0, 'OpCode'), splice(0, 'POP_STREAM')]))]),1245 POP_SCOPE,1246 RETURN,1247 PUSH_SCOPE,1248 MATCH,1249 'any',1250 lambda x: True,1251 BIND,1252 'x',1253 ACTION,1254 lambda self: concat([splice(0, concat([splice(0, 'OpCode'), splice(0, 'ACTION')])), splice(0, concat([splice(0, 'Action'), splice(0, self.lookup('x'))]))]),1255 POP_SCOPE,1256 RETURN,1257 PUSH_SCOPE,1258 LIST_START,1259 BACKTRACK,1260 166,1261 CALL,1262 182,1263 LIST_APPEND,1264 COMMIT,1265 159,1266 LIST_END,1267 BIND,1268 'xs',1269 BACKTRACK,1270 178,1271 MATCH,1272 'any',1273 lambda x: True,1274 COMMIT,1275 176,1276 FAIL,1277 'no match',1278 ACTION,1279 lambda self: self.lookup('xs'),1280 POP_SCOPE,1281 RETURN,1282 PUSH_SCOPE,1283 PUSH_STREAM,1284 MATCH_CALL_RULE,1285 BIND,1286 'x',1287 POP_STREAM,1288 ACTION,1289 lambda self: self.lookup('x'),1290 POP_SCOPE,1291 RETURN1292 ]1293class Assembler(Grammar):1294 rules = {1295 'Grammar': 0,1296 'Rule': 21,1297 'Label': 31,1298 'Target': 41,1299 'Patch': 51,1300 'OpCode': 66,1301 'Value': 76,1302 'Eq': 86,1303 'Range': 96,1304 'Any': 111,1305 'Action': 116,1306 'Set': 125,1307 'String': 143,1308 'List': 153,1309 'ListItem': 162,1310 'Format': 176,1311 'Indent': 185,1312 'Call': 194,1313 'Lookup': 207,1314 'asts': 217,1315 'astList': 242,1316 'ast': 2581317 }1318 code = [1319 PUSH_SCOPE,1320 MATCH,1321 'any',1322 lambda x: True,1323 BIND,1324 'x',1325 LIST_START,1326 BACKTRACK,1327 14,1328 CALL,1329 258,1330 LIST_APPEND,1331 COMMIT,1332 7,1333 LIST_END,1334 BIND,1335 'ys',1336 ACTION,1337 lambda self: self.bind('rules', self.lookup('list')(), lambda: self.bind('code', self.lookup('list')(), lambda: self.bind('labels', self.lookup('dict')(), lambda: self.bind('patches', self.lookup('list')(), lambda: self.bind('', self.lookup('ys'), lambda: self.bind('', self.lookup('run')('asts', self.lookup('patches')), lambda: join(['class ', self.lookup('x'), '(Grammar):\n', indent(join(['rules = {\n', indent(join([self.lookup('join')(self.lookup('rules'), ',\n')]), self.lookup('indentprefix')), '\n}\n', 'code = [\n', indent(join([self.lookup('join')(self.lookup('code'), ',\n')]), self.lookup('indentprefix')), '\n]\n']), self.lookup('indentprefix'))]))))))),1338 POP_SCOPE,1339 RETURN,1340 PUSH_SCOPE,1341 MATCH,1342 'any',1343 lambda x: True,1344 BIND,1345 'x',1346 ACTION,1347 lambda self: self.bind('', self.lookup('add')(self.lookup('rules'), join([self.lookup('repr')(self.lookup('x')), ': ', self.lookup('len')(self.lookup('code'))])), lambda: self.lookup('set')(self.lookup('labels'), self.lookup('x'), self.lookup('len')(self.lookup('code')))),1348 POP_SCOPE,1349 RETURN,1350 PUSH_SCOPE,1351 MATCH,1352 'any',1353 lambda x: True,1354 BIND,1355 'x',1356 ACTION,1357 lambda self: self.lookup('set')(self.lookup('labels'), self.lookup('x'), self.lookup('len')(self.lookup('code'))),1358 POP_SCOPE,1359 RETURN,1360 PUSH_SCOPE,1361 MATCH,1362 'any',1363 lambda x: True,1364 BIND,1365 'x',1366 ACTION,1367 lambda self: self.bind('', self.lookup('add')(self.lookup('patches'), concat([splice(0, 'Patch'), splice(0, self.lookup('len')(self.lookup('code'))), splice(0, self.lookup('x'))])), lambda: self.lookup('add')(self.lookup('code'), 'placeholder')),1368 POP_SCOPE,1369 RETURN,1370 PUSH_SCOPE,1371 MATCH,1372 'any',1373 lambda x: True,1374 BIND,1375 'x',1376 MATCH,1377 'any',1378 lambda x: True,1379 BIND,1380 'y',1381 ACTION,1382 lambda self: self.lookup('set')(self.lookup('code'), self.lookup('x'), self.lookup('get')(self.lookup('labels'), self.lookup('y'))),1383 POP_SCOPE,1384 RETURN,1385 PUSH_SCOPE,1386 MATCH,1387 'any',1388 lambda x: True,1389 BIND,1390 'x',1391 ACTION,1392 lambda self: self.lookup('add')(self.lookup('code'), self.lookup('x')),1393 POP_SCOPE,1394 RETURN,1395 PUSH_SCOPE,1396 MATCH,1397 'any',1398 lambda x: True,1399 BIND,1400 'x',1401 ACTION,1402 lambda self: self.lookup('add')(self.lookup('code'), self.lookup('repr')(self.lookup('x'))),1403 POP_SCOPE,1404 RETURN,1405 PUSH_SCOPE,1406 MATCH,1407 'any',1408 lambda x: True,1409 BIND,1410 'x',1411 ACTION,1412 lambda self: self.bind('', self.lookup('add')(self.lookup('code'), self.lookup('repr')(self.lookup('x'))), lambda: self.lookup('add')(self.lookup('code'), join(['lambda x: x == ', self.lookup('repr')(self.lookup('x'))]))),1413 POP_SCOPE,1414 RETURN,1415 PUSH_SCOPE,1416 MATCH,1417 'any',1418 lambda x: True,1419 BIND,1420 'x',1421 MATCH,1422 'any',1423 lambda x: True,1424 BIND,1425 'y',1426 ACTION,1427 lambda self: self.bind('', self.lookup('add')(self.lookup('code'), self.lookup('repr')(join(['range ', self.lookup('repr')(self.lookup('x')), '-', self.lookup('repr')(self.lookup('y'))]))), lambda: self.lookup('add')(self.lookup('code'), join(['lambda x: ', self.lookup('repr')(self.lookup('x')), ' <= x <= ', self.lookup('repr')(self.lookup('y'))]))),1428 POP_SCOPE,1429 RETURN,1430 PUSH_SCOPE,1431 ACTION,1432 lambda self: self.bind('', self.lookup('add')(self.lookup('code'), self.lookup('repr')('any')), lambda: self.lookup('add')(self.lookup('code'), 'lambda x: True')),1433 POP_SCOPE,1434 RETURN,1435 PUSH_SCOPE,1436 CALL,1437 258,1438 BIND,1439 'x',1440 ACTION,1441 lambda self: self.lookup('add')(self.lookup('code'), join(['lambda self: ', self.lookup('x')])),1442 POP_SCOPE,1443 RETURN,1444 PUSH_SCOPE,1445 MATCH,1446 'any',1447 lambda x: True,1448 BIND,1449 'x',1450 CALL,1451 258,1452 BIND,1453 'y',1454 CALL,1455 258,1456 BIND,1457 'z',1458 ACTION,1459 lambda self: join(['self.bind(', self.lookup('repr')(self.lookup('x')), ', ', self.lookup('y'), ', lambda: ', self.lookup('z'), ')']),1460 POP_SCOPE,1461 RETURN,1462 PUSH_SCOPE,1463 MATCH,1464 'any',1465 lambda x: True,1466 BIND,1467 'x',1468 ACTION,1469 lambda self: self.lookup('repr')(self.lookup('x')),1470 POP_SCOPE,1471 RETURN,1472 PUSH_SCOPE,1473 CALL,1474 242,1475 BIND,1476 'x',1477 ACTION,1478 lambda self: join(['concat([', self.lookup('x'), '])']),1479 POP_SCOPE,1480 RETURN,1481 PUSH_SCOPE,1482 MATCH,1483 'any',1484 lambda x: True,1485 BIND,1486 'x',1487 CALL,1488 258,1489 BIND,1490 'y',1491 ACTION,1492 lambda self: join(['splice(', self.lookup('repr')(self.lookup('x')), ', ', self.lookup('y'), ')']),1493 POP_SCOPE,1494 RETURN,1495 PUSH_SCOPE,1496 CALL,1497 242,1498 BIND,1499 'x',1500 ACTION,1501 lambda self: join(['join([', self.lookup('x'), '])']),1502 POP_SCOPE,1503 RETURN,1504 PUSH_SCOPE,1505 CALL,1506 258,1507 BIND,1508 'x',1509 ACTION,1510 lambda self: join(['indent(', self.lookup('x'), ', ', "self.lookup('indentprefix'))"]),1511 POP_SCOPE,1512 RETURN,1513 PUSH_SCOPE,1514 CALL,1515 258,1516 BIND,1517 'x',1518 CALL,1519 242,1520 BIND,1521 'y',1522 ACTION,1523 lambda self: join([self.lookup('x'), '(', self.lookup('y'), ')']),1524 POP_SCOPE,1525 RETURN,1526 PUSH_SCOPE,1527 MATCH,1528 'any',1529 lambda x: True,1530 BIND,1531 'x',1532 ACTION,1533 lambda self: join(['self.lookup(', self.lookup('repr')(self.lookup('x')), ')']),1534 POP_SCOPE,1535 RETURN,1536 PUSH_SCOPE,1537 LIST_START,1538 BACKTRACK,1539 226,1540 CALL,1541 258,1542 LIST_APPEND,1543 COMMIT,1544 219,1545 LIST_END,1546 BIND,1547 'xs',1548 BACKTRACK,1549 238,1550 MATCH,1551 'any',1552 lambda x: True,1553 COMMIT,1554 236,1555 FAIL,1556 'no match',1557 ACTION,1558 lambda self: join([self.lookup('xs')]),1559 POP_SCOPE,1560 RETURN,1561 PUSH_SCOPE,1562 LIST_START,1563 BACKTRACK,1564 251,1565 CALL,1566 258,1567 LIST_APPEND,1568 COMMIT,1569 244,1570 LIST_END,1571 BIND,1572 'xs',1573 ACTION,1574 lambda self: self.lookup('join')(self.lookup('xs'), ', '),1575 POP_SCOPE,1576 RETURN,1577 PUSH_SCOPE,1578 PUSH_STREAM,1579 MATCH_CALL_RULE,1580 BIND,1581 'x',1582 POP_STREAM,1583 ACTION,1584 lambda self: self.lookup('x'),1585 POP_SCOPE,1586 RETURN1587 ]1588if __name__ == "__main__":1589 import sys1590 def read(path):1591 if path == "-":1592 return sys.stdin.read()1593 with open(path) as f:1594 return f.read()1595 args = sys.argv[1:] or ["--compile", "-"]1596 while args:1597 command = args.pop(0)1598 if command == "--support":1599 sys.stdout.write(SUPPORT)1600 elif command == "--copy":1601 sys.stdout.write(read(args.pop(0)))1602 elif command == "--embed":1603 sys.stdout.write("{} = {}\n".format(1604 args.pop(0),1605 repr(read(args.pop(0)))1606 ))1607 elif command == "--compile":1608 sys.stdout.write(compile_chain(1609 [(Parser, "file"), (CodeGenerator, "asts"), (Assembler, "asts")],1610 read(args.pop(0))1611 ))1612 else:...

Full Screen

Full Screen

chase.py

Source:chase.py Github

copy

Full Screen

...52 pass53 self.dl = dl54 self.chase = Chase55 def time_selection(self, n, chase_strategy, cq_compilation):56 self.dl.push_scope()57 self.dl.walk(Eb_([58 Imp_(Q(x, y), T(C_(100), x, y))59 ]))60 self.chase(self.dl).build_chase_solution()61 self.dl.push_scope()62 def time_join(self, n, chase_strategy, cq_compilation):63 self.dl.push_scope()64 self.dl.walk(Eb_([65 Imp_(Q(x, y), T(x, z) & T(z, y))66 ]))67 self.chase(self.dl).build_chase_solution()68 self.dl.push_scope()69 def time_project(self, n, chase_strategy, cq_compilation):70 self.dl.push_scope()71 self.dl.walk(Eb_([72 Imp_(Q(x), T(x, y, z))73 ]))74 self.chase(self.dl).build_chase_solution()75 self.dl.push_scope()76 def time_recursion(self, n, chase_strategy, cq_compilation):77 self.dl.push_scope()78 self.dl.walk(Eb_([79 Imp_(Q(x, z), T(x, y, w) & Q(w, z)),80 Imp_(Q(x, z), T(x, y, z)),81 ]))82 self.chase(self.dl).build_chase_solution()...

Full Screen

Full Screen

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.

LambdaTest Learning Hubs:

YouTube

You could also refer to video tutorials over LambdaTest YouTube channel to get step by step demonstration from industry experts.

Run Slash automation tests on LambdaTest cloud grid

Perform automation testing on 3000+ real desktop and mobile devices online.

Try LambdaTest Now !!

Get 100 minutes of automation test minutes FREE!!

Next-Gen App & Browser Testing Cloud

Was this article helpful?

Helpful

NotHelpful