[ArkTS Linter] Implement `arkts-sendable-prop-types` / `arkts-sendable-generic-types` / `arkts-sendable-as-expr` / `arkts-sendable-class-decorator` rules · Pull Request !1 · Evgeniy Okolnov/arkcompiler_ets_frontend

RULE1:  **_arkts-sendable-prop-types_** 
sendable class property Rule verification: (Supported types are as follows)
1. number
2. string
3. bigint
4. boolean
5. undefined
6. null
7. sendable union type
8. generic
9. sendable class
10. sendable type alias

RULE2:  **_arkts-sendable-generic-types_** 
Only "Sendable" data types are allowed as type arguments of generic "Sendable" type (Supported types as above)

**Code scenario** 
RULE1:
```ts
@Sendable
class SendableClass4<T, U> {
  prop1: number; // OK
  prop2: string; // OK
  prop3: boolean; // OK
  prop4: bigint; // OK
  prop5: SendableClass3; // OK
  prop7: null; // OK
  prop8: undefined; // OK
  prop9: U; // OK
  prop10: T | number| undefined; // OK
  prop10: alias0; // OK
  prop11: alias1; // OK
}

@Sendable
class SendableClass3 {}

type alias0 = number | null;
type alias1 = SendableClass3 ;
```

RULE2:
```ts
class NonSendableClass3 {}

@Sendable
class SendableClass5<T, U> {
  prop1: T;
  prop2: U;
}

let ins1 = new SendableClass5<number, string>; // OK
let ins2 = new SendableClass5<number, NonSendableClass3>; // ERROR, sendable class generic type cannot be non-sendable-class

let c = Math.random()>0.5 ? SendableClass5 : NonSendableClass3;
let ins5 = new c<number, NonSendableClass3>; // OK, skip checker since whether c is sendable or not is determined at runtime
```

**Analysis:**

what is sendable union type?
sendable union type means the union type of sendable type.
such as 
- [sendable type] | [sendable type] (| [sendable type]...)

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

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

搜索帮助

Evgeniy Okolnov/arkcompiler_ets_frontend