rapydscript-ns 0.9.3 → 0.9.5

package/src/output/classes.pyj

@@ -125,8 +125,8 @@ def print_class(output):
             output.indent()
             output.spaced('if', '(this.ρσ_object_id', '===', 'undefined)', 'Object.defineProperty(this,', '"ρσ_object_id",', '{"value":++ρσ_object_counter})')
             output.end_statement()
-            if self.has_attr_dunders:
-                # Wrap in a Proxy so __getattr__/__setattr__/__delattr__/__getattribute__ are triggered.
+            if self.has_attr_dunders or self.slots:
+                # Wrap in a Proxy so __getattr__/__setattr__/__delattr__/__getattribute__/__slots__ are triggered.
                 output.indent()
                 output.print('var ρσ_proxy = ρσ_JS_Proxy ? new ρσ_JS_Proxy(this, ρσ_attr_proxy_handler) : this')
                 output.end_statement()
@@ -330,6 +330,29 @@ def print_class(output):
     output.print('.prototype, "__class__", {get: function() { return this.constructor; }, configurable: true})')
     output.end_statement()
 
+    # __slots__ enforcement: emit allowed attribute set on prototype
+    if self.slots:
+        output.indent()
+        self.name.print(output)
+        # Merge parent slots (if any) with this class's slots + bound methods
+        slot_obj = '{'
+        for i in range(self.slots.length):
+            if i > 0:
+                slot_obj += ', '
+            slot_obj += JSON.stringify(self.slots[i]) + ': true'
+        for i in range(self.bound.length):
+            if self.slots.length or i > 0:
+                slot_obj += ', '
+            slot_obj += JSON.stringify(self.bound[i]) + ': true'
+        slot_obj += '}'
+        if self.parent:
+            output.print('.prototype.__ρσ_slots__ = Object.assign({}, ')
+            self.parent.print(output)
+            output.print('.prototype.__ρσ_slots__, ' + slot_obj + ')')
+        else:
+            output.print('.prototype.__ρσ_slots__ = Object.assign({}, ' + slot_obj + ')')
+        output.end_statement()
+
     # Other statements in the class context (including nested class definitions).
     # Emitted BEFORE __init_subclass__ so that the hook can see class variables.
     # This matches Python's behaviour: the class body executes first, then the

package/src/output/codegen.pyj

