14 | | · クラス名と属性 |
15 | | · プロパティと関数のシグネチャのマッピング |
16 | | · 文字列や数値といった基本型のマッピング |
17 | | · 多重継承の処理方法 |
18 | | · ジェネリック(テンプレート)型の処理方法 |
19 | | · 共変(covariant)及び反変(contravariant)の再定義のセマンティクスの処理方法 |
20 | | · シグネチャxxxx:T を持つプロパティ(すなわちargumentsを持たないプロパティ)の、ストアされた属性(xxxx:T)または関数 (xxxx():T)へのマッピングの選択 |
21 | | · 事前条件(pre-condition)、事後条件(post-condition)及びクラス不変条件(invariant)の表現方法 |
22 | | · List<>, Set<> 等のassumed型とinbuilt型のマッピング |
| 14 | * クラス名と属性 |
| 15 | * プロパティと関数のシグネチャのマッピング |
| 16 | * 文字列や数値といった基本型のマッピング |
| 17 | * 多重継承の処理方法 |
| 18 | * ジェネリック(テンプレート)型の処理方法 |
| 19 | * 共変(covariant)及び反変(contravariant)の再定義のセマンティクスの処理方法 |
| 20 | * シグネチャxxxx:T を持つプロパティ(すなわちargumentsを持たないプロパティ)の、ストアされた属性(xxxx:T)または関数 (xxxx():T)へのマッピングの選択 |
| 21 | * 事前条件(pre-condition)、事後条件(post-condition)及びクラス不変条件(invariant)の表現方法 |
| 22 | * List<>, Set<> 等のassumed型とinbuilt型のマッピング |