add exception used type

lib/builtin.js

@@ -211,4 +211,6 @@ builtin.set('$default', _function('$default', 'any', [_param('variable', 'any'),
 
 builtin.set('$equal', _function('$equal', 'boolean', [_param('data', 'any'), _param('eqlData', 'any')]));
 
+builtin.set('$kernelInfo', _function('$kernelInfo', 'map[string]string', []));
+
 module.exports = builtin;

lib/semantic.js

@@ -819,6 +819,7 @@ class TypeChecker {
       ast.models[key] = value;
     }
     ast.usedExternModel = this.usedExternModel;
+    ast.usedExternException = this.resolveUsedExceptions(this.usedExternModel);
     ast.conflictModels = this.resolveConflictModels(ast.usedExternModel);
     ast.usedTypes = this.usedTypes;
     ast.innerDep = this.innerDep;
@@ -895,6 +896,26 @@ class TypeChecker {
     return conflicts;
   }
 
+  resolveUsedExceptions(usedExternModel) {
+    const exceptions = new Map();
+    for (const [moduleName, models] of usedExternModel) {
+      const checker = this.dependencies.get(moduleName);
+      for (var name of models) {
+        const model = checker.models.get(name);
+        if (model && model.isException) {
+          if(!exceptions.has(moduleName)) {
+            exceptions.set(moduleName, new Set());
+          }
+
+          const set = exceptions.get(moduleName);
+
+          set.add(name);
+        }
+      }
+    }
+    return exceptions;
+  }
+
   checkTypedefs(ast) {
     ast.moduleBody.nodes.filter((item) => {
       return item.type === 'typedef';

test/fixtures/module_exception_used/.libraries.json

@@ -0,0 +1,4 @@
+{
+    "alibabacloud:OSS:*": "libraries/alibabacloud-OSS-0.0.1",
+    "alibabacloud:Source:*": "libraries/alibabacloud-Source-0.0.1"
+}

test/fixtures/module_exception_used/Darafile

@@ -0,0 +1,6 @@
+{
+    "libraries": {
+        "OSS": "alibabacloud:OSS:*",
+        "Source": "alibabacloud:Source:*"
+    }
+}

test/fixtures/module_exception_used/libraries/alibabacloud-OSS-0.0.1/Darafile

@@ -0,0 +1,4 @@
+{
+    "name": "OSS",
+    "main": "./oss.dara"
+}

test/fixtures/module_exception_used/libraries/alibabacloud-OSS-0.0.1/oss.dara

@@ -0,0 +1,9 @@
+model Config {
+    accessKeyId: string
+};
+
+exception Err1 {};
+
+init(config: Config);
+
+function getAccessKeyId(): string;

test/fixtures/module_exception_used/libraries/alibabacloud-Source-0.0.1/Darafile

@@ -0,0 +1,4 @@
+{
+    "name": "Source",
+    "main": "./source.dara"
+}

test/fixtures/module_exception_used/libraries/alibabacloud-Source-0.0.1/source.dara

@@ -0,0 +1,7 @@
+model Config {
+    SourceId: string
+};
+
+exception Err1 {};
+
+init(config: Config);

test/fixtures/module_exception_used/main.dara

@@ -0,0 +1,18 @@
+import OSS
+import Source
+
+exception Err1{};
+
+init(config1: Source.Config, config2: OSS.Config) {
+  var a = new OSS.Err1{
+    code = 'Err'
+  };
+
+  var b = new Source.Err1{
+    code = 'Err'
+  };
+
+  var c = new Err1{
+    code = 'Err'
+  };
+}

test/semantic.test.js

@@ -4614,6 +4614,16 @@ describe('semantic', function () {
     expect(ast.conflictModels.has('OSS:Config')).to.be(false);
   });
 
+  it('used exceptions should ok', function () {
+    let ast = readAndParse('fixtures/module_exception_used/main.dara');
+    console.log(ast.usedExternException);
+    expect(ast.usedExternException.get('OSS').has('Err1')).to.be(true);
+    expect(ast.usedExternException.get('OSS').has('Config')).to.be(false);
+
+    expect(ast.usedExternException.get('Source').has('Err1')).to.be(true);
+    expect(ast.usedExternException.get('Source').has('Config')).to.be(false);
+  });
+
   it('multi-dimentional array assign check should be ok', function () {
     expect(function () {
       parse(`