• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1/*
2 * Copyright (c) 2023 Huawei Device Co., Ltd.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at
6 *
7 *     http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15
16declare function print(arg: any): string;
17declare class ArkTools {
18    static isNotHoleProperty(obj: object, key: string): boolean;
19}
20
21class C {
22    x1: number;
23    x2: number;
24    x3: number;
25    x4: number;
26    x5: number;
27    x6: number;
28    x7: number;
29    x8: number;
30    x9: number;
31    x10: number;
32    x11: number;
33    x12: number;
34    x13: number;
35    x14: number;
36    x15: number;
37    x16: number;
38    x17: number;
39    x18: number;
40    x19: number;
41    x20: number;
42    x21: number;
43    x22: number;
44    x23: number;
45    x24: number;
46    x25: number;
47    x26: number;
48    x27: number;
49    x28: number;
50    x29: number;
51    x30: number;
52    x31: number;
53    x32: number;
54    x33: number;
55    x34: number;
56    x35: number;
57    x36: number;
58    x37: number;
59    x38: number;
60    x39: number;
61    x40: number;
62    x41: number;
63    x42: number;
64    x43: number;
65    x44: number;
66    x45: number;
67    x46: number;
68    x47: number;
69    x48: number;
70    x49: number;
71    x50: number;
72    x51: number;
73    x52: number;
74    x53: number;
75    x54: number;
76    x55: number;
77    x56: number;
78    x57: number;
79    x58: number;
80    x59: number;
81    x60: number;
82    x61: number;
83    x62: number;
84    x63: number;
85    x64: number;
86    x65: number;
87    x66: number;
88    x67: number;
89    x68: number;
90    x69: number;
91    x70: number;
92    x71: number;
93    x72: number;
94    x73: number;
95    x74: number;
96    x75: number;
97    x76: number;
98    x77: number;
99    x78: number;
100    x79: number;
101    x80: number;
102    x81: number;
103    x82: number;
104    x83: number;
105    x84: number;
106    x85: number;
107    x86: number;
108    x87: number;
109    x88: number;
110    x89: number;
111    x90: number;
112    x91: number;
113    x92: number;
114    x93: number;
115    x94: number;
116    x95: number;
117    x96: number;
118    x97: number;
119    x98: number;
120    x99: number;
121    x100: number;
122    x101: number;
123    x102: number;
124    x103: number;
125    x104: number;
126    x105: number;
127    x106: number;
128    x107: number;
129    x108: number;
130    x109: number;
131    x110: number;
132    x111: number;
133    x112: number;
134    x113: number;
135    x114: number;
136    x115: number;
137    x116: number;
138    x117: number;
139    x118: number;
140    x119: number;
141    x120: number;
142    x121: number;
143    x122: number;
144    x123: number;
145    x124: number;
146    x125: number;
147    x126: number;
148    x127: number;
149    x128: number;
150    x129: number;
151    x130: number;
152    x131: number;
153    x132: number;
154    x133: number;
155    x134: number;
156    x135: number;
157    x136: number;
158    x137: number;
159    x138: number;
160    x139: number;
161    x140: number;
162    x141: number;
163    x142: number;
164    x143: number;
165    x144: number;
166    x145: number;
167    x146: number;
168    x147: number;
169    x148: number;
170    x149: number;
171    x150: number;
172    x151: number;
173    x152: number;
174    x153: number;
175    x154: number;
176    x155: number;
177    x156: number;
178    x157: number;
179    x158: number;
180    x159: number;
181    x160: number;
182    x161: number;
183    x162: number;
184    x163: number;
185    x164: number;
186    x165: number;
187    x166: number;
188    x167: number;
189    x168: number;
190    x169: number;
191    x170: number;
192    x171: number;
193    x172: number;
194    x173: number;
195    x174: number;
196    x175: number;
197    x176: number;
198    x177: number;
199    x178: number;
200    x179: number;
201    x180: number;
202    x181: number;
203    x182: number;
204    x183: number;
205    x184: number;
206    x185: number;
207    x186: number;
208    x187: number;
209    x188: number;
210    x189: number;
211    x190: number;
212    x191: number;
213    x192: number;
214    x193: number;
215    x194: number;
216    x195: number;
217    x196: number;
218    x197: number;
219    x198: number;
220    x199: number;
221    x200: number;
222    x201: number;
223    x202: number;
224    x203: number;
225    x204: number;
226    x205: number;
227    x206: number;
228    x207: number;
229    x208: number;
230    x209: number;
231    x210: number;
232    x211: number;
233    x212: number;
234    x213: number;
235    x214: number;
236    x215: number;
237    x216: number;
238    x217: number;
239    x218: number;
240    x219: number;
241    x220: number;
242    x221: number;
243    x222: number;
244    x223: number;
245    x224: number;
246    x225: number;
247    x226: number;
248    x227: number;
249    x228: number;
250    x229: number;
251    x230: number;
252    x231: number;
253    x232: number;
254    x233: number;
255    x234: number;
256    x235: number;
257    x236: number;
258    x237: number;
259    x238: number;
260    x239: number;
261    x240: number;
262    x241: number;
263    x242: number;
264    x243: number;
265    x244: number;
266    x245: number;
267    x246: number;
268    x247: number;
269    x248: number;
270    x249: number;
271    x250: number;
272    x251: number;
273    x252: number;
274    x253: number;
275    x254: number;
276    x255: number;
277    x256: number;
278    x257: number;
279    x258: number;
280    x259: number;
281    x260: number;
282    x261: number;
283    x262: number;
284    x263: number;
285    x264: number;
286    x265: number;
287    x266: number;
288    x267: number;
289    x268: number;
290    x269: number;
291    x270: number;
292    x271: number;
293    x272: number;
294    x273: number;
295    x274: number;
296    x275: number;
297    x276: number;
298    x277: number;
299    x278: number;
300    x279: number;
301    x280: number;
302    x281: number;
303    x282: number;
304    x283: number;
305    x284: number;
306    x285: number;
307    x286: number;
308    x287: number;
309    x288: number;
310    x289: number;
311    x290: number;
312    x291: number;
313    x292: number;
314    x293: number;
315    x294: number;
316    x295: number;
317    x296: number;
318    x297: number;
319    x298: number;
320    x299: number;
321    x300: number;
322    x301: number;
323    x302: number;
324    x303: number;
325    x304: number;
326    x305: number;
327    x306: number;
328    x307: number;
329    x308: number;
330    x309: number;
331    x310: number;
332    x311: number;
333    x312: number;
334    x313: number;
335    x314: number;
336    x315: number;
337    x316: number;
338    x317: number;
339    x318: number;
340    x319: number;
341    x320: number;
342    x321: number;
343    x322: number;
344    x323: number;
345    x324: number;
346    x325: number;
347    x326: number;
348    x327: number;
349    x328: number;
350    x329: number;
351    x330: number;
352    x331: number;
353    x332: number;
354    x333: number;
355    x334: number;
356    x335: number;
357    x336: number;
358    x337: number;
359    x338: number;
360    x339: number;
361    x340: number;
362    x341: number;
363    x342: number;
364    x343: number;
365    x344: number;
366    x345: number;
367    x346: number;
368    x347: number;
369    x348: number;
370    x349: number;
371    x350: number;
372    x351: number;
373    x352: number;
374    x353: number;
375    x354: number;
376    x355: number;
377    x356: number;
378    x357: number;
379    x358: number;
380    x359: number;
381    x360: number;
382    x361: number;
383    x362: number;
384    x363: number;
385    x364: number;
386    x365: number;
387    x366: number;
388    x367: number;
389    x368: number;
390    x369: number;
391    x370: number;
392    x371: number;
393    x372: number;
394    x373: number;
395    x374: number;
396    x375: number;
397    x376: number;
398    x377: number;
399    x378: number;
400    x379: number;
401    x380: number;
402    x381: number;
403    x382: number;
404    x383: number;
405    x384: number;
406    x385: number;
407    x386: number;
408    x387: number;
409    x388: number;
410    x389: number;
411    x390: number;
412    x391: number;
413    x392: number;
414    x393: number;
415    x394: number;
416    x395: number;
417    x396: number;
418    x397: number;
419    x398: number;
420    x399: number;
421    x400: number;
422    x401: number;
423    x402: number;
424    x403: number;
425    x404: number;
426    x405: number;
427    x406: number;
428    x407: number;
429    x408: number;
430    x409: number;
431    x410: number;
432    x411: number;
433    x412: number;
434    x413: number;
435    x414: number;
436    x415: number;
437    x416: number;
438    x417: number;
439    x418: number;
440    x419: number;
441    x420: number;
442    x421: number;
443    x422: number;
444    x423: number;
445    x424: number;
446    x425: number;
447    x426: number;
448    x427: number;
449    x428: number;
450    x429: number;
451    x430: number;
452    x431: number;
453    x432: number;
454    x433: number;
455    x434: number;
456    x435: number;
457    x436: number;
458    x437: number;
459    x438: number;
460    x439: number;
461    x440: number;
462    x441: number;
463    x442: number;
464    x443: number;
465    x444: number;
466    x445: number;
467    x446: number;
468    x447: number;
469    x448: number;
470    x449: number;
471    x450: number;
472    x451: number;
473    x452: number;
474    x453: number;
475    x454: number;
476    x455: number;
477    x456: number;
478    x457: number;
479    x458: number;
480    x459: number;
481    x460: number;
482    x461: number;
483    x462: number;
484    x463: number;
485    x464: number;
486    x465: number;
487    x466: number;
488    x467: number;
489    x468: number;
490    x469: number;
491    x470: number;
492    x471: number;
493    x472: number;
494    x473: number;
495    x474: number;
496    x475: number;
497    x476: number;
498    x477: number;
499    x478: number;
500    x479: number;
501    x480: number;
502    x481: number;
503    x482: number;
504    x483: number;
505    x484: number;
506    x485: number;
507    x486: number;
508    x487: number;
509    x488: number;
510    x489: number;
511    x490: number;
512    x491: number;
513    x492: number;
514    x493: number;
515    x494: number;
516    x495: number;
517    x496: number;
518    x497: number;
519    x498: number;
520    x499: number;
521    x500: number;
522    x501: number;
523    x502: number;
524    x503: number;
525    x504: number;
526    x505: number;
527    x506: number;
528    x507: number;
529    x508: number;
530    x509: number;
531    x510: number;
532    x511: number;
533    x512: number;
534    x513: number;
535    x514: number;
536    x515: number;
537    x516: number;
538    x517: number;
539    x518: number;
540    x519: number;
541    x520: number;
542    x521: number;
543    x522: number;
544    x523: number;
545    x524: number;
546    x525: number;
547    x526: number;
548    x527: number;
549    x528: number;
550    x529: number;
551    x530: number;
552    x531: number;
553    x532: number;
554    x533: number;
555    x534: number;
556    x535: number;
557    x536: number;
558    x537: number;
559    x538: number;
560    x539: number;
561    x540: number;
562    x541: number;
563    x542: number;
564    x543: number;
565    x544: number;
566    x545: number;
567    x546: number;
568    x547: number;
569    x548: number;
570    x549: number;
571    x550: number;
572    x551: number;
573    x552: number;
574    x553: number;
575    x554: number;
576    x555: number;
577    x556: number;
578    x557: number;
579    x558: number;
580    x559: number;
581    x560: number;
582    x561: number;
583    x562: number;
584    x563: number;
585    x564: number;
586    x565: number;
587    x566: number;
588    x567: number;
589    x568: number;
590    x569: number;
591    x570: number;
592    x571: number;
593    x572: number;
594    x573: number;
595    x574: number;
596    x575: number;
597    x576: number;
598    x577: number;
599    x578: number;
600    x579: number;
601    x580: number;
602    x581: number;
603    x582: number;
604    x583: number;
605    x584: number;
606    x585: number;
607    x586: number;
608    x587: number;
609    x588: number;
610    x589: number;
611    x590: number;
612    x591: number;
613    x592: number;
614    x593: number;
615    x594: number;
616    x595: number;
617    x596: number;
618    x597: number;
619    x598: number;
620    x599: number;
621    x600: number;
622    x601: number;
623    x602: number;
624    x603: number;
625    x604: number;
626    x605: number;
627    x606: number;
628    x607: number;
629    x608: number;
630    x609: number;
631    x610: number;
632    x611: number;
633    x612: number;
634    x613: number;
635    x614: number;
636    x615: number;
637    x616: number;
638    x617: number;
639    x618: number;
640    x619: number;
641    x620: number;
642    x621: number;
643    x622: number;
644    x623: number;
645    x624: number;
646    x625: number;
647    x626: number;
648    x627: number;
649    x628: number;
650    x629: number;
651    x630: number;
652    x631: number;
653    x632: number;
654    x633: number;
655    x634: number;
656    x635: number;
657    x636: number;
658    x637: number;
659    x638: number;
660    x639: number;
661    x640: number;
662    x641: number;
663    x642: number;
664    x643: number;
665    x644: number;
666    x645: number;
667    x646: number;
668    x647: number;
669    x648: number;
670    x649: number;
671    x650: number;
672    x651: number;
673    x652: number;
674    x653: number;
675    x654: number;
676    x655: number;
677    x656: number;
678    x657: number;
679    x658: number;
680    x659: number;
681    x660: number;
682    x661: number;
683    x662: number;
684    x663: number;
685    x664: number;
686    x665: number;
687    x666: number;
688    x667: number;
689    x668: number;
690    x669: number;
691    x670: number;
692    x671: number;
693    x672: number;
694    x673: number;
695    x674: number;
696    x675: number;
697    x676: number;
698    x677: number;
699    x678: number;
700    x679: number;
701    x680: number;
702    x681: number;
703    x682: number;
704    x683: number;
705    x684: number;
706    x685: number;
707    x686: number;
708    x687: number;
709    x688: number;
710    x689: number;
711    x690: number;
712    x691: number;
713    x692: number;
714    x693: number;
715    x694: number;
716    x695: number;
717    x696: number;
718    x697: number;
719    x698: number;
720    x699: number;
721    x700: number;
722    x701: number;
723    x702: number;
724    x703: number;
725    x704: number;
726    x705: number;
727    x706: number;
728    x707: number;
729    x708: number;
730    x709: number;
731    x710: number;
732    x711: number;
733    x712: number;
734    x713: number;
735    x714: number;
736    x715: number;
737    x716: number;
738    x717: number;
739    x718: number;
740    x719: number;
741    x720: number;
742    x721: number;
743    x722: number;
744    x723: number;
745    x724: number;
746    x725: number;
747    x726: number;
748    x727: number;
749    x728: number;
750    x729: number;
751    x730: number;
752    x731: number;
753    x732: number;
754    x733: number;
755    x734: number;
756    x735: number;
757    x736: number;
758    x737: number;
759    x738: number;
760    x739: number;
761    x740: number;
762    x741: number;
763    x742: number;
764    x743: number;
765    x744: number;
766    x745: number;
767    x746: number;
768    x747: number;
769    x748: number;
770    x749: number;
771    x750: number;
772    x751: number;
773    x752: number;
774    x753: number;
775    x754: number;
776    x755: number;
777    x756: number;
778    x757: number;
779    x758: number;
780    x759: number;
781    x760: number;
782    x761: number;
783    x762: number;
784    x763: number;
785    x764: number;
786    x765: number;
787    x766: number;
788    x767: number;
789    x768: number;
790    x769: number;
791    x770: number;
792    x771: number;
793    x772: number;
794    x773: number;
795    x774: number;
796    x775: number;
797    x776: number;
798    x777: number;
799    x778: number;
800    x779: number;
801    x780: number;
802    x781: number;
803    x782: number;
804    x783: number;
805    x784: number;
806    x785: number;
807    x786: number;
808    x787: number;
809    x788: number;
810    x789: number;
811    x790: number;
812    x791: number;
813    x792: number;
814    x793: number;
815    x794: number;
816    x795: number;
817    x796: number;
818    x797: number;
819    x798: number;
820    x799: number;
821    x800: number;
822    x801: number;
823    x802: number;
824    x803: number;
825    x804: number;
826    x805: number;
827    x806: number;
828    x807: number;
829    x808: number;
830    x809: number;
831    x810: number;
832    x811: number;
833    x812: number;
834    x813: number;
835    x814: number;
836    x815: number;
837    x816: number;
838    x817: number;
839    x818: number;
840    x819: number;
841    x820: number;
842    x821: number;
843    x822: number;
844    x823: number;
845    x824: number;
846    x825: number;
847    x826: number;
848    x827: number;
849    x828: number;
850    x829: number;
851    x830: number;
852    x831: number;
853    x832: number;
854    x833: number;
855    x834: number;
856    x835: number;
857    x836: number;
858    x837: number;
859    x838: number;
860    x839: number;
861    x840: number;
862    x841: number;
863    x842: number;
864    x843: number;
865    x844: number;
866    x845: number;
867    x846: number;
868    x847: number;
869    x848: number;
870    x849: number;
871    x850: number;
872    x851: number;
873    x852: number;
874    x853: number;
875    x854: number;
876    x855: number;
877    x856: number;
878    x857: number;
879    x858: number;
880    x859: number;
881    x860: number;
882    x861: number;
883    x862: number;
884    x863: number;
885    x864: number;
886    x865: number;
887    x866: number;
888    x867: number;
889    x868: number;
890    x869: number;
891    x870: number;
892    x871: number;
893    x872: number;
894    x873: number;
895    x874: number;
896    x875: number;
897    x876: number;
898    x877: number;
899    x878: number;
900    x879: number;
901    x880: number;
902    x881: number;
903    x882: number;
904    x883: number;
905    x884: number;
906    x885: number;
907    x886: number;
908    x887: number;
909    x888: number;
910    x889: number;
911    x890: number;
912    x891: number;
913    x892: number;
914    x893: number;
915    x894: number;
916    x895: number;
917    x896: number;
918    x897: number;
919    x898: number;
920    x899: number;
921    x900: number;
922    x901: number;
923    x902: number;
924    x903: number;
925    x904: number;
926    x905: number;
927    x906: number;
928    x907: number;
929    x908: number;
930    x909: number;
931    x910: number;
932    x911: number;
933    x912: number;
934    x913: number;
935    x914: number;
936    x915: number;
937    x916: number;
938    x917: number;
939    x918: number;
940    x919: number;
941    x920: number;
942    x921: number;
943    x922: number;
944    x923: number;
945    x924: number;
946    x925: number;
947    x926: number;
948    x927: number;
949    x928: number;
950    x929: number;
951    x930: number;
952    x931: number;
953    x932: number;
954    x933: number;
955    x934: number;
956    x935: number;
957    x936: number;
958    x937: number;
959    x938: number;
960    x939: number;
961    x940: number;
962    x941: number;
963    x942: number;
964    x943: number;
965    x944: number;
966    x945: number;
967    x946: number;
968    x947: number;
969    x948: number;
970    x949: number;
971    x950: number;
972    x951: number;
973    x952: number;
974    x953: number;
975    x954: number;
976    x955: number;
977    x956: number;
978    x957: number;
979    x958: number;
980    x959: number;
981    x960: number;
982    x961: number;
983    x962: number;
984    x963: number;
985    x964: number;
986    x965: number;
987    x966: number;
988    x967: number;
989    x968: number;
990    x969: number;
991    x970: number;
992    x971: number;
993    x972: number;
994    x973: number;
995    x974: number;
996    x975: number;
997    x976: number;
998    x977: number;
999    x978: number;
1000    x979: number;
1001    x980: number;
1002    x981: number;
1003    x982: number;
1004    x983: number;
1005    x984: number;
1006    x985: number;
1007    x986: number;
1008    x987: number;
1009    x988: number;
1010    x989: number;
1011    x990: number;
1012    x991: number;
1013    x992: number;
1014    x993: number;
1015    x994: number;
1016    x995: number;
1017    x996: number;
1018    x997: number;
1019    x998: number;
1020    x999: number;
1021    x1000: number;
1022    x1001: number;
1023    x1002: number;
1024    x1003: number;
1025    x1004: number;
1026    x1005: number;
1027    x1006: number;
1028    x1007: number;
1029    x1008: number;
1030    x1009: number;
1031    x1010: number;
1032    x1011: number;
1033    x1012: number;
1034    x1013: number;
1035    x1014: number;
1036    x1015: number;
1037    x1016: number;
1038    x1017: number;
1039    x1018: number;
1040    x1019: number;
1041    x1020: number;
1042    x1021: number;
1043    x1022: number;
1044    x1023: number;
1045    x1024: number;
1046}
1047
1048function test(): void {
1049    let c = new C();
1050    print(ArkTools.isNotHoleProperty(c, "x100"));
1051}
1052
1053test();
1054