de1ad893-69ec-4578-8599-83c3073351b9.js.map

{"version":3,"sources":["assets/script/common/type/TypeTest.ts"],"names":[],"mappings":";;;;;;AACA,iCAAkD;AAOlD,IAAI,YAAY,GAAG,WAAI,CAAC,OAAO,CAAW,UAAU,CAAC,CAAA;AAKrD,IAAI,YAAY,GAAG,WAAI,CAAC,OAAO,CAAW,UAAU,CAAC,CAAA;AAIrD,IAAI,YAAY,GAAG,WAAI,CAAC,OAAO,CAAW,UAAU,EAAE,YAAY,CAAC,CAAA;AAEnE,uBAAuB;AACvB,MAAM,QAAQ;CAAI;AAElB,MAAM,SAAU,SAAQ,QAAQ;IAAhC;;QACE,sBAAiB,GAAW,aAAa,CAAC,eAAe,CAAA;QAEzD,MAAC,GAAW,EAAE,CAAC;QACf,MAAC,GAAW,EAAE,CAAC;IACjB,CAAC;CAAA;AACD,yFAAyF;AACzF,IAAI,aAAa,GAAG,WAAI,CAAC,OAAO,CAAY,WAAW,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;AAGpF,MAAM,SAAU,SAAQ,QAAQ;IAAhC;;QACE,sBAAiB,GAAW,aAAa,CAAC,eAAe,CAAC;QAC1D,MAAC,GAAW,EAAE,CAAC;IACjB,CAAC;CAAA;AACD,IAAI,aAAa,GAAG,WAAI,CAAC,OAAO,CAAY,WAAW,EAAE,YAAY,CAAC,CAAA;AAEtE,MAAM,SAAU,SAAQ,SAAS;IAAjC;;QACE,sBAAiB,GAAW,aAAa,CAAC,eAAe,CAAA;IAC3D,CAAC;CAAA;AACD,IAAI,aAAa,GAAG,WAAI,CAAC,OAAO,CAAY,WAAW,EAAE,aAAa,CAAC,CAAA;AAEvE,MAAM,SAAU,SAAQ,SAAS;IAAjC;;QACE,sBAAiB,GAAW,aAAa,CAAC,eAAe,CAAA;IAC3D,CAAC;CAAA;AACD,IAAI,aAAa,GAAG,WAAI,CAAC,OAAO,CAAY,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,CAAA;AAGrF,IAAI,IAAI,GAAa,IAAI,SAAS,CAAA;AAClC,OAAO,CAAC,GAAG,CAAC,UAAU,GAAI,IAAY,CAAC,iBAAiB,CAAC,CAAA;AACzD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA,CAAC,cAAc;AAC3D,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA,CAAC,cAAc;AAC3D,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA,CAAE,eAAe;AAE7D,IAAI,KAAK,GAAa,IAAI,SAAS,CAAA;AACnC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA,CAAE,cAAc;AAC7D,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA,CAAE,cAAc;AAC7D,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA,CAAE,eAAe;AAE9D,cAAc;AACd,IAAI;IACF,WAAI,CAAC,OAAO,CAAY,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,CAAA;CAClE;AAAC,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;CACvB;AAED,sBAAsB;AACtB,OAAO,CAAC,GAAG,CAAC,WAAI,CAAC,YAAY,CAAW,UAAU,EAAE,KAAK,CAAC,CAAC,CAAA,CAAE,eAAe","file":"","sourceRoot":"/","sourcesContent":["\nimport {NominalTypeSupported, Type} from \"./Type\";\n\n//// test codes/////////\n\ninterface AbilityA extends NominalTypeSupported {\n  a: string\n}\nlet AbilityAType = Type.declare<AbilityA>(\"AbilityA\")\n\ninterface AbilityB extends NominalTypeSupported {\n  b: string\n}\nlet AbilityBType = Type.declare<AbilityB>(\"AbilityB\")\n\ninterface AbilityC extends AbilityA {\n}\nlet AbilityCType = Type.declare<AbilityC>(\"AbilityC\", AbilityAType)\n\n///////////////////////\nclass ListItem { }\n\nclass ListItemA extends ListItem implements AbilityA, AbilityB {\n  __assignableTypes: string = ListItemAType.assignableTypes\n\n  a: string = \"\";\n  b: string = \"\";\n}\n// 类型对象的规则： T=类型， self_id=T的id, superTypes: extends 或 implments的 (NominalTypeSupported) T\nlet ListItemAType = Type.declare<ListItemA>(\"ListItemA\", AbilityAType, AbilityBType)\n\n\nclass ListItemB extends ListItem implements AbilityC {\n  __assignableTypes: string = ListItemBType.assignableTypes;\n  a: string = \"\";\n}\nlet ListItemBType = Type.declare<ListItemB>(\"ListItemB\", AbilityCType)\n\nclass ListItemC extends ListItemA {\n  __assignableTypes: string = ListItemCType.assignableTypes\n}\nlet ListItemCType = Type.declare<ListItemC>(\"ListItemC\", ListItemAType)\n\nclass ListItemD extends ListItemC implements AbilityC {\n  __assignableTypes: string = ListItemDType.assignableTypes\n}\nlet ListItemDType = Type.declare<ListItemD>(\"ListItemD\", ListItemCType, AbilityCType)\n\n\nlet item: ListItem = new ListItemA\nconsole.log(\"typeId =\" + (item as any).__assignableTypes)\nconsole.log(AbilityAType.isInstanceOf(item)) // expect true\nconsole.log(AbilityBType.isInstanceOf(item)) // expect true\nconsole.log(AbilityCType.isInstanceOf(item))  // expect false\n\nlet item2: ListItem = new ListItemB\nconsole.log(AbilityCType.isInstanceOf(item2))  // expect true\nconsole.log(AbilityAType.isInstanceOf(item2))  // expect true\nconsole.log(AbilityBType.isInstanceOf(item2))  // expect false\n\n// throw Error\ntry {\n  Type.declare<ListItemD>(\"ListItemD\", ListItemCType, AbilityCType)\n} catch (e) {\n  console.log(e.message)\n}\n\n//another isInstanceOf\nconsole.log(Type.isInstanceOf<AbilityB>(\"AbilityB\", item2))  // expect false\n"]}