Rework the checker component based on TypeScript Compiler (Cherry pick) · Pull Request !397 · OpenHarmony/arkcompiler_ets_frontend

### 相关Issue
#I5IDIX

### Description:
     - The new reworked checker is closely resembles to TypeScript Compiler's type checker, the core logic for object and interface types are the same
     - Improved logic for destructuring type inference (in declaration, in assignment and in parameters)
     - Improved logic for type elaboration
     - Improved logic for function type inference
     - Generic types are removed for now

### Cherry pick:
0001-Rework-the-checker-component-based-on-TypeScript-Com.patch

### Test:
#### es2panda parse测试:
![输入图片说明](https://images.gitee.com/uploads/images/2022/0728/212801_77063a14_10353351.png "屏幕截图.png")
    测试方式：参考issue，但不需要打issue中的patch
     **全量测试** 
```
(进入es2panda目录)
cd ~/code/OpenHarmony/arkcompiler/ets_frontend/es2panda
(python3 test/runner.py --regression -r ${es2abc目录})
python3 test/runner.py --regression -r ~/code/OpenHarmony/out/rk3568/clang_x64/ark/ark/
```

#### test262测试:
 **es2panda** 
![输入图片说明](https://foruda.gitee.com/images/1660705881809923991/屏幕截图.png "屏幕截图.png")
 **ts2panda** 
![输入图片说明](https://images.gitee.com/uploads/images/2022/0729/091324_9399e811_10353351.png "屏幕截图.png")

#### UT测试：
ts2panda
![输入图片说明](https://images.gitee.com/uploads/images/2022/0729/092056_ab30966f_10353351.png "屏幕截图.png")

#### 适配修改：
1. 在scope find的时候判断从FunctionParamScope获得的FunctionScope是否为空。因为可能存在FunctionParamScope没有对应的FunctionScope。
![输入图片说明](https://foruda.gitee.com/images/1660398039677424206/屏幕截图.png "屏幕截图.png")
例子：
```
var b : number;
var x : (a:number) => typeof b;
```

2. 在ParseConstStatement中，先判断是否为enum，再判断是否const所在位置是否合适。因为在一些不能定义const变量的位置可以定义const enum
![输入图片说明](https://foruda.gitee.com/images/1660398018022878559/屏幕截图.png "屏幕截图.png")
例子：
```
if (true) const enum E {A,B,C}
```

3.适配用例，main中异常信息的打印由cout改为了cerr，因此在对比测试用例的时候需要在输出中加入异常信息。
![](https://foruda.gitee.com/images/1660397418943817236/屏幕截图.png "屏幕截图.png")

4.添加checkonly参数，让ts的parser用例能只进行parser和type check。删除了原本ts中的return null。让ts输入在默认情况下能进行编译。
https://gitee.com/openharmony/arkcompiler_ets_frontend/commit/86d77aaeeac2dcc076193196970ff100102552fd
![输入图片说明](https://foruda.gitee.com/images/1660398566407970212/屏幕截图.png "屏幕截图.png")

5.修正变量名https://gitee.com/openharmony/arkcompiler_ets_frontend/commit/4305ac237b96de20f10c51e840e4778bc586ed08

6.移除空的cpp文件https://gitee.com/openharmony/arkcompiler_ets_frontend/commit/840bf933b8ef9adaeb6fed8110caa1e68997ea2e

7.添加TS_MODULE，用来表示当前在namespace中。在处理export对象时添加判断，判断当前环境是否在namespace中。因为在namespace中的export与外部的export有不同。
![](https://foruda.gitee.com/images/1660398996526225450/屏幕截图.png "屏幕截图.png")
例子：
```
namespace n1 {
    export var a = 1;
}
namespace n2 {
    export var a = 1;
}
```

8.在ParseFunction后判断的到的函数有没有函数体，若有函数体则执行NextToken。因为这个NextToken是从BlockStatement中移出来的，因此对于没有BlockStatement的函数不需要执行NextToken。
![输入图片说明](https://foruda.gitee.com/images/1660399112813524031/屏幕截图.png "屏幕截图.png")
例子：
```
declare class C {
    a()
    b()
}
```

9.将ts的parse用例切换的module模式运行，因为是否为module模式不影响AST树的生成，且用例中有export用例需要使用module模式。因此把用例全部切换为module模式。 
![](https://foruda.gitee.com/images/1660399286881115531/屏幕截图.png "屏幕截图.png")

类型	指派人员	状态
审查	godmiaozi 已审查通过 hhj	已完成 (1/1人)
测试	openharmony_ci 已测试通过	已完成 (1/1人)

OpenHarmony/arkcompiler_ets_frontend .gitee-modal { width: 500px !important; }

搜索帮助

OpenHarmony/arkcompiler_ets_frontend