23 if x
in (None, JS_Undefined
):
25 with contextlib
.suppress(TypeError):
26 if math
.isnan(x
): # NB: NaN cannot be checked by membership
31 return op(zeroise(a
), zeroise(b
)) & 0xffffffff
39 if JS_Undefined
in (a
, b
):
41 return op(a
or 0, b
or 0)
47 if JS_Undefined
in (a
, b
) or not (a
and b
):
49 return (a
or 0) / b
if b
else float('inf')
53 if JS_Undefined
in (a
, b
) or not b
:
60 return 1 # even 0 ** 0 !!
61 elif JS_Undefined
in (a
, b
):
69 if {a, b}
<= {None, JS_Undefined}
:
79 if JS_Undefined
in (a
, b
):
81 if isinstance(a
, str) or isinstance(b
, str):
82 return op(str(a
or 0), str(b
or 0))
83 return op(a
or 0, b
or 0)
88 def _js_ternary(cndn
, if_true
=True, if_false
=False):
89 """Simulate JS's ternary operator (cndn?if_true:if_false)"""
90 if cndn
in (False, None, 0, '', JS_Undefined
):
92 with contextlib
.suppress(TypeError):
93 if math
.isnan(cndn
): # NB: NaN cannot be checked by membership
98 # Ref: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Operator_Precedence
99 _OPERATORS
= { # None => Defined in JSInterpreter._operator
105 '|': _js_bit_op(operator
.or_
),
106 '^': _js_bit_op(operator
.xor
),
107 '&': _js_bit_op(operator
.and_
),
110 '!==': operator
.is_not
,
111 '==': _js_eq_op(operator
.eq
),
112 '!=': _js_eq_op(operator
.ne
),
114 '<=': _js_comp_op(operator
.le
),
115 '>=': _js_comp_op(operator
.ge
),
116 '<': _js_comp_op(operator
.lt
),
117 '>': _js_comp_op(operator
.gt
),
119 '>>': _js_bit_op(operator
.rshift
),
120 '<<': _js_bit_op(operator
.lshift
),
122 '+': _js_arith_op(operator
.add
),
123 '-': _js_arith_op(operator
.sub
),
125 '*': _js_arith_op(operator
.mul
),
131 _COMP_OPERATORS
= {'===', '!==', '==', '!=', '<=', '>=', '<', '>'}
133 _NAME_RE
= r
'[a-zA-Z_$][\w$]*'
134 _MATCHING_PARENS
= dict(zip(*zip('()', '{}', '[]')))
142 class JS_Break(ExtractorError
):
144 ExtractorError
.__init
__(self
, 'Invalid break')
147 class JS_Continue(ExtractorError
):
149 ExtractorError
.__init
__(self
, 'Invalid continue')
152 class JS_Throw(ExtractorError
):
153 def __init__(self
, e
):
155 ExtractorError
.__init
__(self
, f
'Uncaught exception {e}')
158 class LocalNameSpace(collections
.ChainMap
):
159 def __setitem__(self
, key
, value
):
160 for scope
in self
.maps
:
164 self
.maps
[0][key
] = value
166 def __delitem__(self
, key
):
167 raise NotImplementedError('Deleting is not supported')
172 ENABLED
= False and 'pytest' in sys
.modules
175 def write(*args
, level
=100):
176 write_string(f
'[debug] JS: {" " * (100 - level)}'
177 f
'{" ".join(truncate_string(str(x), 50, 50) for x in args)}\n')
180 def wrap_interpreter(cls
, f
):
181 def interpret_statement(self
, stmt
, local_vars
, allow_recursion
, *args
, **kwargs
):
182 if cls
.ENABLED
and stmt
.strip():
183 cls
.write(stmt
, level
=allow_recursion
)
185 ret
, should_ret
= f(self
, stmt
, local_vars
, allow_recursion
, *args
, **kwargs
)
186 except Exception as e
:
188 if isinstance(e
, ExtractorError
):
190 cls
.write('=> Raises:', e
, '<-|', stmt
, level
=allow_recursion
)
192 if cls
.ENABLED
and stmt
.strip():
193 if should_ret
or not repr(ret
) == stmt
:
194 cls
.write(['->', '=>'][should_ret
], repr(ret
), '<-|', stmt
, level
=allow_recursion
)
195 return ret
, should_ret
196 return interpret_statement
200 __named_object_counter
= 0
203 # special knowledge: Python's re flags are bitmask values, current max 128
204 # invent new bitmask values well above that for literal parsing
205 # TODO: new pattern class to execute matches with these flags
206 'd': 1024, # Generate indices for substring matches
207 'g': 2048, # Global search
208 'i': re
.I
, # Case-insensitive search
209 'm': re
.M
, # Multi-line search
210 's': re
.S
, # Allows . to match newline characters
211 'u': re
.U
, # Treat a pattern as a sequence of unicode code points
212 'y': 4096, # Perform a "sticky" search that matches starting at the current position in the target string
215 def __init__(self
, code
, objects
=None):
216 self
.code
, self
._functions
= code
, {}
217 self
._objects
= {} if objects
is None else objects
219 class Exception(ExtractorError
):
220 def __init__(self
, msg
, expr
=None, *args
, **kwargs
):
222 msg
= f
'{msg.rstrip()} in: {truncate_string(expr, 50, 50)}'
223 super().__init
__(msg
, *args
, **kwargs
)
225 def _named_object(self
, namespace
, obj
):
226 self
.__named
_object
_counter
+= 1
227 name
= f
'__yt_dlp_jsinterp_obj{self.__named_object_counter}'
228 if callable(obj
) and not isinstance(obj
, function_with_repr
):
229 obj
= function_with_repr(obj
, f
'F<{self.__named_object_counter}>')
230 namespace
[name
] = obj
234 def _regex_flags(cls
, expr
):
238 for idx
, ch
in enumerate(expr
):
239 if ch
not in cls
._RE
_FLAGS
:
241 flags |
= cls
._RE
_FLAGS
[ch
]
242 return flags
, expr
[idx
+ 1:]
245 def _separate(expr
, delim
=',', max_split
=None):
246 OP_CHARS
= '+-*/%&|^=<>!,;{}:['
249 counters
= {k: 0 for k in _MATCHING_PARENS.values()}
250 start
, splits
, pos
, delim_len
= 0, 0, 0, len(delim
) - 1
251 in_quote
, escaping
, after_op
, in_regex_char_group
= None, False, True, False
252 for idx
, char
in enumerate(expr
):
253 if not in_quote
and char
in _MATCHING_PARENS
:
254 counters
[_MATCHING_PARENS
[char
]] += 1
255 elif not in_quote
and char
in counters
:
256 # Something's wrong if we get negative, but ignore it anyway
260 if char
in _QUOTES
and in_quote
in (char
, None):
261 if in_quote
or after_op
or char
!= '/':
262 in_quote
= None if in_quote
and not in_regex_char_group
else char
263 elif in_quote
== '/' and char
in '[]':
264 in_regex_char_group
= char
== '['
265 escaping
= not escaping
and in_quote
and char
== '\\'
266 in_unary_op
= (not in_quote
and not in_regex_char_group
267 and after_op
not in (True, False) and char
in '-+')
268 after_op
= char
if (not in_quote
and char
in OP_CHARS
) else (char
.isspace() and after_op
)
270 if char
!= delim
[pos
] or any(counters
.values()) or in_quote
or in_unary_op
:
273 elif pos
!= delim_len
:
276 yield expr
[start
: idx
- delim_len
]
277 start
, pos
= idx
+ 1, 0
279 if max_split
and splits
>= max_split
:
284 def _separate_at_paren(cls
, expr
, delim
=None):
286 delim
= expr
and _MATCHING_PARENS
[expr
[0]]
287 separated
= list(cls
._separate
(expr
, delim
, 1))
288 if len(separated
) < 2:
289 raise cls
.Exception(f
'No terminating paren {delim}', expr
)
290 return separated
[0][1:].strip(), separated
[1].strip()
292 def _operator(self
, op
, left_val
, right_expr
, expr
, local_vars
, allow_recursion
):
293 if op
in ('||', '&&'):
294 if (op
== '&&') ^
_js_ternary(left_val
):
295 return left_val
# short circuiting
297 if left_val
not in (None, JS_Undefined
):
300 right_expr
= _js_ternary(left_val
, *self
._separate
(right_expr
, ':', 1))
302 right_val
= self
.interpret_expression(right_expr
, local_vars
, allow_recursion
)
303 if not _OPERATORS
.get(op
):
307 return _OPERATORS
[op
](left_val
, right_val
)
308 except Exception as e
:
309 raise self
.Exception(f
'Failed to evaluate {left_val!r} {op} {right_val!r}', expr
, cause
=e
)
311 def _index(self
, obj
, idx
, allow_undefined
=False):
315 return obj
[int(idx
)] if isinstance(obj
, list) else obj
[idx
]
316 except Exception as e
:
319 raise self
.Exception(f
'Cannot get index {idx}', repr(obj
), cause
=e
)
321 def _dump(self
, obj
, namespace
):
323 return json
.dumps(obj
)
325 return self
._named
_object
(namespace
, obj
)
327 @Debugger.wrap_interpreter
328 def interpret_statement(self
, stmt
, local_vars
, allow_recursion
=100):
329 if allow_recursion
< 0:
330 raise self
.Exception('Recursion limit reached')
333 should_return
= False
334 sub_statements
= list(self
._separate
(stmt
, ';')) or ['']
335 expr
= stmt
= sub_statements
.pop().strip()
337 for sub_stmt
in sub_statements
:
338 ret
, should_return
= self
.interpret_statement(sub_stmt
, local_vars
, allow_recursion
)
340 return ret
, should_return
342 m
= re
.match(r
'(?P<var>(?:var|const|let)\s)|return(?:\s+|(?=["\'])|$
)|
(?P
<throw
>throw\s
+)', stmt)
344 expr = stmt[len(m.group(0)):].strip()
346 raise JS_Throw(self.interpret_expression(expr, local_vars, allow_recursion))
347 should_return = not m.group('var
')
349 return None, should_return
351 if expr[0] in _QUOTES:
352 inner, outer = self._separate(expr, expr[0], 1)
354 flags, outer = self._regex_flags(outer)
355 # Avoid https://github.com/python/cpython/issues/74534
356 inner = re.compile(inner[1:].replace('[[', r'[\
['), flags=flags)
358 inner = json.loads(js_to_json(f'{inner}{expr[0]}
', strict=True))
360 return inner, should_return
361 expr = self._named_object(local_vars, inner) + outer
363 if expr.startswith('new
'):
365 if obj.startswith('Date('):
366 left, right = self._separate_at_paren(obj[4:])
367 date = unified_timestamp(
368 self.interpret_expression(left, local_vars, allow_recursion), False)
370 raise self.Exception(f'Failed to parse date {left!r}
', expr)
371 expr = self._dump(int(date * 1000), local_vars) + right
373 raise self.Exception(f'Unsupported
object {obj}
', expr)
375 if expr.startswith('void
'):
376 left = self.interpret_expression(expr[5:], local_vars, allow_recursion)
377 return None, should_return
379 if expr.startswith('{'):
380 inner, outer = self._separate_at_paren(expr)
381 # try for object expression (Map)
382 sub_expressions = [list(self._separate(sub_expr.strip(), ':', 1)) for sub_expr in self._separate(inner)]
383 if all(len(sub_expr) == 2 for sub_expr in sub_expressions):
384 def dict_item(key, val):
385 val = self.interpret_expression(val, local_vars, allow_recursion)
386 if re.match(_NAME_RE, key):
388 return self.interpret_expression(key, local_vars, allow_recursion), val
390 return dict(dict_item(k, v) for k, v in sub_expressions), should_return
392 inner, should_abort = self.interpret_statement(inner, local_vars, allow_recursion)
393 if not outer or should_abort:
394 return inner, should_abort or should_return
396 expr = self._dump(inner, local_vars) + outer
398 if expr.startswith('('):
399 inner, outer = self._separate_at_paren(expr)
400 inner, should_abort = self.interpret_statement(inner, local_vars, allow_recursion)
401 if not outer or should_abort:
402 return inner, should_abort or should_return
404 expr = self._dump(inner, local_vars) + outer
406 if expr.startswith('['):
407 inner, outer = self._separate_at_paren(expr)
408 name = self._named_object(local_vars, [
409 self.interpret_expression(item, local_vars, allow_recursion)
410 for item in self._separate(inner)])
413 m = re.match(r'''(?x)
416 (?P<switch>switch)\s*\(|
419 md = m.groupdict() if m else {}
421 cndn, expr = self._separate_at_paren(expr[m.end() - 1:])
422 if_expr, expr = self._separate_at_paren(expr.lstrip())
423 # TODO: "else if" is not handled
425 m = re.match(r'else\s
*{', expr)
427 else_expr, expr = self._separate_at_paren(expr[m.end() - 1:])
428 cndn = _js_ternary(self.interpret_expression(cndn, local_vars, allow_recursion))
429 ret, should_abort = self.interpret_statement(
430 if_expr if cndn else else_expr, local_vars, allow_recursion)
435 try_expr, expr = self._separate_at_paren(expr[m.end() - 1:])
438 ret, should_abort = self.interpret_statement(try_expr, local_vars, allow_recursion)
441 except Exception as e:
442 # XXX: This works for now, but makes debugging future issues very hard
445 pending = (None, False)
446 m = re.match(r'catch\s
*(?P
<err
>\
(\s
*{_NAME_RE}\s
*\
))?\
{{'.format(**globals()), expr)
448 sub_expr, expr = self._separate_at_paren(expr[m.end() - 1:])
452 catch_vars[m.group('err
')] = err.error if isinstance(err, JS_Throw) else err
453 catch_vars = local_vars.new_child(catch_vars)
454 err, pending = None, self.interpret_statement(sub_expr, catch_vars, allow_recursion)
456 m = re.match(r'finally\s
*\
{', expr)
458 sub_expr, expr = self._separate_at_paren(expr[m.end() - 1:])
459 ret, should_abort = self.interpret_statement(sub_expr, local_vars, allow_recursion)
463 ret, should_abort = pending
471 constructor, remaining = self._separate_at_paren(expr[m.end() - 1:])
472 if remaining.startswith('{'):
473 body, expr = self._separate_at_paren(remaining)
475 switch_m = re.match(r'switch\s
*\
(', remaining) # FIXME
477 switch_val, remaining = self._separate_at_paren(remaining[switch_m.end() - 1:])
478 body, expr = self._separate_at_paren(remaining, '}')
479 body = 'switch(%s){%s}
' % (switch_val, body)
481 body, expr = remaining, ''
482 start, cndn, increment = self._separate(constructor, ';')
483 self.interpret_expression(start, local_vars, allow_recursion)
485 if not _js_ternary(self.interpret_expression(cndn, local_vars, allow_recursion)):
488 ret, should_abort = self.interpret_statement(body, local_vars, allow_recursion)
495 self.interpret_expression(increment, local_vars, allow_recursion)
497 elif md.get('switch
'):
498 switch_val, remaining = self._separate_at_paren(expr[m.end() - 1:])
499 switch_val = self.interpret_expression(switch_val, local_vars, allow_recursion)
500 body, expr = self._separate_at_paren(remaining, '}')
501 items = body.replace('default
:', 'case default
:').split('case
')[1:]
502 for default in (False, True):
505 case, stmt = (i.strip() for i in self._separate(item, ':', 1))
507 matched = matched or case == 'default
'
509 matched = (case != 'default
'
510 and switch_val == self.interpret_expression(case, local_vars, allow_recursion))
514 ret, should_abort = self.interpret_statement(stmt, local_vars, allow_recursion)
523 ret, should_abort = self.interpret_statement(expr, local_vars, allow_recursion)
524 return ret, should_abort or should_return
526 # Comma separated statements
527 sub_expressions = list(self._separate(expr))
528 if len(sub_expressions) > 1:
529 for sub_expr in sub_expressions:
530 ret, should_abort = self.interpret_statement(sub_expr, local_vars, allow_recursion)
535 for m in re.finditer(rf'''(?x)
536 (?P<pre_sign>\+\+|--)(?P<var1>{_NAME_RE})|
537 (?P<var2>{_NAME_RE})(?P<post_sign>\+\+|--)''', expr):
538 var = m.group('var1
') or m.group('var2
')
539 start, end = m.span()
540 sign = m.group('pre_sign
') or m.group('post_sign
')
541 ret = local_vars[var]
542 local_vars[var] += 1 if sign[0] == '+' else -1
543 if m.group('pre_sign
'):
544 ret = local_vars[var]
545 expr = expr[:start] + self._dump(ret, local_vars) + expr[end:]
548 return None, should_return
550 m = re.match(fr'''(?x)
552 (?P<out>{_NAME_RE})(?:\[(?P<index>[^\]]+?)\])?\s*
553 (?P<op>{"|".join(map(re.escape, set(_OPERATORS) - _COMP_OPERATORS))})?
556 (?!if|return|true|false|null|undefined|NaN)(?P<name>{_NAME_RE})$
558 (?P<in>{_NAME_RE})\[(?P<idx>.+)\]$
560 (?P<var>{_NAME_RE})(?:(?P<nullish>\?)?\.(?P<member>[^(]+)|\[(?P<member2>[^\]]+)\])\s*
562 (?P<fname>{_NAME_RE})\((?P<args>.*)\)$
564 if m and m.group('assign
'):
565 left_val = local_vars.get(m.group('out
'))
567 if not m.group('index
'):
568 local_vars[m.group('out
')] = self._operator(
569 m.group('op
'), left_val, m.group('expr
'), expr, local_vars, allow_recursion)
570 return local_vars[m.group('out
')], should_return
571 elif left_val in (None, JS_Undefined):
572 raise self.Exception(f'Cannot index undefined variable {m.group("out")}
', expr)
574 idx = self.interpret_expression(m.group('index
'), local_vars, allow_recursion)
575 if not isinstance(idx, (int, float)):
576 raise self.Exception(f'List index {idx} must be integer
', expr)
578 left_val[idx] = self._operator(
579 m.group('op
'), self._index(left_val, idx), m.group('expr
'), expr, local_vars, allow_recursion)
580 return left_val[idx], should_return
583 return int(expr), should_return
585 elif expr == 'break':
587 elif expr == 'continue':
589 elif expr == 'undefined
':
590 return JS_Undefined, should_return
592 return float('NaN
'), should_return
594 elif m and m.group('return'):
595 return local_vars.get(m.group('name
'), JS_Undefined), should_return
597 with contextlib.suppress(ValueError):
598 return json.loads(js_to_json(expr, strict=True)), should_return
600 if m and m.group('indexing
'):
601 val = local_vars[m.group('in')]
602 idx = self.interpret_expression(m.group('idx
'), local_vars, allow_recursion)
603 return self._index(val, idx), should_return
605 for op in _OPERATORS:
606 separated = list(self._separate(expr, op))
607 right_expr = separated.pop()
609 if op in '?
<>*-' and len(separated) > 1 and not separated[-1].strip():
611 elif not (separated and op == '?
' and right_expr.startswith('.')):
613 right_expr = f'{op}{right_expr}
'
615 right_expr = f'{separated.pop()}{op}{right_expr}
'
618 left_val = self.interpret_expression(op.join(separated), local_vars, allow_recursion)
619 return self._operator(op, left_val, right_expr, expr, local_vars, allow_recursion), should_return
621 if m and m.group('attribute
'):
622 variable, member, nullish = m.group('var
', 'member
', 'nullish
')
624 member = self.interpret_expression(m.group('member2
'), local_vars, allow_recursion)
625 arg_str = expr[m.end():]
626 if arg_str.startswith('('):
627 arg_str, remaining = self._separate_at_paren(arg_str)
629 arg_str, remaining = None, arg_str
631 def assertion(cndn, msg):
632 """ assert, but without risk of getting optimized out """
634 raise self.Exception(f'{member} {msg}
', expr)
637 if (variable, member) == ('console
', 'debug
'):
639 Debugger.write(self.interpret_expression(f'[{arg_str}
]', local_vars, allow_recursion))
646 obj = local_vars.get(variable, types.get(variable, NO_DEFAULT))
647 if obj is NO_DEFAULT:
648 if variable not in self._objects:
650 self._objects[variable] = self.extract_object(variable)
651 except self.Exception:
654 obj = self._objects.get(variable, JS_Undefined)
656 if nullish and obj is JS_Undefined:
661 return self._index(obj, member, nullish)
665 self.interpret_expression(v, local_vars, allow_recursion)
666 for v in self._separate(arg_str)]
669 if member == 'fromCharCode
':
670 assertion(argvals, 'takes one
or more arguments
')
671 return ''.join(map(chr, argvals))
672 raise self.Exception(f'Unsupported String method {member}
', expr)
675 assertion(len(argvals) == 2, 'takes two arguments
')
676 return argvals[0] ** argvals[1]
677 raise self.Exception(f'Unsupported Math method {member}
', expr)
679 if member == 'split
':
680 assertion(argvals, 'takes one
or more arguments
')
681 assertion(len(argvals) == 1, 'with limit argument
is not implemented
')
682 return obj.split(argvals[0]) if argvals[0] else list(obj)
683 elif member == 'join
':
684 assertion(isinstance(obj, list), 'must be applied on a
list')
685 assertion(len(argvals) == 1, 'takes exactly one argument
')
686 return argvals[0].join(obj)
687 elif member == 'reverse
':
688 assertion(not argvals, 'does
not take any arguments
')
691 elif member == 'slice':
692 assertion(isinstance(obj, list), 'must be applied on a
list')
693 assertion(len(argvals) == 1, 'takes exactly one argument
')
694 return obj[argvals[0]:]
695 elif member == 'splice
':
696 assertion(isinstance(obj, list), 'must be applied on a
list')
697 assertion(argvals, 'takes one
or more arguments
')
698 index, howMany = map(int, (argvals + [len(obj)])[:2])
701 add_items = argvals[2:]
703 for i in range(index, min(index + howMany, len(obj))):
704 res.append(obj.pop(index))
705 for i, item in enumerate(add_items):
706 obj.insert(index + i, item)
708 elif member == 'unshift
':
709 assertion(isinstance(obj, list), 'must be applied on a
list')
710 assertion(argvals, 'takes one
or more arguments
')
711 for item in reversed(argvals):
714 elif member == 'pop
':
715 assertion(isinstance(obj, list), 'must be applied on a
list')
716 assertion(not argvals, 'does
not take any arguments
')
720 elif member == 'push
':
721 assertion(argvals, 'takes one
or more arguments
')
724 elif member == 'forEach
':
725 assertion(argvals, 'takes one
or more arguments
')
726 assertion(len(argvals) <= 2, 'takes at
-most
2 arguments
')
727 f, this = (argvals + [''])[:2]
728 return [f((item, idx, obj), {'this': this}, allow_recursion) for idx, item in enumerate(obj)]
729 elif member == 'indexOf
':
730 assertion(argvals, 'takes one
or more arguments
')
731 assertion(len(argvals) <= 2, 'takes at
-most
2 arguments
')
732 idx, start = (argvals + [0])[:2]
734 return obj.index(idx, start)
737 elif member == 'charCodeAt
':
738 assertion(isinstance(obj, str), 'must be applied on a string
')
739 assertion(len(argvals) == 1, 'takes exactly one argument
')
740 idx = argvals[0] if isinstance(argvals[0], int) else 0
745 idx = int(member) if isinstance(obj, list) else member
746 return obj[idx](argvals, allow_recursion=allow_recursion)
749 ret, should_abort = self.interpret_statement(
750 self._named_object(local_vars, eval_method()) + remaining,
751 local_vars, allow_recursion)
752 return ret, should_return or should_abort
754 return eval_method(), should_return
756 elif m and m.group('function
'):
757 fname = m.group('fname
')
758 argvals = [self.interpret_expression(v, local_vars, allow_recursion)
759 for v in self._separate(m.group('args
'))]
760 if fname in local_vars:
761 return local_vars[fname](argvals, allow_recursion=allow_recursion), should_return
762 elif fname not in self._functions:
763 self._functions[fname] = self.extract_function(fname)
764 return self._functions[fname](argvals, allow_recursion=allow_recursion), should_return
766 raise self.Exception(
767 f'Unsupported JS expression {truncate_string(expr, 20, 20) if expr != stmt else ""}
', stmt)
769 def interpret_expression(self, expr, local_vars, allow_recursion):
770 ret, should_return = self.interpret_statement(expr, local_vars, allow_recursion)
772 raise self.Exception('Cannot
return from an expression
', expr)
775 def extract_object(self, objname):
776 _FUNC_NAME_RE = r'''(?:[a-zA-Z$0-9]+|"[a-zA-Z$0-9]+"|'[a
-zA
-Z$
0-9]+')'''
780 (?<!this\.)%s\s*=\s*{\s*
781 (?P<fields>(%s\s*:\s*function\s*\(.*?\)\s*{.*?}(?:,\s*)?)*)
783 ''' % (re.escape(objname), _FUNC_NAME_RE),
786 raise self.Exception(f'Could
not find
object {objname}
')
787 fields = obj_m.group('fields
')
788 # Currently, it only supports function definitions
789 fields_m = re.finditer(
791 (?P<key>%s)\s*:\s*function\s*\((?P<args>(?:%s|,)*)\){(?P<code>[^}]+)}
792 ''' % (_FUNC_NAME_RE, _NAME_RE),
795 argnames = f.group('args
').split(',')
796 name = remove_quotes(f.group('key
'))
797 obj[name] = function_with_repr(self.build_function(argnames, f.group('code
')), f'F
<{name}
>')
801 def extract_function_code(self, funcname):
802 """ @returns argnames, code """
807 [{;,]\s*%(name)s\s*=\s*function|
808 (?:var|const|let)\s+%(name)s\s*=\s*function
810 \((?P<args>[^)]*)\)\s*
811 (?P<code>{.+})''' % {'name': re.escape(funcname)},
813 code, _ = self._separate_at_paren(func_m.group('code
'))
815 raise self.Exception(f'Could
not find JS function
"{funcname}"')
816 return [x.strip() for x in func_m.group('args
').split(',')], code
818 def extract_function(self, funcname):
819 return function_with_repr(
820 self.extract_function_from_code(*self.extract_function_code(funcname)),
823 def extract_function_from_code(self, argnames, code, *global_stack):
826 mobj = re.search(r'function\
((?P
<args
>[^
)]*)\
)\s
*{', code)
829 start, body_start = mobj.span()
830 body, remaining = self._separate_at_paren(code[body_start - 1:])
831 name = self._named_object(local_vars, self.extract_function_from_code(
832 [x.strip() for x in mobj.group('args
').split(',')],
833 body, local_vars, *global_stack))
834 code = code[:start] + name + remaining
835 return self.build_function(argnames, code, local_vars, *global_stack)
837 def call_function(self, funcname, *args):
838 return self.extract_function(funcname)(args)
840 def build_function(self, argnames, code, *global_stack):
841 global_stack = list(global_stack) or [{}]
842 argnames = tuple(argnames)
844 def resf(args, kwargs={}, allow_recursion=100):
845 global_stack[0].update(itertools.zip_longest(argnames, args, fillvalue=None))
846 global_stack[0].update(kwargs)
847 var_stack = LocalNameSpace(*global_stack)
848 ret, should_abort = self.interpret_statement(code.replace('\n', ' '), var_stack, allow_recursion - 1)