@@ -7,7 +7,7 @@ from __python__ import hash_literals
 from utils import noop
 from parse import PRECEDENCE
 from ast import (
-    AST_Array, AST_Assign, AST_BaseCall, AST_Binary, AST_BlockStatement, AST_Break,
+    AST_Array, AST_Assign, AST_BaseCall, AST_BigInt, AST_Binary, AST_BlockStatement, AST_Break,
     AST_Class, AST_Conditional, AST_Constant, AST_Continue,
     AST_Debugger, AST_Definitions, AST_Directive, AST_Do, AST_Dot, is_node_type,
     AST_EmptyStatement, AST_Exit, AST_ExpressiveObject, AST_ForIn,
@@ -530,6 +530,9 @@ def generate_code():
     DEFPRINT(AST_Number, def(self, output):
         output.print(make_num(self.value))
     )
+    DEFPRINT(AST_BigInt, def(self, output):
+        output.print(self.value + "n")
+    )
     DEFPRINT(AST_RegExp, print_regexp)
 
     # -----[ JSX ]-----

package/src/output/comments.pyj

@@ -1,45 +1,45 @@
-# vim:fileencoding=utf-8
-# License: BSD Copyright: 2018, Kovid Goyal <kovid at kovidgoyal.net>
-from __python__ import hash_literals
-
-from ast import AST_Exit, is_node_type
-
-
-def output_comments(comments, output, nlb):
-    for comm in comments:
-        if comm.type is "comment1":
-            output.print("//" + comm.value + "\n")
-            output.indent()
-        elif comm.type is "comment2":
-            output.print("/*" + comm.value + "*/")
-            if nlb:
-                output.print("\n")
-                output.indent()
-            else:
-                output.space()
-
-
-def print_comments(self, output):
-    c = output.options.comments
-    if c:
-        start = self.start
-        if start and not start._comments_dumped:
-            start._comments_dumped = True
-            comments = start.comments_before
-            # XXX: ugly fix for https://github.com/mishoo/RapydScript2/issues/112
-            #      if this node is `return` or `throw`, we cannot allow comments before
-            #      the returned or thrown value.
-            if is_node_type(self, AST_Exit) and self.value and self.value.start.comments_before and self.value.start.comments_before.length > 0:
-                comments = (comments or v'[]').concat(self.value.start.comments_before)
-                self.value.start.comments_before = v'[]'
-
-            if c.test:
-                comments = comments.filter(def(comment):
-                    return c.test(comment.value)
-                )
-            elif jstype(c) is "function":
-                comments = comments.filter(def(comment):
-                    return c(self, comment)
-                )
-
-            output_comments(comments, output, start.nlb)
+# vim:fileencoding=utf-8
+# License: BSD Copyright: 2018, Kovid Goyal <kovid at kovidgoyal.net>
+from __python__ import hash_literals
+
+from ast import AST_Exit, is_node_type
+
+
+def output_comments(comments, output, nlb):
+    for comm in comments:
+        if comm.type is "comment1":
+            output.print("//" + comm.value + "\n")
+            output.indent()
+        elif comm.type is "comment2":
+            output.print("/*" + comm.value + "*/")
+            if nlb:
+                output.print("\n")
+                output.indent()
+            else:
+                output.space()
+
+
+def print_comments(self, output):
+    c = output.options.comments
+    if c:
+        start = self.start
+        if start and not start._comments_dumped:
+            start._comments_dumped = True
+            comments = start.comments_before
+            # XXX: ugly fix for https://github.com/mishoo/RapydScript2/issues/112
+            #      if this node is `return` or `throw`, we cannot allow comments before
+            #      the returned or thrown value.
+            if is_node_type(self, AST_Exit) and self.value and self.value.start.comments_before and self.value.start.comments_before.length > 0:
+                comments = (comments or v'[]').concat(self.value.start.comments_before)
+                self.value.start.comments_before = v'[]'
+
+            if c.test:
+                comments = comments.filter(def(comment):
+                    return c.test(comment.value)
+                )
+            elif jstype(c) is "function":
+                comments = comments.filter(def(comment):
+                    return c(self, comment)
+                )
+
+            output_comments(comments, output, start.nlb)

package/src/output/exceptions.pyj

@@ -1,201 +1,201 @@
-# vim:fileencoding=utf-8
-# License: BSD Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
-from __python__ import hash_literals
-
-from output.statements import print_bracketed, display_body
-
-
-def print_try(self, output):
-    else_var_name = None
-    def update_output_var(output):
-        output.indent(), output.assign(else_var_name), output.print('true'), output.end_statement()
-    if self.belse:
-        else_var_name = output.new_try_else_counter()
-        output.assign('var ' + else_var_name), output.print('false'), output.end_statement(), output.indent()
-    output.print("try")
-    output.space()
-    print_bracketed(self, output, False, None, None, update_output_var if else_var_name else None)
-    if self.bcatch:
-        output.space()
-        print_catch(self.bcatch, output)
-
-    if self.bfinally:
-        output.space()
-        print_finally(self.bfinally, output, self.belse, else_var_name)
-    elif self.belse:
-        output.newline()
-        print_else(self.belse, else_var_name, output)
-
-
-def print_catch(self, output):
-    # Dispatch to except* handler when any clause is an exception group handler
-    if self.body.length and self.body[0].is_star:
-        print_catch_star(self, output)
-        return
-    output.print("catch")
-    output.space()
-    output.with_parens(def():
-        output.print("ρσ_Exception")
-    )
-    output.space()
-    output.with_block(def():
-        output.indent()
-        output.spaced('ρσ_last_exception', '=', 'ρσ_Exception'), output.end_statement()
-        output.indent()
-        no_default = True
-        for i, exception in enumerate(self.body):
-            if i:
-                output.print("else ")
-
-            if exception.errors.length:
-                output.print("if")
-                output.space()
-                output.with_parens(def():
-                    for i, err in enumerate(exception.errors):
-                        if i:
-                            output.newline()
-                            output.indent()
-                            output.print("||")
-                            output.space()
-
-                        output.print("ρσ_Exception")
-                        output.space()
-                        output.print("instanceof")
-                        output.space()
-                        if err.name is 'Exception':
-                            output.print('Error')
-                        else:
-                            err.print(output)
-                )
-                output.space()
-            else:
-                no_default = False
-            print_bracketed(exception, output, True)
-            output.space()
-        if no_default:
-            output.print("else")
-            output.space()
-            output.with_block(def():
-                output.indent()
-                output.print("throw")
-                output.space()
-                output.print("ρσ_Exception")
-                output.semicolon()
-                output.newline()
-            )
-        output.newline()
-    )
-
-
-def _eg_type_cond(errors, varname):
-    # Build a JS condition string testing varname against each error type
-    parts = []
-    for err in errors:
-        if err.name is 'Exception':
-            parts.push(varname + " instanceof Error")
-        else:
-            parts.push(varname + " instanceof " + err.name)
-    return parts.join(" || ")
-
-
-def print_catch_star(self, output):
-    output.print("catch")
-    output.space()
-    output.with_parens(def():
-        output.print("ρσ_Exception")
-    )
-    output.space()
-    output.with_block(def():
-        output.indent()
-        output.spaced('ρσ_last_exception', '=', 'ρσ_Exception'), output.end_statement()
-
-        # Normalise: wrap non-ExceptionGroup exception into a one-element array
-        output.indent()
-        output.print("var ρσ_eg_exceptions = (ρσ_Exception instanceof ExceptionGroup) ? ρσ_Exception.exceptions.slice() : [ρσ_Exception]")
-        output.semicolon(), output.newline()
-        output.indent()
-        output.print("var ρσ_eg_raised = []")
-        output.semicolon(), output.newline()
-
-        for ei, exception in enumerate(self.body):
-            idx = str(ei)
-            if exception.errors.length:
-                cond = _eg_type_cond(exception.errors, "ρσ_et")
-                output.indent()
-                output.print("var ρσ_eg_matched_" + idx + " = ρσ_eg_exceptions.filter(function(ρσ_et) { return " + cond + "; })")
-                output.semicolon(), output.newline()
-                output.indent()
-                output.print("ρσ_eg_exceptions = ρσ_eg_exceptions.filter(function(ρσ_et) { return !(" + cond + "); })")
-                output.semicolon(), output.newline()
-            else:
-                # Bare except*: take all remaining
-                output.indent()
-                output.print("var ρσ_eg_matched_" + idx + " = ρσ_eg_exceptions.slice()")
-                output.semicolon(), output.newline()
-                output.indent()
-                output.print("ρσ_eg_exceptions = []")
-                output.semicolon(), output.newline()
-
-            output.indent()
-            output.print("if (ρσ_eg_matched_" + idx + ".length > 0)")
-            output.space()
-            output.with_block(def():
-                if exception.argname:
-                    output.indent()
-                    output.print("var ")
-                    output.assign(exception.argname)
-                    output.print("(ρσ_Exception instanceof ExceptionGroup) ? new ExceptionGroup(ρσ_Exception.message, ρσ_eg_matched_" + idx + ") : ρσ_eg_matched_" + idx + "[0]")
-                    output.semicolon(), output.newline()
-                output.indent()
-                output.print("try")
-                output.space()
-                output.with_block(def():
-                    display_body(exception.body, False, output)
-                )
-                output.print(" catch (ρσ_eg_exc_" + idx + ")")
-                output.space()
-                output.with_block(def():
-                    output.indent()
-                    output.print("ρσ_eg_raised.push(ρσ_eg_exc_" + idx + ")")
-                    output.semicolon(), output.newline()
-                )
-                output.newline()
-            )
-            output.newline()
-
-        # Re-raise unmatched exceptions and any raised by handlers
-        output.indent()
-        output.print("var ρσ_eg_unhandled = ρσ_eg_exceptions.concat(ρσ_eg_raised)")
-        output.semicolon(), output.newline()
-        output.indent()
-        output.print("if (ρσ_eg_unhandled.length > 0)")
-        output.space()
-        output.with_block(def():
-            output.indent()
-            output.print("throw (ρσ_eg_unhandled.length === 1 && !(ρσ_Exception instanceof ExceptionGroup)) ? ρσ_eg_unhandled[0] : new ExceptionGroup((ρσ_Exception instanceof ExceptionGroup) ? ρσ_Exception.message : \"unhandled exceptions\", ρσ_eg_unhandled)")
-            output.semicolon(), output.newline()
-        )
-        output.newline()
-    )
-
-
-def print_finally(self, output, belse, else_var_name):
-    output.print("finally")
-    output.space()
-    if else_var_name:
-        output.with_block(def():
-            output.indent(), output.print("try")
-            output.space()
-            output.with_block(def():
-                print_else(belse, else_var_name, output)
-            )
-            print_finally(self, output)
-        )
-    else:
-        print_bracketed(self, output)
-
-
-def print_else(self, else_var_name, output):
-    output.indent(), output.spaced('if', '(' + else_var_name + ')')
-    output.space()
-    print_bracketed(self, output)
+# vim:fileencoding=utf-8
+# License: BSD Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
+from __python__ import hash_literals
+
+from output.statements import print_bracketed, display_body
+
+
+def print_try(self, output):
+    else_var_name = None
+    def update_output_var(output):
+        output.indent(), output.assign(else_var_name), output.print('true'), output.end_statement()
+    if self.belse:
+        else_var_name = output.new_try_else_counter()
+        output.assign('var ' + else_var_name), output.print('false'), output.end_statement(), output.indent()
+    output.print("try")
+    output.space()
+    print_bracketed(self, output, False, None, None, update_output_var if else_var_name else None)
+    if self.bcatch:
+        output.space()
+        print_catch(self.bcatch, output)
+
+    if self.bfinally:
+        output.space()
+        print_finally(self.bfinally, output, self.belse, else_var_name)
+    elif self.belse:
+        output.newline()
+        print_else(self.belse, else_var_name, output)
+
+
+def print_catch(self, output):
+    # Dispatch to except* handler when any clause is an exception group handler
+    if self.body.length and self.body[0].is_star:
+        print_catch_star(self, output)
+        return
+    output.print("catch")
+    output.space()
+    output.with_parens(def():
+        output.print("ρσ_Exception")
+    )
+    output.space()
+    output.with_block(def():
+        output.indent()
+        output.spaced('ρσ_last_exception', '=', 'ρσ_Exception'), output.end_statement()
+        output.indent()
+        no_default = True
+        for i, exception in enumerate(self.body):
+            if i:
+                output.print("else ")
+
+            if exception.errors.length:
+                output.print("if")
+                output.space()
+                output.with_parens(def():
+                    for i, err in enumerate(exception.errors):
+                        if i:
+                            output.newline()
+                            output.indent()
+                            output.print("||")
+                            output.space()
+
+                        output.print("ρσ_Exception")
+                        output.space()
+                        output.print("instanceof")
+                        output.space()
+                        if err.name is 'Exception':
+                            output.print('Error')
+                        else:
+                            err.print(output)
+                )
+                output.space()
+            else:
+                no_default = False
+            print_bracketed(exception, output, True)
+            output.space()
+        if no_default:
+            output.print("else")
+            output.space()
+            output.with_block(def():
+                output.indent()
+                output.print("throw")
+                output.space()
+                output.print("ρσ_Exception")
+                output.semicolon()
+                output.newline()
+            )
+        output.newline()
+    )
+
+
+def _eg_type_cond(errors, varname):
+    # Build a JS condition string testing varname against each error type
+    parts = []
+    for err in errors:
+        if err.name is 'Exception':
+            parts.push(varname + " instanceof Error")
+        else:
+            parts.push(varname + " instanceof " + err.name)
+    return parts.join(" || ")
+
+
+def print_catch_star(self, output):
+    output.print("catch")
+    output.space()
+    output.with_parens(def():
+        output.print("ρσ_Exception")
+    )
+    output.space()
+    output.with_block(def():
+        output.indent()
+        output.spaced('ρσ_last_exception', '=', 'ρσ_Exception'), output.end_statement()
+
+        # Normalise: wrap non-ExceptionGroup exception into a one-element array
+        output.indent()
+        output.print("var ρσ_eg_exceptions = (ρσ_Exception instanceof ExceptionGroup) ? ρσ_Exception.exceptions.slice() : [ρσ_Exception]")
+        output.semicolon(), output.newline()
+        output.indent()
+        output.print("var ρσ_eg_raised = []")
+        output.semicolon(), output.newline()
+
+        for ei, exception in enumerate(self.body):
+            idx = str(ei)
+            if exception.errors.length:
+                cond = _eg_type_cond(exception.errors, "ρσ_et")
+                output.indent()
+                output.print("var ρσ_eg_matched_" + idx + " = ρσ_eg_exceptions.filter(function(ρσ_et) { return " + cond + "; })")
+                output.semicolon(), output.newline()
+                output.indent()
+                output.print("ρσ_eg_exceptions = ρσ_eg_exceptions.filter(function(ρσ_et) { return !(" + cond + "); })")
+                output.semicolon(), output.newline()
+            else:
+                # Bare except*: take all remaining
+                output.indent()
+                output.print("var ρσ_eg_matched_" + idx + " = ρσ_eg_exceptions.slice()")
+                output.semicolon(), output.newline()
+                output.indent()
+                output.print("ρσ_eg_exceptions = []")
+                output.semicolon(), output.newline()
+
+            output.indent()
+            output.print("if (ρσ_eg_matched_" + idx + ".length > 0)")
+            output.space()
+            output.with_block(def():
+                if exception.argname:
+                    output.indent()
+                    output.print("var ")
+                    output.assign(exception.argname)
+                    output.print("(ρσ_Exception instanceof ExceptionGroup) ? new ExceptionGroup(ρσ_Exception.message, ρσ_eg_matched_" + idx + ") : ρσ_eg_matched_" + idx + "[0]")
+                    output.semicolon(), output.newline()
+                output.indent()
+                output.print("try")
+                output.space()
+                output.with_block(def():
+                    display_body(exception.body, False, output)
+                )
+                output.print(" catch (ρσ_eg_exc_" + idx + ")")
+                output.space()
+                output.with_block(def():
+                    output.indent()
+                    output.print("ρσ_eg_raised.push(ρσ_eg_exc_" + idx + ")")
+                    output.semicolon(), output.newline()
+                )
+                output.newline()
+            )
+            output.newline()
+
+        # Re-raise unmatched exceptions and any raised by handlers
+        output.indent()
+        output.print("var ρσ_eg_unhandled = ρσ_eg_exceptions.concat(ρσ_eg_raised)")
+        output.semicolon(), output.newline()
+        output.indent()
+        output.print("if (ρσ_eg_unhandled.length > 0)")
+        output.space()
+        output.with_block(def():
+            output.indent()
+            output.print("throw (ρσ_eg_unhandled.length === 1 && !(ρσ_Exception instanceof ExceptionGroup)) ? ρσ_eg_unhandled[0] : new ExceptionGroup((ρσ_Exception instanceof ExceptionGroup) ? ρσ_Exception.message : \"unhandled exceptions\", ρσ_eg_unhandled)")
+            output.semicolon(), output.newline()
+        )
+        output.newline()
+    )
+
+
+def print_finally(self, output, belse, else_var_name):
+    output.print("finally")
+    output.space()
+    if else_var_name:
+        output.with_block(def():
+            output.indent(), output.print("try")
+            output.space()
+            output.with_block(def():
+                print_else(belse, else_var_name, output)
+            )
+            print_finally(self, output)
+        )
+    else:
+        print_bracketed(self, output)
+
+
+def print_else(self, else_var_name, output):
+    output.indent(), output.spaced('if', '(' + else_var_name + ')')
+    output.space()
+    print_bracketed(self, output)