var CategoryType; (function (CategoryType) { CategoryType["JK"] = "JK"; CategoryType["TH"] = "TH"; CategoryType["ZDWX"] = "ZDWX"; })(CategoryType || (CategoryType = {})); const jkConsts = { width: 80, height: 30, lineWidth: 3, rectColor: '0xffffff', }; const thConsts = { width: 90, height: 20, lineWidth: 3, rectColor: '#f00', doorGraphic: { doorOpenSpacing: 15, doorGreen: '0x00FF00', } }; const platformConstsMap = new Map([[CategoryType.JK, jkConsts], [CategoryType.TH, thConsts]]); export { CategoryType, platformConstsMap };