jsii-pacmak 1.62.0 → 1.63.0

package/jest.config.mjs

@@ -2,4 +2,5 @@ import { overriddenConfig } from '../../jest.config.mjs';
 
 export default overriddenConfig({
   coveragePathIgnorePatterns: ['/node_modules/', '<rootDir>/test'],
+  watchPathIgnorePatterns: ['.*\\.tsx?$'],
 });

package/lib/targets/go/types/go-type-reference.js

@@ -103,9 +103,12 @@ class GoTypeRef {
                 ret.push(...this.typeMap.value.dependencies);
                 break;
             case 'union':
-                for (const t of this.typeMap.value) {
-                    ret.push(...t.dependencies);
-                }
+                // Unions ultimately result in `interface{}` being rendered, so no import is needed. We
+                // hence ignore them entirely here for now. In the future, we may want to inject specific
+                // runtime type checks around use of unions, which may result in imports being useful.
+                // for (const t of this.typeMap.value) {
+                //   ret.push(...t.dependencies);
+                // }
                 break;
             case 'void':
             case 'primitive':

package/lib/targets/python.js

@@ -295,7 +295,7 @@ class BasePythonClassType {
     }
 }
 class BaseMethod {
-    constructor(generator, pythonName, jsName, parameters, returns, docs, isStatic, opts) {
+    constructor(generator, pythonName, jsName, parameters, returns, docs, isStatic, pythonParent, opts) {
         this.generator = generator;
         this.pythonName = pythonName;
         this.jsName = jsName;
@@ -303,6 +303,7 @@ class BaseMethod {
         this.returns = returns;
         this.docs = docs;
         this.isStatic = isStatic;
+        this.pythonParent = pythonParent;
         this.classAsFirstParameter = false;
         this.returnFromJSIIMethod = true;
         this.shouldEmitBody = true;
@@ -442,6 +443,10 @@ class BaseMethod {
             arguments: documentableArgs,
             documentableItem: `method-${this.pythonName}`,
         });
+        if ((this.shouldEmitBody || forceEmitBody) &&
+            (!renderAbstract || !this.abstract)) {
+            emitParameterTypeChecks(code, pythonParams.slice(1), `${this.pythonParent.pythonName}.${this.pythonName}`);
+        }
         this.emitBody(code, context, renderAbstract, forceEmitBody, liftedPropNames, pythonParams[0], returnType);
         code.closeBlock();
     }
@@ -541,12 +546,13 @@ class BaseMethod {
     }
 }
 class BaseProperty {
-    constructor(generator, pythonName, jsName, type, docs, opts) {
+    constructor(generator, pythonName, jsName, type, docs, pythonParent, opts) {
         this.generator = generator;
         this.pythonName = pythonName;
         this.jsName = jsName;
         this.type = type;
         this.docs = docs;
+        this.pythonParent = pythonParent;
         this.shouldEmitBody = true;
         const { abstract = false, immutable = false, isStatic = false } = opts;
         this.abstract = abstract;
@@ -573,6 +579,7 @@ class BaseProperty {
         this.generator.emitDocString(code, this.apiLocation, this.docs, {
             documentableItem: `prop-${this.pythonName}`,
         });
+        // NOTE: No parameters to validate here, this is a getter...
         if ((this.shouldEmitBody || forceEmitBody) &&
             (!renderAbstract || !this.abstract)) {
             code.line(`return typing.cast(${pythonType}, jsii.${this.jsiiGetMethod}(${this.implicitParameter}, "${this.jsName}"))`);
@@ -590,6 +597,11 @@ class BaseProperty {
             openSignature(code, 'def', this.pythonName, [this.implicitParameter, `value: ${pythonType}`], false, 'None');
             if ((this.shouldEmitBody || forceEmitBody) &&
                 (!renderAbstract || !this.abstract)) {
+                emitParameterTypeChecks(code, [`value: ${pythonType}`], 
+                // In order to get a property accessor, we must resort to getting the
+                // attribute on the type, instead of the value (where the getter would
+                // be implicitly invoked for us...)
+                `getattr(${this.pythonParent.pythonName}, ${JSON.stringify(this.pythonName)}).fset`);
                 code.line(`jsii.${this.jsiiSetMethod}(${this.implicitParameter}, "${this.jsName}", value)`);
             }
             else {
@@ -724,7 +736,7 @@ class Struct extends BasePythonClassType {
             : [implicitParameter];
         openSignature(code, 'def', '__init__', constructorArguments, false, 'None');
         this.emitConstructorDocstring(code);
-        // Re-type struct arguments that were passed as "dict"
+        // Re-type struct arguments that were passed as "dict". Do this before validating argument types...
         for (const member of members.filter((m) => m.isStruct(this.generator))) {
             // Note that "None" is NOT an instance of dict (that's convenient!)
             const typeName = (0, type_name_1.toTypeName)(member.type.type).pythonType({
@@ -735,6 +747,7 @@ class Struct extends BasePythonClassType {
             code.line(`${member.pythonName} = ${typeName}(**${member.pythonName})`);
             code.closeBlock();
         }
+        emitParameterTypeChecks(code, kwargs, `${this.pythonName}.__init__`);
         // Required properties, those will always be put into the dict
         assignDictionary(code, `${implicitParameter}._values: typing.Dict[str, typing.Any]`, members
             .filter((m) => !m.optional)
@@ -763,6 +776,7 @@ class Struct extends BasePythonClassType {
         code.line('@builtins.property');
         openSignature(code, 'def', member.pythonName, ['self'], true, pythonType);
         member.emitDocString(code);
+        // NOTE: No parameter to validate here, this is a getter.
         code.line(`result = self._values.get(${JSON.stringify(member.pythonName)})`);
         if (!member.optional) {
             // Add an assertion to maye MyPY happy!
@@ -1099,6 +1113,8 @@ class PythonModule {
         code.line('import jsii');
         code.line('import publication');
         code.line('import typing_extensions');
+        code.line();
+        code.line('from typeguard import check_type');
         // Determine if we need to write out the kernel load line.
         if (this.loadAssembly) {
             this.emitDependencyImports(code);
@@ -1376,6 +1392,7 @@ class Package {
             install_requires: [
                 `jsii${(0, version_utils_1.toPythonVersionRange)(`^${jsiiVersionSimple}`)}`,
                 'publication>=0.0.3',
+                'typeguard~=2.13.3',
             ]
                 .concat(dependencies)
                 .sort(),
@@ -1756,21 +1773,23 @@ class PythonGenerator extends generator_1.Generator {
         if (cls.initializer !== undefined) {
             const { parameters = [] } = cls.initializer;
             klass.addMember(new Initializer(this, '__init__', undefined, parameters, undefined, cls.initializer.docs, false, // Never static
-            { liftedProp: this.getliftedProp(cls.initializer), parent: cls }));
+            klass, { liftedProp: this.getliftedProp(cls.initializer), parent: cls }));
         }
         this.addPythonType(klass);
     }
     onStaticMethod(cls, method) {
         const { parameters = [] } = method;
-        this.getPythonType(cls.fqn).addMember(new StaticMethod(this, toPythonMethodName(method.name), method.name, parameters, method.returns, method.docs, true, // Always static
-        {
+        const klass = this.getPythonType(cls.fqn);
+        klass.addMember(new StaticMethod(this, toPythonMethodName(method.name), method.name, parameters, method.returns, method.docs, true, // Always static
+        klass, {
             abstract: method.abstract,
             liftedProp: this.getliftedProp(method),
             parent: cls,
         }));
     }
     onStaticProperty(cls, prop) {
-        this.getPythonType(cls.fqn).addMember(new StaticProperty(this, toPythonPropertyName(prop.name, prop.const), prop.name, prop, prop.docs, {
+        const klass = this.getPythonType(cls.fqn);
+        klass.addMember(new StaticProperty(this, toPythonPropertyName(prop.name, prop.const), prop.name, prop, prop.docs, klass, {
             abstract: prop.abstract,
             immutable: prop.immutable,
             isStatic: prop.static,
@@ -1779,15 +1798,16 @@ class PythonGenerator extends generator_1.Generator {
     }
     onMethod(cls, method) {
         const { parameters = [] } = method;
+        const klass = this.getPythonType(cls.fqn);
         if (method.async) {
-            this.getPythonType(cls.fqn).addMember(new AsyncMethod(this, toPythonMethodName(method.name, method.protected), method.name, parameters, method.returns, method.docs, !!method.static, {
+            klass.addMember(new AsyncMethod(this, toPythonMethodName(method.name, method.protected), method.name, parameters, method.returns, method.docs, !!method.static, klass, {
                 abstract: method.abstract,
                 liftedProp: this.getliftedProp(method),
                 parent: cls,
             }));
         }
         else {
-            this.getPythonType(cls.fqn).addMember(new Method(this, toPythonMethodName(method.name, method.protected), method.name, parameters, method.returns, method.docs, !!method.static, {
+            klass.addMember(new Method(this, toPythonMethodName(method.name, method.protected), method.name, parameters, method.returns, method.docs, !!method.static, klass, {
                 abstract: method.abstract,
                 liftedProp: this.getliftedProp(method),
                 parent: cls,
@@ -1795,7 +1815,8 @@ class PythonGenerator extends generator_1.Generator {
         }
     }
     onProperty(cls, prop) {
-        this.getPythonType(cls.fqn).addMember(new Property(this, toPythonPropertyName(prop.name, prop.const, prop.protected), prop.name, prop, prop.docs, {
+        const klass = this.getPythonType(cls.fqn);
+        klass.addMember(new Property(this, toPythonPropertyName(prop.name, prop.const, prop.protected), prop.name, prop, prop.docs, klass, {
             abstract: prop.abstract,
             immutable: prop.immutable,
             isStatic: prop.static,
@@ -1820,17 +1841,19 @@ class PythonGenerator extends generator_1.Generator {
     }
     onInterfaceMethod(ifc, method) {
         const { parameters = [] } = method;
-        this.getPythonType(ifc.fqn).addMember(new InterfaceMethod(this, toPythonMethodName(method.name, method.protected), method.name, parameters, method.returns, method.docs, !!method.static, { liftedProp: this.getliftedProp(method), parent: ifc }));
+        const klass = this.getPythonType(ifc.fqn);
+        klass.addMember(new InterfaceMethod(this, toPythonMethodName(method.name, method.protected), method.name, parameters, method.returns, method.docs, !!method.static, klass, { liftedProp: this.getliftedProp(method), parent: ifc }));
     }
     onInterfaceProperty(ifc, prop) {
         let ifaceProperty;
+        const klass = this.getPythonType(ifc.fqn);
         if (ifc.datatype) {
             ifaceProperty = new StructField(this, prop, ifc);
         }
         else {
-            ifaceProperty = new InterfaceProperty(this, toPythonPropertyName(prop.name, prop.const, prop.protected), prop.name, prop, prop.docs, { immutable: prop.immutable, isStatic: prop.static, parent: ifc });
+            ifaceProperty = new InterfaceProperty(this, toPythonPropertyName(prop.name, prop.const, prop.protected), prop.name, prop, prop.docs, klass, { immutable: prop.immutable, isStatic: prop.static, parent: ifc });
         }
-        this.getPythonType(ifc.fqn).addMember(ifaceProperty);
+        klass.addMember(ifaceProperty);
     }
     onBeginEnum(enm) {
         this.addPythonType(new Enum(this, (0, util_2.toPythonIdentifier)(enm.name), enm, enm.fqn, {}, enm.docs));
@@ -1988,6 +2011,50 @@ function openSignature(code, keyword, name, params, trailingComma = false, retur
     code.unindent(false);
     code.openBlock(`)${suffix}`);
 }
+/**
+ * Emits runtime type checking code for parameters.
+ *
+ * @param code        the CodeMaker to use for emitting code.
+ * @param params      the parameter signatures to be type-checked.
+ * @param typedEntity the type-annotated entity.
+ */
+function emitParameterTypeChecks(code, params, typedEntity) {
+    const paramInfo = params.map((param) => {
+        const [name] = param.split(/\s*[:=]\s*/, 1);
+        if (name === '*') {
+            return { kwargsMark: true };
+        }
+        else if (name.startsWith('*')) {
+            return { name: name.slice(1), is_rest: true };
+        }
+        return { name };
+    });
+    const typesVar = slugifyAsNeeded('type_hints', paramInfo
+        .filter((param) => param.name != null)
+        .map((param) => param.name.split(/\s*:\s*/)[0]));
+    let openedBlock = false;
+    for (const { is_rest, kwargsMark, name } of paramInfo) {
+        if (kwargsMark) {
+            // This is the keyword-args separator, we won't check keyword arguments here because the kwargs will be rolled
+            // up into a struct instance, and that struct's constructor will be checking again...
+            break;
+        }
+        if (!openedBlock) {
+            code.openBlock('if __debug__');
+            code.line(`${typesVar} = typing.get_type_hints(${typedEntity})`);
+            openedBlock = true;
+        }
+        let expectedType = `${typesVar}[${JSON.stringify(name)}]`;
+        if (is_rest) {
+            // This is a vararg, so the value will appear as a tuple.
+            expectedType = `typing.Tuple[${expectedType}, ...]`;
+        }
+        code.line(`check_type(argname=${JSON.stringify(`argument ${name}`)}, value=${name}, expected_type=${expectedType})`);
+    }
+    if (openedBlock) {
+        code.closeBlock();
+    }
+}
 function assignCallResult(code, variable, funct, params) {
     const prefix = `${variable} = ${funct}(`;
     const suffix = ')';

package/lib/version.d.ts

@@ -1,5 +1,5 @@
 /** The short version number for this JSII compiler (e.g: `X.Y.Z`) */
-export declare const VERSION = "1.62.0";
+export declare const VERSION = "1.63.0";
 /** The qualified version number for this JSII compiler (e.g: `X.Y.Z (build #######)`) */
-export declare const VERSION_DESC = "1.62.0 (build 293ac17)";
+export declare const VERSION_DESC = "1.63.0 (build 7c24e36)";
 //# sourceMappingURL=version.d.ts.map

package/lib/version.js

@@ -1,9 +1,9 @@
 "use strict";
-// Generated at 2022-07-12T18:04:59Z by generate.sh
+// Generated at 2022-07-26T16:29:28Z by generate.sh
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.VERSION_DESC = exports.VERSION = void 0;
 /** The short version number for this JSII compiler (e.g: `X.Y.Z`) */
-exports.VERSION = '1.62.0';
+exports.VERSION = '1.63.0';
 /** The qualified version number for this JSII compiler (e.g: `X.Y.Z (build #######)`) */
-exports.VERSION_DESC = '1.62.0 (build 293ac17)';
+exports.VERSION_DESC = '1.63.0 (build 7c24e36)';
 //# sourceMappingURL=version.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "jsii-pacmak",
-  "version": "1.62.0",
+  "version": "1.63.0",
   "description": "A code generation framework for jsii backend languages",
   "license": "Apache-2.0",
   "author": {
@@ -37,31 +37,31 @@
     "package": "package-js"
   },
   "dependencies": {
-    "@jsii/check-node": "1.62.0",
-    "@jsii/spec": "^1.62.0",
+    "@jsii/check-node": "1.63.0",
+    "@jsii/spec": "^1.63.0",
     "clone": "^2.1.2",
-    "codemaker": "^1.62.0",
+    "codemaker": "^1.63.0",
     "commonmark": "^0.30.0",
     "escape-string-regexp": "^4.0.0",
     "fs-extra": "^10.1.0",
-    "jsii-reflect": "^1.62.0",
-    "jsii-rosetta": "^1.62.0",
+    "jsii-reflect": "^1.63.0",
+    "jsii-rosetta": "^1.63.0",
     "semver": "^7.3.7",
     "spdx-license-list": "^6.6.0",
     "xmlbuilder": "^15.1.1",
     "yargs": "^16.2.0"
   },
   "devDependencies": {
-    "@jsii/dotnet-runtime": "^1.62.0",
-    "@jsii/java-runtime": "^1.62.0",
-    "@jsii/go-runtime": "^1.62.0",
-    "@scope/jsii-calc-lib": "^1.62.0",
+    "@jsii/dotnet-runtime": "^1.63.0",
+    "@jsii/java-runtime": "^1.63.0",
+    "@jsii/go-runtime": "^1.63.0",
+    "@scope/jsii-calc-lib": "^1.63.0",
     "@types/clone": "^2.1.1",
     "@types/commonmark": "^0.27.5",
     "@types/fs-extra": "^9.0.13",
     "@types/semver": "^7.3.10",
-    "jsii": "^1.62.0",
-    "jsii-build-tools": "^1.62.0",
+    "jsii": "^1.63.0",
+    "jsii-build-tools": "^1.63.0",
     "jsii-calc": "^3.20.120"
   },
   "keywords": [