* Copyright (c) 2023 Huawei Device Co., Ltd.
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
declare function print(arg: any): string;
declare class ArkTools {
static isNotHoleProperty(obj: object, key: string): boolean;
}
class C {
x1: number;
x2: number;
x3: number;
x4: number;
x5: number;
x6: number;
x7: number;
x8: number;
x9: number;
x10: number;
x11: number;
x12: number;
x13: number;
x14: number;
x15: number;
x16: number;
x17: number;
x18: number;
x19: number;
x20: number;
x21: number;
x22: number;
x23: number;
x24: number;
x25: number;
x26: number;
x27: number;
x28: number;
x29: number;
x30: number;
x31: number;
x32: number;
x33: number;
x34: number;
x35: number;
x36: number;
x37: number;
x38: number;
x39: number;
x40: number;
x41: number;
x42: number;
x43: number;
x44: number;
x45: number;
x46: number;
x47: number;
x48: number;
x49: number;
x50: number;
x51: number;
x52: number;
x53: number;
x54: number;
x55: number;
x56: number;
x57: number;
x58: number;
x59: number;
x60: number;
x61: number;
x62: number;
x63: number;
x64: number;
x65: number;
x66: number;
x67: number;
x68: number;
x69: number;
x70: number;
x71: number;
x72: number;
x73: number;
x74: number;
x75: number;
x76: number;
x77: number;
x78: number;
x79: number;
x80: number;
x81: number;
x82: number;
x83: number;
x84: number;
x85: number;
x86: number;
x87: number;
x88: number;
x89: number;
x90: number;
x91: number;
x92: number;
x93: number;
x94: number;
x95: number;
x96: number;
x97: number;
x98: number;
x99: number;
x100: number;
x101: number;
x102: number;
x103: number;
x104: number;
x105: number;
x106: number;
x107: number;
x108: number;
x109: number;
x110: number;
x111: number;
x112: number;
x113: number;
x114: number;
x115: number;
x116: number;
x117: number;
x118: number;
x119: number;
x120: number;
x121: number;
x122: number;
x123: number;
x124: number;
x125: number;
x126: number;
x127: number;
x128: number;
x129: number;
x130: number;
x131: number;
x132: number;
x133: number;
x134: number;
x135: number;
x136: number;
x137: number;
x138: number;
x139: number;
x140: number;
x141: number;
x142: number;
x143: number;
x144: number;
x145: number;
x146: number;
x147: number;
x148: number;
x149: number;
x150: number;
x151: number;
x152: number;
x153: number;
x154: number;
x155: number;
x156: number;
x157: number;
x158: number;
x159: number;
x160: number;
x161: number;
x162: number;
x163: number;
x164: number;
x165: number;
x166: number;
x167: number;
x168: number;
x169: number;
x170: number;
x171: number;
x172: number;
x173: number;
x174: number;
x175: number;
x176: number;
x177: number;
x178: number;
x179: number;
x180: number;
x181: number;
x182: number;
x183: number;
x184: number;
x185: number;
x186: number;
x187: number;
x188: number;
x189: number;
x190: number;
x191: number;
x192: number;
x193: number;
x194: number;
x195: number;
x196: number;
x197: number;
x198: number;
x199: number;
x200: number;
x201: number;
x202: number;
x203: number;
x204: number;
x205: number;
x206: number;
x207: number;
x208: number;
x209: number;
x210: number;
x211: number;
x212: number;
x213: number;
x214: number;
x215: number;
x216: number;
x217: number;
x218: number;
x219: number;
x220: number;
x221: number;
x222: number;
x223: number;
x224: number;
x225: number;
x226: number;
x227: number;
x228: number;
x229: number;
x230: number;
x231: number;
x232: number;
x233: number;
x234: number;
x235: number;
x236: number;
x237: number;
x238: number;
x239: number;
x240: number;
x241: number;
x242: number;
x243: number;
x244: number;
x245: number;
x246: number;
x247: number;
x248: number;
x249: number;
x250: number;
x251: number;
x252: number;
x253: number;
x254: number;
x255: number;
x256: number;
x257: number;
x258: number;
x259: number;
x260: number;
x261: number;
x262: number;
x263: number;
x264: number;
x265: number;
x266: number;
x267: number;
x268: number;
x269: number;
x270: number;
x271: number;
x272: number;
x273: number;
x274: number;
x275: number;
x276: number;
x277: number;
x278: number;
x279: number;
x280: number;
x281: number;
x282: number;
x283: number;
x284: number;
x285: number;
x286: number;
x287: number;
x288: number;
x289: number;
x290: number;
x291: number;
x292: number;
x293: number;
x294: number;
x295: number;
x296: number;
x297: number;
x298: number;
x299: number;
x300: number;
x301: number;
x302: number;
x303: number;
x304: number;
x305: number;
x306: number;
x307: number;
x308: number;
x309: number;
x310: number;
x311: number;
x312: number;
x313: number;
x314: number;
x315: number;
x316: number;
x317: number;
x318: number;
x319: number;
x320: number;
x321: number;
x322: number;
x323: number;
x324: number;
x325: number;
x326: number;
x327: number;
x328: number;
x329: number;
x330: number;
x331: number;
x332: number;
x333: number;
x334: number;
x335: number;
x336: number;
x337: number;
x338: number;
x339: number;
x340: number;
x341: number;
x342: number;
x343: number;
x344: number;
x345: number;
x346: number;
x347: number;
x348: number;
x349: number;
x350: number;
x351: number;
x352: number;
x353: number;
x354: number;
x355: number;
x356: number;
x357: number;
x358: number;
x359: number;
x360: number;
x361: number;
x362: number;
x363: number;
x364: number;
x365: number;
x366: number;
x367: number;
x368: number;
x369: number;
x370: number;
x371: number;
x372: number;
x373: number;
x374: number;
x375: number;
x376: number;
x377: number;
x378: number;
x379: number;
x380: number;
x381: number;
x382: number;
x383: number;
x384: number;
x385: number;
x386: number;
x387: number;
x388: number;
x389: number;
x390: number;
x391: number;
x392: number;
x393: number;
x394: number;
x395: number;
x396: number;
x397: number;
x398: number;
x399: number;
x400: number;
x401: number;
x402: number;
x403: number;
x404: number;
x405: number;
x406: number;
x407: number;
x408: number;
x409: number;
x410: number;
x411: number;
x412: number;
x413: number;
x414: number;
x415: number;
x416: number;
x417: number;
x418: number;
x419: number;
x420: number;
x421: number;
x422: number;
x423: number;
x424: number;
x425: number;
x426: number;
x427: number;
x428: number;
x429: number;
x430: number;
x431: number;
x432: number;
x433: number;
x434: number;
x435: number;
x436: number;
x437: number;
x438: number;
x439: number;
x440: number;
x441: number;
x442: number;
x443: number;
x444: number;
x445: number;
x446: number;
x447: number;
x448: number;
x449: number;
x450: number;
x451: number;
x452: number;
x453: number;
x454: number;
x455: number;
x456: number;
x457: number;
x458: number;
x459: number;
x460: number;
x461: number;
x462: number;
x463: number;
x464: number;
x465: number;
x466: number;
x467: number;
x468: number;
x469: number;
x470: number;
x471: number;
x472: number;
x473: number;
x474: number;
x475: number;
x476: number;
x477: number;
x478: number;
x479: number;
x480: number;
x481: number;
x482: number;
x483: number;
x484: number;
x485: number;
x486: number;
x487: number;
x488: number;
x489: number;
x490: number;
x491: number;
x492: number;
x493: number;
x494: number;
x495: number;
x496: number;
x497: number;
x498: number;
x499: number;
x500: number;
x501: number;
x502: number;
x503: number;
x504: number;
x505: number;
x506: number;
x507: number;
x508: number;
x509: number;
x510: number;
x511: number;
x512: number;
x513: number;
x514: number;
x515: number;
x516: number;
x517: number;
x518: number;
x519: number;
x520: number;
x521: number;
x522: number;
x523: number;
x524: number;
x525: number;
x526: number;
x527: number;
x528: number;
x529: number;
x530: number;
x531: number;
x532: number;
x533: number;
x534: number;
x535: number;
x536: number;
x537: number;
x538: number;
x539: number;
x540: number;
x541: number;
x542: number;
x543: number;
x544: number;
x545: number;
x546: number;
x547: number;
x548: number;
x549: number;
x550: number;
x551: number;
x552: number;
x553: number;
x554: number;
x555: number;
x556: number;
x557: number;
x558: number;
x559: number;
x560: number;
x561: number;
x562: number;
x563: number;
x564: number;
x565: number;
x566: number;
x567: number;
x568: number;
x569: number;
x570: number;
x571: number;
x572: number;
x573: number;
x574: number;
x575: number;
x576: number;
x577: number;
x578: number;
x579: number;
x580: number;
x581: number;
x582: number;
x583: number;
x584: number;
x585: number;
x586: number;
x587: number;
x588: number;
x589: number;
x590: number;
x591: number;
x592: number;
x593: number;
x594: number;
x595: number;
x596: number;
x597: number;
x598: number;
x599: number;
x600: number;
x601: number;
x602: number;
x603: number;
x604: number;
x605: number;
x606: number;
x607: number;
x608: number;
x609: number;
x610: number;
x611: number;
x612: number;
x613: number;
x614: number;
x615: number;
x616: number;
x617: number;
x618: number;
x619: number;
x620: number;
x621: number;
x622: number;
x623: number;
x624: number;
x625: number;
x626: number;
x627: number;
x628: number;
x629: number;
x630: number;
x631: number;
x632: number;
x633: number;
x634: number;
x635: number;
x636: number;
x637: number;
x638: number;
x639: number;
x640: number;
x641: number;
x642: number;
x643: number;
x644: number;
x645: number;
x646: number;
x647: number;
x648: number;
x649: number;
x650: number;
x651: number;
x652: number;
x653: number;
x654: number;
x655: number;
x656: number;
x657: number;
x658: number;
x659: number;
x660: number;
x661: number;
x662: number;
x663: number;
x664: number;
x665: number;
x666: number;
x667: number;
x668: number;
x669: number;
x670: number;
x671: number;
x672: number;
x673: number;
x674: number;
x675: number;
x676: number;
x677: number;
x678: number;
x679: number;
x680: number;
x681: number;
x682: number;
x683: number;
x684: number;
x685: number;
x686: number;
x687: number;
x688: number;
x689: number;
x690: number;
x691: number;
x692: number;
x693: number;
x694: number;
x695: number;
x696: number;
x697: number;
x698: number;
x699: number;
x700: number;
x701: number;
x702: number;
x703: number;
x704: number;
x705: number;
x706: number;
x707: number;
x708: number;
x709: number;
x710: number;
x711: number;
x712: number;
x713: number;
x714: number;
x715: number;
x716: number;
x717: number;
x718: number;
x719: number;
x720: number;
x721: number;
x722: number;
x723: number;
x724: number;
x725: number;
x726: number;
x727: number;
x728: number;
x729: number;
x730: number;
x731: number;
x732: number;
x733: number;
x734: number;
x735: number;
x736: number;
x737: number;
x738: number;
x739: number;
x740: number;
x741: number;
x742: number;
x743: number;
x744: number;
x745: number;
x746: number;
x747: number;
x748: number;
x749: number;
x750: number;
x751: number;
x752: number;
x753: number;
x754: number;
x755: number;
x756: number;
x757: number;
x758: number;
x759: number;
x760: number;
x761: number;
x762: number;
x763: number;
x764: number;
x765: number;
x766: number;
x767: number;
x768: number;
x769: number;
x770: number;
x771: number;
x772: number;
x773: number;
x774: number;
x775: number;
x776: number;
x777: number;
x778: number;
x779: number;
x780: number;
x781: number;
x782: number;
x783: number;
x784: number;
x785: number;
x786: number;
x787: number;
x788: number;
x789: number;
x790: number;
x791: number;
x792: number;
x793: number;
x794: number;
x795: number;
x796: number;
x797: number;
x798: number;
x799: number;
x800: number;
x801: number;
x802: number;
x803: number;
x804: number;
x805: number;
x806: number;
x807: number;
x808: number;
x809: number;
x810: number;
x811: number;
x812: number;
x813: number;
x814: number;
x815: number;
x816: number;
x817: number;
x818: number;
x819: number;
x820: number;
x821: number;
x822: number;
x823: number;
x824: number;
x825: number;
x826: number;
x827: number;
x828: number;
x829: number;
x830: number;
x831: number;
x832: number;
x833: number;
x834: number;
x835: number;
x836: number;
x837: number;
x838: number;
x839: number;
x840: number;
x841: number;
x842: number;
x843: number;
x844: number;
x845: number;
x846: number;
x847: number;
x848: number;
x849: number;
x850: number;
x851: number;
x852: number;
x853: number;
x854: number;
x855: number;
x856: number;
x857: number;
x858: number;
x859: number;
x860: number;
x861: number;
x862: number;
x863: number;
x864: number;
x865: number;
x866: number;
x867: number;
x868: number;
x869: number;
x870: number;
x871: number;
x872: number;
x873: number;
x874: number;
x875: number;
x876: number;
x877: number;
x878: number;
x879: number;
x880: number;
x881: number;
x882: number;
x883: number;
x884: number;
x885: number;
x886: number;
x887: number;
x888: number;
x889: number;
x890: number;
x891: number;
x892: number;
x893: number;
x894: number;
x895: number;
x896: number;
x897: number;
x898: number;
x899: number;
x900: number;
x901: number;
x902: number;
x903: number;
x904: number;
x905: number;
x906: number;
x907: number;
x908: number;
x909: number;
x910: number;
x911: number;
x912: number;
x913: number;
x914: number;
x915: number;
x916: number;
x917: number;
x918: number;
x919: number;
x920: number;
x921: number;
x922: number;
x923: number;
x924: number;
x925: number;
x926: number;
x927: number;
x928: number;
x929: number;
x930: number;
x931: number;
x932: number;
x933: number;
x934: number;
x935: number;
x936: number;
x937: number;
x938: number;
x939: number;
x940: number;
x941: number;
x942: number;
x943: number;
x944: number;
x945: number;
x946: number;
x947: number;
x948: number;
x949: number;
x950: number;
x951: number;
x952: number;
x953: number;
x954: number;
x955: number;
x956: number;
x957: number;
x958: number;
x959: number;
x960: number;
x961: number;
x962: number;
x963: number;
x964: number;
x965: number;
x966: number;
x967: number;
x968: number;
x969: number;
x970: number;
x971: number;
x972: number;
x973: number;
x974: number;
x975: number;
x976: number;
x977: number;
x978: number;
x979: number;
x980: number;
x981: number;
x982: number;
x983: number;
x984: number;
x985: number;
x986: number;
x987: number;
x988: number;
x989: number;
x990: number;
x991: number;
x992: number;
x993: number;
x994: number;
x995: number;
x996: number;
x997: number;
x998: number;
x999: number;
x1000: number;
x1001: number;
x1002: number;
x1003: number;
x1004: number;
x1005: number;
x1006: number;
x1007: number;
x1008: number;
x1009: number;
x1010: number;
x1011: number;
x1012: number;
x1013: number;
x1014: number;
x1015: number;
x1016: number;
x1017: number;
x1018: number;
x1019: number;
x1020: number;
x1021: number;
x1022: number;
x1023: number;
x1024: number;
}
function test(): void {
let c = new C();
print(ArkTools.isNotHoleProperty(c, "x100"));
}
test();
