add finding type from imported module (#150)

Signed-off-by: Su Yihan <[email protected]>

src/import_resolve.ts

@@ -98,6 +98,13 @@ export class ImportResolver {
                         importModuleScope,
                     );
                 }
+                if (
+                    !globalScope.importGlobalScopeList.includes(
+                        importModuleScope,
+                    )
+                ) {
+                    globalScope.importGlobalScopeList.push(importModuleScope);
+                }
                 break;
             }
             case ts.SyntaxKind.ExportDeclaration: {

src/scope.ts

@@ -259,6 +259,15 @@ export class Scope {
             }
         }
 
+        if (!res && searchType === importSearchTypes.Type) {
+            for (const _importGlobalScope of scope.importGlobalScopeList) {
+                if (_importGlobalScope.namedTypeMap.has(name)) {
+                    res = _importGlobalScope.namedTypeMap.get(name);
+                    break;
+                }
+            }
+        }
+
         return res;
     }
 
@@ -609,6 +618,7 @@ export class GlobalScope extends Scope {
 
     isCircularImport = false;
     importStartFuncNameList: string[] = [];
+    importGlobalScopeList: GlobalScope[] = [];
 
     constructor(parent: Scope | null = null) {
         super(parent);

src/variable.ts

@@ -250,6 +250,11 @@ export class VariableScanner {
                 const variableName = variableDeclarationNode.name.getText();
                 const typeName = this.typeResolver.getTsTypeName(node);
                 let variableType = currentScope.findType(typeName);
+                if (!variableType) {
+                    throw new Error(
+                        `should get variableType for variable ${variableName}`,
+                    );
+                }
 
                 if (variableType instanceof TSEnum) {
                     variableType = variableType.memberType;

tests/samples/export_implicit_type.ts

@@ -0,0 +1,7 @@
+/*
+ * Copyright (C) 2023 Intel Corporation.  All rights reserved.
+ * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+ */
+
+const obj_literal: {idx: number, newId: string} = {idx: 1, newId: 'hi'};
+export const obj_array = [obj_literal];

tests/samples/import_implicit_type.ts

@@ -0,0 +1,12 @@
+/*
+ * Copyright (C) 2023 Intel Corporation.  All rights reserved.
+ * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+ */
+
+import { obj_array } from "./export_implicit_type"
+
+export function getObjTypeFromImport() {
+    const obj = obj_array[0];
+    console.log(obj.idx);
+    console.log(obj.newId);
+}

tools/validate/wamr/validation.json

@@ -2737,6 +2737,16 @@
             }
         ]
     },
+    {
+        "module": "import_implicit_type",
+        "entries": [
+            {
+                "name": "getObjTypeFromImport",
+                "args": [],
+                "result": "1\nhi"
+            }
+        ]
+    },
     {
         "module": "import_namespace",
         "entries": [