diff sat/bridge/bridge_constructor/base_constructor.py @ 3538:c605a0d6506f

bridge (constructor/base_constructor): add `args_no_default` to `completion`
author Goffi <goffi@goffi.org>
date Thu, 03 Jun 2021 15:21:43 +0200
parents 7550ae9cfbac
children 524856bd7b19
line wrap: on
line diff
--- a/sat/bridge/bridge_constructor/base_constructor.py	Thu Jun 03 15:20:47 2021 +0200
+++ b/sat/bridge/bridge_constructor/base_constructor.py	Thu Jun 03 15:21:43 2021 +0200
@@ -49,7 +49,7 @@
     FRONTEND_TEMPLATE = None
     FRONTEND_DEST = None
 
-    # set to False if your bridge need only core
+    # set to False if your bridge needs only core
     FRONTEND_ACTIVATE = True
 
     def __init__(self, bridge_template, options):
@@ -284,6 +284,7 @@
                 "args": self.getArguments(
                     function["sig_in"], name=arg_doc, default=default
                 ),
+                "args_no_default": self.getArguments(function["sig_in"], name=arg_doc),
             }
 
             extend_method = getattr(