solidity.js 25 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354
  1. /*!-----------------------------------------------------------------------------
  2. * Copyright (c) Microsoft Corporation. All rights reserved.
  3. * Version: 0.31.1(337587859b1c171314b40503171188b6cea6a32a)
  4. * Released under the MIT license
  5. * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt
  6. *-----------------------------------------------------------------------------*/
  7. // src/basic-languages/solidity/solidity.ts
  8. var conf = {
  9. comments: {
  10. lineComment: "//",
  11. blockComment: ["/*", "*/"]
  12. },
  13. brackets: [
  14. ["{", "}"],
  15. ["[", "]"],
  16. ["(", ")"],
  17. ["<", ">"]
  18. ],
  19. autoClosingPairs: [
  20. { open: '"', close: '"', notIn: ["string", "comment"] },
  21. { open: "{", close: "}", notIn: ["string", "comment"] },
  22. { open: "[", close: "]", notIn: ["string", "comment"] },
  23. { open: "(", close: ")", notIn: ["string", "comment"] }
  24. ]
  25. };
  26. var language = {
  27. defaultToken: "",
  28. tokenPostfix: ".sol",
  29. brackets: [
  30. { token: "delimiter.curly", open: "{", close: "}" },
  31. { token: "delimiter.parenthesis", open: "(", close: ")" },
  32. { token: "delimiter.square", open: "[", close: "]" },
  33. { token: "delimiter.angle", open: "<", close: ">" }
  34. ],
  35. keywords: [
  36. "pragma",
  37. "solidity",
  38. "contract",
  39. "library",
  40. "using",
  41. "struct",
  42. "function",
  43. "modifier",
  44. "constructor",
  45. "address",
  46. "string",
  47. "bool",
  48. "Int",
  49. "Uint",
  50. "Byte",
  51. "Fixed",
  52. "Ufixed",
  53. "int",
  54. "int8",
  55. "int16",
  56. "int24",
  57. "int32",
  58. "int40",
  59. "int48",
  60. "int56",
  61. "int64",
  62. "int72",
  63. "int80",
  64. "int88",
  65. "int96",
  66. "int104",
  67. "int112",
  68. "int120",
  69. "int128",
  70. "int136",
  71. "int144",
  72. "int152",
  73. "int160",
  74. "int168",
  75. "int176",
  76. "int184",
  77. "int192",
  78. "int200",
  79. "int208",
  80. "int216",
  81. "int224",
  82. "int232",
  83. "int240",
  84. "int248",
  85. "int256",
  86. "uint",
  87. "uint8",
  88. "uint16",
  89. "uint24",
  90. "uint32",
  91. "uint40",
  92. "uint48",
  93. "uint56",
  94. "uint64",
  95. "uint72",
  96. "uint80",
  97. "uint88",
  98. "uint96",
  99. "uint104",
  100. "uint112",
  101. "uint120",
  102. "uint128",
  103. "uint136",
  104. "uint144",
  105. "uint152",
  106. "uint160",
  107. "uint168",
  108. "uint176",
  109. "uint184",
  110. "uint192",
  111. "uint200",
  112. "uint208",
  113. "uint216",
  114. "uint224",
  115. "uint232",
  116. "uint240",
  117. "uint248",
  118. "uint256",
  119. "byte",
  120. "bytes",
  121. "bytes1",
  122. "bytes2",
  123. "bytes3",
  124. "bytes4",
  125. "bytes5",
  126. "bytes6",
  127. "bytes7",
  128. "bytes8",
  129. "bytes9",
  130. "bytes10",
  131. "bytes11",
  132. "bytes12",
  133. "bytes13",
  134. "bytes14",
  135. "bytes15",
  136. "bytes16",
  137. "bytes17",
  138. "bytes18",
  139. "bytes19",
  140. "bytes20",
  141. "bytes21",
  142. "bytes22",
  143. "bytes23",
  144. "bytes24",
  145. "bytes25",
  146. "bytes26",
  147. "bytes27",
  148. "bytes28",
  149. "bytes29",
  150. "bytes30",
  151. "bytes31",
  152. "bytes32",
  153. "fixed",
  154. "fixed0x8",
  155. "fixed0x16",
  156. "fixed0x24",
  157. "fixed0x32",
  158. "fixed0x40",
  159. "fixed0x48",
  160. "fixed0x56",
  161. "fixed0x64",
  162. "fixed0x72",
  163. "fixed0x80",
  164. "fixed0x88",
  165. "fixed0x96",
  166. "fixed0x104",
  167. "fixed0x112",
  168. "fixed0x120",
  169. "fixed0x128",
  170. "fixed0x136",
  171. "fixed0x144",
  172. "fixed0x152",
  173. "fixed0x160",
  174. "fixed0x168",
  175. "fixed0x176",
  176. "fixed0x184",
  177. "fixed0x192",
  178. "fixed0x200",
  179. "fixed0x208",
  180. "fixed0x216",
  181. "fixed0x224",
  182. "fixed0x232",
  183. "fixed0x240",
  184. "fixed0x248",
  185. "fixed0x256",
  186. "fixed8x8",
  187. "fixed8x16",
  188. "fixed8x24",
  189. "fixed8x32",
  190. "fixed8x40",
  191. "fixed8x48",
  192. "fixed8x56",
  193. "fixed8x64",
  194. "fixed8x72",
  195. "fixed8x80",
  196. "fixed8x88",
  197. "fixed8x96",
  198. "fixed8x104",
  199. "fixed8x112",
  200. "fixed8x120",
  201. "fixed8x128",
  202. "fixed8x136",
  203. "fixed8x144",
  204. "fixed8x152",
  205. "fixed8x160",
  206. "fixed8x168",
  207. "fixed8x176",
  208. "fixed8x184",
  209. "fixed8x192",
  210. "fixed8x200",
  211. "fixed8x208",
  212. "fixed8x216",
  213. "fixed8x224",
  214. "fixed8x232",
  215. "fixed8x240",
  216. "fixed8x248",
  217. "fixed16x8",
  218. "fixed16x16",
  219. "fixed16x24",
  220. "fixed16x32",
  221. "fixed16x40",
  222. "fixed16x48",
  223. "fixed16x56",
  224. "fixed16x64",
  225. "fixed16x72",
  226. "fixed16x80",
  227. "fixed16x88",
  228. "fixed16x96",
  229. "fixed16x104",
  230. "fixed16x112",
  231. "fixed16x120",
  232. "fixed16x128",
  233. "fixed16x136",
  234. "fixed16x144",
  235. "fixed16x152",
  236. "fixed16x160",
  237. "fixed16x168",
  238. "fixed16x176",
  239. "fixed16x184",
  240. "fixed16x192",
  241. "fixed16x200",
  242. "fixed16x208",
  243. "fixed16x216",
  244. "fixed16x224",
  245. "fixed16x232",
  246. "fixed16x240",
  247. "fixed24x8",
  248. "fixed24x16",
  249. "fixed24x24",
  250. "fixed24x32",
  251. "fixed24x40",
  252. "fixed24x48",
  253. "fixed24x56",
  254. "fixed24x64",
  255. "fixed24x72",
  256. "fixed24x80",
  257. "fixed24x88",
  258. "fixed24x96",
  259. "fixed24x104",
  260. "fixed24x112",
  261. "fixed24x120",
  262. "fixed24x128",
  263. "fixed24x136",
  264. "fixed24x144",
  265. "fixed24x152",
  266. "fixed24x160",
  267. "fixed24x168",
  268. "fixed24x176",
  269. "fixed24x184",
  270. "fixed24x192",
  271. "fixed24x200",
  272. "fixed24x208",
  273. "fixed24x216",
  274. "fixed24x224",
  275. "fixed24x232",
  276. "fixed32x8",
  277. "fixed32x16",
  278. "fixed32x24",
  279. "fixed32x32",
  280. "fixed32x40",
  281. "fixed32x48",
  282. "fixed32x56",
  283. "fixed32x64",
  284. "fixed32x72",
  285. "fixed32x80",
  286. "fixed32x88",
  287. "fixed32x96",
  288. "fixed32x104",
  289. "fixed32x112",
  290. "fixed32x120",
  291. "fixed32x128",
  292. "fixed32x136",
  293. "fixed32x144",
  294. "fixed32x152",
  295. "fixed32x160",
  296. "fixed32x168",
  297. "fixed32x176",
  298. "fixed32x184",
  299. "fixed32x192",
  300. "fixed32x200",
  301. "fixed32x208",
  302. "fixed32x216",
  303. "fixed32x224",
  304. "fixed40x8",
  305. "fixed40x16",
  306. "fixed40x24",
  307. "fixed40x32",
  308. "fixed40x40",
  309. "fixed40x48",
  310. "fixed40x56",
  311. "fixed40x64",
  312. "fixed40x72",
  313. "fixed40x80",
  314. "fixed40x88",
  315. "fixed40x96",
  316. "fixed40x104",
  317. "fixed40x112",
  318. "fixed40x120",
  319. "fixed40x128",
  320. "fixed40x136",
  321. "fixed40x144",
  322. "fixed40x152",
  323. "fixed40x160",
  324. "fixed40x168",
  325. "fixed40x176",
  326. "fixed40x184",
  327. "fixed40x192",
  328. "fixed40x200",
  329. "fixed40x208",
  330. "fixed40x216",
  331. "fixed48x8",
  332. "fixed48x16",
  333. "fixed48x24",
  334. "fixed48x32",
  335. "fixed48x40",
  336. "fixed48x48",
  337. "fixed48x56",
  338. "fixed48x64",
  339. "fixed48x72",
  340. "fixed48x80",
  341. "fixed48x88",
  342. "fixed48x96",
  343. "fixed48x104",
  344. "fixed48x112",
  345. "fixed48x120",
  346. "fixed48x128",
  347. "fixed48x136",
  348. "fixed48x144",
  349. "fixed48x152",
  350. "fixed48x160",
  351. "fixed48x168",
  352. "fixed48x176",
  353. "fixed48x184",
  354. "fixed48x192",
  355. "fixed48x200",
  356. "fixed48x208",
  357. "fixed56x8",
  358. "fixed56x16",
  359. "fixed56x24",
  360. "fixed56x32",
  361. "fixed56x40",
  362. "fixed56x48",
  363. "fixed56x56",
  364. "fixed56x64",
  365. "fixed56x72",
  366. "fixed56x80",
  367. "fixed56x88",
  368. "fixed56x96",
  369. "fixed56x104",
  370. "fixed56x112",
  371. "fixed56x120",
  372. "fixed56x128",
  373. "fixed56x136",
  374. "fixed56x144",
  375. "fixed56x152",
  376. "fixed56x160",
  377. "fixed56x168",
  378. "fixed56x176",
  379. "fixed56x184",
  380. "fixed56x192",
  381. "fixed56x200",
  382. "fixed64x8",
  383. "fixed64x16",
  384. "fixed64x24",
  385. "fixed64x32",
  386. "fixed64x40",
  387. "fixed64x48",
  388. "fixed64x56",
  389. "fixed64x64",
  390. "fixed64x72",
  391. "fixed64x80",
  392. "fixed64x88",
  393. "fixed64x96",
  394. "fixed64x104",
  395. "fixed64x112",
  396. "fixed64x120",
  397. "fixed64x128",
  398. "fixed64x136",
  399. "fixed64x144",
  400. "fixed64x152",
  401. "fixed64x160",
  402. "fixed64x168",
  403. "fixed64x176",
  404. "fixed64x184",
  405. "fixed64x192",
  406. "fixed72x8",
  407. "fixed72x16",
  408. "fixed72x24",
  409. "fixed72x32",
  410. "fixed72x40",
  411. "fixed72x48",
  412. "fixed72x56",
  413. "fixed72x64",
  414. "fixed72x72",
  415. "fixed72x80",
  416. "fixed72x88",
  417. "fixed72x96",
  418. "fixed72x104",
  419. "fixed72x112",
  420. "fixed72x120",
  421. "fixed72x128",
  422. "fixed72x136",
  423. "fixed72x144",
  424. "fixed72x152",
  425. "fixed72x160",
  426. "fixed72x168",
  427. "fixed72x176",
  428. "fixed72x184",
  429. "fixed80x8",
  430. "fixed80x16",
  431. "fixed80x24",
  432. "fixed80x32",
  433. "fixed80x40",
  434. "fixed80x48",
  435. "fixed80x56",
  436. "fixed80x64",
  437. "fixed80x72",
  438. "fixed80x80",
  439. "fixed80x88",
  440. "fixed80x96",
  441. "fixed80x104",
  442. "fixed80x112",
  443. "fixed80x120",
  444. "fixed80x128",
  445. "fixed80x136",
  446. "fixed80x144",
  447. "fixed80x152",
  448. "fixed80x160",
  449. "fixed80x168",
  450. "fixed80x176",
  451. "fixed88x8",
  452. "fixed88x16",
  453. "fixed88x24",
  454. "fixed88x32",
  455. "fixed88x40",
  456. "fixed88x48",
  457. "fixed88x56",
  458. "fixed88x64",
  459. "fixed88x72",
  460. "fixed88x80",
  461. "fixed88x88",
  462. "fixed88x96",
  463. "fixed88x104",
  464. "fixed88x112",
  465. "fixed88x120",
  466. "fixed88x128",
  467. "fixed88x136",
  468. "fixed88x144",
  469. "fixed88x152",
  470. "fixed88x160",
  471. "fixed88x168",
  472. "fixed96x8",
  473. "fixed96x16",
  474. "fixed96x24",
  475. "fixed96x32",
  476. "fixed96x40",
  477. "fixed96x48",
  478. "fixed96x56",
  479. "fixed96x64",
  480. "fixed96x72",
  481. "fixed96x80",
  482. "fixed96x88",
  483. "fixed96x96",
  484. "fixed96x104",
  485. "fixed96x112",
  486. "fixed96x120",
  487. "fixed96x128",
  488. "fixed96x136",
  489. "fixed96x144",
  490. "fixed96x152",
  491. "fixed96x160",
  492. "fixed104x8",
  493. "fixed104x16",
  494. "fixed104x24",
  495. "fixed104x32",
  496. "fixed104x40",
  497. "fixed104x48",
  498. "fixed104x56",
  499. "fixed104x64",
  500. "fixed104x72",
  501. "fixed104x80",
  502. "fixed104x88",
  503. "fixed104x96",
  504. "fixed104x104",
  505. "fixed104x112",
  506. "fixed104x120",
  507. "fixed104x128",
  508. "fixed104x136",
  509. "fixed104x144",
  510. "fixed104x152",
  511. "fixed112x8",
  512. "fixed112x16",
  513. "fixed112x24",
  514. "fixed112x32",
  515. "fixed112x40",
  516. "fixed112x48",
  517. "fixed112x56",
  518. "fixed112x64",
  519. "fixed112x72",
  520. "fixed112x80",
  521. "fixed112x88",
  522. "fixed112x96",
  523. "fixed112x104",
  524. "fixed112x112",
  525. "fixed112x120",
  526. "fixed112x128",
  527. "fixed112x136",
  528. "fixed112x144",
  529. "fixed120x8",
  530. "fixed120x16",
  531. "fixed120x24",
  532. "fixed120x32",
  533. "fixed120x40",
  534. "fixed120x48",
  535. "fixed120x56",
  536. "fixed120x64",
  537. "fixed120x72",
  538. "fixed120x80",
  539. "fixed120x88",
  540. "fixed120x96",
  541. "fixed120x104",
  542. "fixed120x112",
  543. "fixed120x120",
  544. "fixed120x128",
  545. "fixed120x136",
  546. "fixed128x8",
  547. "fixed128x16",
  548. "fixed128x24",
  549. "fixed128x32",
  550. "fixed128x40",
  551. "fixed128x48",
  552. "fixed128x56",
  553. "fixed128x64",
  554. "fixed128x72",
  555. "fixed128x80",
  556. "fixed128x88",
  557. "fixed128x96",
  558. "fixed128x104",
  559. "fixed128x112",
  560. "fixed128x120",
  561. "fixed128x128",
  562. "fixed136x8",
  563. "fixed136x16",
  564. "fixed136x24",
  565. "fixed136x32",
  566. "fixed136x40",
  567. "fixed136x48",
  568. "fixed136x56",
  569. "fixed136x64",
  570. "fixed136x72",
  571. "fixed136x80",
  572. "fixed136x88",
  573. "fixed136x96",
  574. "fixed136x104",
  575. "fixed136x112",
  576. "fixed136x120",
  577. "fixed144x8",
  578. "fixed144x16",
  579. "fixed144x24",
  580. "fixed144x32",
  581. "fixed144x40",
  582. "fixed144x48",
  583. "fixed144x56",
  584. "fixed144x64",
  585. "fixed144x72",
  586. "fixed144x80",
  587. "fixed144x88",
  588. "fixed144x96",
  589. "fixed144x104",
  590. "fixed144x112",
  591. "fixed152x8",
  592. "fixed152x16",
  593. "fixed152x24",
  594. "fixed152x32",
  595. "fixed152x40",
  596. "fixed152x48",
  597. "fixed152x56",
  598. "fixed152x64",
  599. "fixed152x72",
  600. "fixed152x80",
  601. "fixed152x88",
  602. "fixed152x96",
  603. "fixed152x104",
  604. "fixed160x8",
  605. "fixed160x16",
  606. "fixed160x24",
  607. "fixed160x32",
  608. "fixed160x40",
  609. "fixed160x48",
  610. "fixed160x56",
  611. "fixed160x64",
  612. "fixed160x72",
  613. "fixed160x80",
  614. "fixed160x88",
  615. "fixed160x96",
  616. "fixed168x8",
  617. "fixed168x16",
  618. "fixed168x24",
  619. "fixed168x32",
  620. "fixed168x40",
  621. "fixed168x48",
  622. "fixed168x56",
  623. "fixed168x64",
  624. "fixed168x72",
  625. "fixed168x80",
  626. "fixed168x88",
  627. "fixed176x8",
  628. "fixed176x16",
  629. "fixed176x24",
  630. "fixed176x32",
  631. "fixed176x40",
  632. "fixed176x48",
  633. "fixed176x56",
  634. "fixed176x64",
  635. "fixed176x72",
  636. "fixed176x80",
  637. "fixed184x8",
  638. "fixed184x16",
  639. "fixed184x24",
  640. "fixed184x32",
  641. "fixed184x40",
  642. "fixed184x48",
  643. "fixed184x56",
  644. "fixed184x64",
  645. "fixed184x72",
  646. "fixed192x8",
  647. "fixed192x16",
  648. "fixed192x24",
  649. "fixed192x32",
  650. "fixed192x40",
  651. "fixed192x48",
  652. "fixed192x56",
  653. "fixed192x64",
  654. "fixed200x8",
  655. "fixed200x16",
  656. "fixed200x24",
  657. "fixed200x32",
  658. "fixed200x40",
  659. "fixed200x48",
  660. "fixed200x56",
  661. "fixed208x8",
  662. "fixed208x16",
  663. "fixed208x24",
  664. "fixed208x32",
  665. "fixed208x40",
  666. "fixed208x48",
  667. "fixed216x8",
  668. "fixed216x16",
  669. "fixed216x24",
  670. "fixed216x32",
  671. "fixed216x40",
  672. "fixed224x8",
  673. "fixed224x16",
  674. "fixed224x24",
  675. "fixed224x32",
  676. "fixed232x8",
  677. "fixed232x16",
  678. "fixed232x24",
  679. "fixed240x8",
  680. "fixed240x16",
  681. "fixed248x8",
  682. "ufixed",
  683. "ufixed0x8",
  684. "ufixed0x16",
  685. "ufixed0x24",
  686. "ufixed0x32",
  687. "ufixed0x40",
  688. "ufixed0x48",
  689. "ufixed0x56",
  690. "ufixed0x64",
  691. "ufixed0x72",
  692. "ufixed0x80",
  693. "ufixed0x88",
  694. "ufixed0x96",
  695. "ufixed0x104",
  696. "ufixed0x112",
  697. "ufixed0x120",
  698. "ufixed0x128",
  699. "ufixed0x136",
  700. "ufixed0x144",
  701. "ufixed0x152",
  702. "ufixed0x160",
  703. "ufixed0x168",
  704. "ufixed0x176",
  705. "ufixed0x184",
  706. "ufixed0x192",
  707. "ufixed0x200",
  708. "ufixed0x208",
  709. "ufixed0x216",
  710. "ufixed0x224",
  711. "ufixed0x232",
  712. "ufixed0x240",
  713. "ufixed0x248",
  714. "ufixed0x256",
  715. "ufixed8x8",
  716. "ufixed8x16",
  717. "ufixed8x24",
  718. "ufixed8x32",
  719. "ufixed8x40",
  720. "ufixed8x48",
  721. "ufixed8x56",
  722. "ufixed8x64",
  723. "ufixed8x72",
  724. "ufixed8x80",
  725. "ufixed8x88",
  726. "ufixed8x96",
  727. "ufixed8x104",
  728. "ufixed8x112",
  729. "ufixed8x120",
  730. "ufixed8x128",
  731. "ufixed8x136",
  732. "ufixed8x144",
  733. "ufixed8x152",
  734. "ufixed8x160",
  735. "ufixed8x168",
  736. "ufixed8x176",
  737. "ufixed8x184",
  738. "ufixed8x192",
  739. "ufixed8x200",
  740. "ufixed8x208",
  741. "ufixed8x216",
  742. "ufixed8x224",
  743. "ufixed8x232",
  744. "ufixed8x240",
  745. "ufixed8x248",
  746. "ufixed16x8",
  747. "ufixed16x16",
  748. "ufixed16x24",
  749. "ufixed16x32",
  750. "ufixed16x40",
  751. "ufixed16x48",
  752. "ufixed16x56",
  753. "ufixed16x64",
  754. "ufixed16x72",
  755. "ufixed16x80",
  756. "ufixed16x88",
  757. "ufixed16x96",
  758. "ufixed16x104",
  759. "ufixed16x112",
  760. "ufixed16x120",
  761. "ufixed16x128",
  762. "ufixed16x136",
  763. "ufixed16x144",
  764. "ufixed16x152",
  765. "ufixed16x160",
  766. "ufixed16x168",
  767. "ufixed16x176",
  768. "ufixed16x184",
  769. "ufixed16x192",
  770. "ufixed16x200",
  771. "ufixed16x208",
  772. "ufixed16x216",
  773. "ufixed16x224",
  774. "ufixed16x232",
  775. "ufixed16x240",
  776. "ufixed24x8",
  777. "ufixed24x16",
  778. "ufixed24x24",
  779. "ufixed24x32",
  780. "ufixed24x40",
  781. "ufixed24x48",
  782. "ufixed24x56",
  783. "ufixed24x64",
  784. "ufixed24x72",
  785. "ufixed24x80",
  786. "ufixed24x88",
  787. "ufixed24x96",
  788. "ufixed24x104",
  789. "ufixed24x112",
  790. "ufixed24x120",
  791. "ufixed24x128",
  792. "ufixed24x136",
  793. "ufixed24x144",
  794. "ufixed24x152",
  795. "ufixed24x160",
  796. "ufixed24x168",
  797. "ufixed24x176",
  798. "ufixed24x184",
  799. "ufixed24x192",
  800. "ufixed24x200",
  801. "ufixed24x208",
  802. "ufixed24x216",
  803. "ufixed24x224",
  804. "ufixed24x232",
  805. "ufixed32x8",
  806. "ufixed32x16",
  807. "ufixed32x24",
  808. "ufixed32x32",
  809. "ufixed32x40",
  810. "ufixed32x48",
  811. "ufixed32x56",
  812. "ufixed32x64",
  813. "ufixed32x72",
  814. "ufixed32x80",
  815. "ufixed32x88",
  816. "ufixed32x96",
  817. "ufixed32x104",
  818. "ufixed32x112",
  819. "ufixed32x120",
  820. "ufixed32x128",
  821. "ufixed32x136",
  822. "ufixed32x144",
  823. "ufixed32x152",
  824. "ufixed32x160",
  825. "ufixed32x168",
  826. "ufixed32x176",
  827. "ufixed32x184",
  828. "ufixed32x192",
  829. "ufixed32x200",
  830. "ufixed32x208",
  831. "ufixed32x216",
  832. "ufixed32x224",
  833. "ufixed40x8",
  834. "ufixed40x16",
  835. "ufixed40x24",
  836. "ufixed40x32",
  837. "ufixed40x40",
  838. "ufixed40x48",
  839. "ufixed40x56",
  840. "ufixed40x64",
  841. "ufixed40x72",
  842. "ufixed40x80",
  843. "ufixed40x88",
  844. "ufixed40x96",
  845. "ufixed40x104",
  846. "ufixed40x112",
  847. "ufixed40x120",
  848. "ufixed40x128",
  849. "ufixed40x136",
  850. "ufixed40x144",
  851. "ufixed40x152",
  852. "ufixed40x160",
  853. "ufixed40x168",
  854. "ufixed40x176",
  855. "ufixed40x184",
  856. "ufixed40x192",
  857. "ufixed40x200",
  858. "ufixed40x208",
  859. "ufixed40x216",
  860. "ufixed48x8",
  861. "ufixed48x16",
  862. "ufixed48x24",
  863. "ufixed48x32",
  864. "ufixed48x40",
  865. "ufixed48x48",
  866. "ufixed48x56",
  867. "ufixed48x64",
  868. "ufixed48x72",
  869. "ufixed48x80",
  870. "ufixed48x88",
  871. "ufixed48x96",
  872. "ufixed48x104",
  873. "ufixed48x112",
  874. "ufixed48x120",
  875. "ufixed48x128",
  876. "ufixed48x136",
  877. "ufixed48x144",
  878. "ufixed48x152",
  879. "ufixed48x160",
  880. "ufixed48x168",
  881. "ufixed48x176",
  882. "ufixed48x184",
  883. "ufixed48x192",
  884. "ufixed48x200",
  885. "ufixed48x208",
  886. "ufixed56x8",
  887. "ufixed56x16",
  888. "ufixed56x24",
  889. "ufixed56x32",
  890. "ufixed56x40",
  891. "ufixed56x48",
  892. "ufixed56x56",
  893. "ufixed56x64",
  894. "ufixed56x72",
  895. "ufixed56x80",
  896. "ufixed56x88",
  897. "ufixed56x96",
  898. "ufixed56x104",
  899. "ufixed56x112",
  900. "ufixed56x120",
  901. "ufixed56x128",
  902. "ufixed56x136",
  903. "ufixed56x144",
  904. "ufixed56x152",
  905. "ufixed56x160",
  906. "ufixed56x168",
  907. "ufixed56x176",
  908. "ufixed56x184",
  909. "ufixed56x192",
  910. "ufixed56x200",
  911. "ufixed64x8",
  912. "ufixed64x16",
  913. "ufixed64x24",
  914. "ufixed64x32",
  915. "ufixed64x40",
  916. "ufixed64x48",
  917. "ufixed64x56",
  918. "ufixed64x64",
  919. "ufixed64x72",
  920. "ufixed64x80",
  921. "ufixed64x88",
  922. "ufixed64x96",
  923. "ufixed64x104",
  924. "ufixed64x112",
  925. "ufixed64x120",
  926. "ufixed64x128",
  927. "ufixed64x136",
  928. "ufixed64x144",
  929. "ufixed64x152",
  930. "ufixed64x160",
  931. "ufixed64x168",
  932. "ufixed64x176",
  933. "ufixed64x184",
  934. "ufixed64x192",
  935. "ufixed72x8",
  936. "ufixed72x16",
  937. "ufixed72x24",
  938. "ufixed72x32",
  939. "ufixed72x40",
  940. "ufixed72x48",
  941. "ufixed72x56",
  942. "ufixed72x64",
  943. "ufixed72x72",
  944. "ufixed72x80",
  945. "ufixed72x88",
  946. "ufixed72x96",
  947. "ufixed72x104",
  948. "ufixed72x112",
  949. "ufixed72x120",
  950. "ufixed72x128",
  951. "ufixed72x136",
  952. "ufixed72x144",
  953. "ufixed72x152",
  954. "ufixed72x160",
  955. "ufixed72x168",
  956. "ufixed72x176",
  957. "ufixed72x184",
  958. "ufixed80x8",
  959. "ufixed80x16",
  960. "ufixed80x24",
  961. "ufixed80x32",
  962. "ufixed80x40",
  963. "ufixed80x48",
  964. "ufixed80x56",
  965. "ufixed80x64",
  966. "ufixed80x72",
  967. "ufixed80x80",
  968. "ufixed80x88",
  969. "ufixed80x96",
  970. "ufixed80x104",
  971. "ufixed80x112",
  972. "ufixed80x120",
  973. "ufixed80x128",
  974. "ufixed80x136",
  975. "ufixed80x144",
  976. "ufixed80x152",
  977. "ufixed80x160",
  978. "ufixed80x168",
  979. "ufixed80x176",
  980. "ufixed88x8",
  981. "ufixed88x16",
  982. "ufixed88x24",
  983. "ufixed88x32",
  984. "ufixed88x40",
  985. "ufixed88x48",
  986. "ufixed88x56",
  987. "ufixed88x64",
  988. "ufixed88x72",
  989. "ufixed88x80",
  990. "ufixed88x88",
  991. "ufixed88x96",
  992. "ufixed88x104",
  993. "ufixed88x112",
  994. "ufixed88x120",
  995. "ufixed88x128",
  996. "ufixed88x136",
  997. "ufixed88x144",
  998. "ufixed88x152",
  999. "ufixed88x160",
  1000. "ufixed88x168",
  1001. "ufixed96x8",
  1002. "ufixed96x16",
  1003. "ufixed96x24",
  1004. "ufixed96x32",
  1005. "ufixed96x40",
  1006. "ufixed96x48",
  1007. "ufixed96x56",
  1008. "ufixed96x64",
  1009. "ufixed96x72",
  1010. "ufixed96x80",
  1011. "ufixed96x88",
  1012. "ufixed96x96",
  1013. "ufixed96x104",
  1014. "ufixed96x112",
  1015. "ufixed96x120",
  1016. "ufixed96x128",
  1017. "ufixed96x136",
  1018. "ufixed96x144",
  1019. "ufixed96x152",
  1020. "ufixed96x160",
  1021. "ufixed104x8",
  1022. "ufixed104x16",
  1023. "ufixed104x24",
  1024. "ufixed104x32",
  1025. "ufixed104x40",
  1026. "ufixed104x48",
  1027. "ufixed104x56",
  1028. "ufixed104x64",
  1029. "ufixed104x72",
  1030. "ufixed104x80",
  1031. "ufixed104x88",
  1032. "ufixed104x96",
  1033. "ufixed104x104",
  1034. "ufixed104x112",
  1035. "ufixed104x120",
  1036. "ufixed104x128",
  1037. "ufixed104x136",
  1038. "ufixed104x144",
  1039. "ufixed104x152",
  1040. "ufixed112x8",
  1041. "ufixed112x16",
  1042. "ufixed112x24",
  1043. "ufixed112x32",
  1044. "ufixed112x40",
  1045. "ufixed112x48",
  1046. "ufixed112x56",
  1047. "ufixed112x64",
  1048. "ufixed112x72",
  1049. "ufixed112x80",
  1050. "ufixed112x88",
  1051. "ufixed112x96",
  1052. "ufixed112x104",
  1053. "ufixed112x112",
  1054. "ufixed112x120",
  1055. "ufixed112x128",
  1056. "ufixed112x136",
  1057. "ufixed112x144",
  1058. "ufixed120x8",
  1059. "ufixed120x16",
  1060. "ufixed120x24",
  1061. "ufixed120x32",
  1062. "ufixed120x40",
  1063. "ufixed120x48",
  1064. "ufixed120x56",
  1065. "ufixed120x64",
  1066. "ufixed120x72",
  1067. "ufixed120x80",
  1068. "ufixed120x88",
  1069. "ufixed120x96",
  1070. "ufixed120x104",
  1071. "ufixed120x112",
  1072. "ufixed120x120",
  1073. "ufixed120x128",
  1074. "ufixed120x136",
  1075. "ufixed128x8",
  1076. "ufixed128x16",
  1077. "ufixed128x24",
  1078. "ufixed128x32",
  1079. "ufixed128x40",
  1080. "ufixed128x48",
  1081. "ufixed128x56",
  1082. "ufixed128x64",
  1083. "ufixed128x72",
  1084. "ufixed128x80",
  1085. "ufixed128x88",
  1086. "ufixed128x96",
  1087. "ufixed128x104",
  1088. "ufixed128x112",
  1089. "ufixed128x120",
  1090. "ufixed128x128",
  1091. "ufixed136x8",
  1092. "ufixed136x16",
  1093. "ufixed136x24",
  1094. "ufixed136x32",
  1095. "ufixed136x40",
  1096. "ufixed136x48",
  1097. "ufixed136x56",
  1098. "ufixed136x64",
  1099. "ufixed136x72",
  1100. "ufixed136x80",
  1101. "ufixed136x88",
  1102. "ufixed136x96",
  1103. "ufixed136x104",
  1104. "ufixed136x112",
  1105. "ufixed136x120",
  1106. "ufixed144x8",
  1107. "ufixed144x16",
  1108. "ufixed144x24",
  1109. "ufixed144x32",
  1110. "ufixed144x40",
  1111. "ufixed144x48",
  1112. "ufixed144x56",
  1113. "ufixed144x64",
  1114. "ufixed144x72",
  1115. "ufixed144x80",
  1116. "ufixed144x88",
  1117. "ufixed144x96",
  1118. "ufixed144x104",
  1119. "ufixed144x112",
  1120. "ufixed152x8",
  1121. "ufixed152x16",
  1122. "ufixed152x24",
  1123. "ufixed152x32",
  1124. "ufixed152x40",
  1125. "ufixed152x48",
  1126. "ufixed152x56",
  1127. "ufixed152x64",
  1128. "ufixed152x72",
  1129. "ufixed152x80",
  1130. "ufixed152x88",
  1131. "ufixed152x96",
  1132. "ufixed152x104",
  1133. "ufixed160x8",
  1134. "ufixed160x16",
  1135. "ufixed160x24",
  1136. "ufixed160x32",
  1137. "ufixed160x40",
  1138. "ufixed160x48",
  1139. "ufixed160x56",
  1140. "ufixed160x64",
  1141. "ufixed160x72",
  1142. "ufixed160x80",
  1143. "ufixed160x88",
  1144. "ufixed160x96",
  1145. "ufixed168x8",
  1146. "ufixed168x16",
  1147. "ufixed168x24",
  1148. "ufixed168x32",
  1149. "ufixed168x40",
  1150. "ufixed168x48",
  1151. "ufixed168x56",
  1152. "ufixed168x64",
  1153. "ufixed168x72",
  1154. "ufixed168x80",
  1155. "ufixed168x88",
  1156. "ufixed176x8",
  1157. "ufixed176x16",
  1158. "ufixed176x24",
  1159. "ufixed176x32",
  1160. "ufixed176x40",
  1161. "ufixed176x48",
  1162. "ufixed176x56",
  1163. "ufixed176x64",
  1164. "ufixed176x72",
  1165. "ufixed176x80",
  1166. "ufixed184x8",
  1167. "ufixed184x16",
  1168. "ufixed184x24",
  1169. "ufixed184x32",
  1170. "ufixed184x40",
  1171. "ufixed184x48",
  1172. "ufixed184x56",
  1173. "ufixed184x64",
  1174. "ufixed184x72",
  1175. "ufixed192x8",
  1176. "ufixed192x16",
  1177. "ufixed192x24",
  1178. "ufixed192x32",
  1179. "ufixed192x40",
  1180. "ufixed192x48",
  1181. "ufixed192x56",
  1182. "ufixed192x64",
  1183. "ufixed200x8",
  1184. "ufixed200x16",
  1185. "ufixed200x24",
  1186. "ufixed200x32",
  1187. "ufixed200x40",
  1188. "ufixed200x48",
  1189. "ufixed200x56",
  1190. "ufixed208x8",
  1191. "ufixed208x16",
  1192. "ufixed208x24",
  1193. "ufixed208x32",
  1194. "ufixed208x40",
  1195. "ufixed208x48",
  1196. "ufixed216x8",
  1197. "ufixed216x16",
  1198. "ufixed216x24",
  1199. "ufixed216x32",
  1200. "ufixed216x40",
  1201. "ufixed224x8",
  1202. "ufixed224x16",
  1203. "ufixed224x24",
  1204. "ufixed224x32",
  1205. "ufixed232x8",
  1206. "ufixed232x16",
  1207. "ufixed232x24",
  1208. "ufixed240x8",
  1209. "ufixed240x16",
  1210. "ufixed248x8",
  1211. "event",
  1212. "enum",
  1213. "let",
  1214. "mapping",
  1215. "private",
  1216. "public",
  1217. "external",
  1218. "inherited",
  1219. "payable",
  1220. "true",
  1221. "false",
  1222. "var",
  1223. "import",
  1224. "constant",
  1225. "if",
  1226. "else",
  1227. "for",
  1228. "else",
  1229. "for",
  1230. "while",
  1231. "do",
  1232. "break",
  1233. "continue",
  1234. "throw",
  1235. "returns",
  1236. "return",
  1237. "suicide",
  1238. "new",
  1239. "is",
  1240. "this",
  1241. "super"
  1242. ],
  1243. operators: [
  1244. "=",
  1245. ">",
  1246. "<",
  1247. "!",
  1248. "~",
  1249. "?",
  1250. ":",
  1251. "==",
  1252. "<=",
  1253. ">=",
  1254. "!=",
  1255. "&&",
  1256. "||",
  1257. "++",
  1258. "--",
  1259. "+",
  1260. "-",
  1261. "*",
  1262. "/",
  1263. "&",
  1264. "|",
  1265. "^",
  1266. "%",
  1267. "<<",
  1268. ">>",
  1269. ">>>",
  1270. "+=",
  1271. "-=",
  1272. "*=",
  1273. "/=",
  1274. "&=",
  1275. "|=",
  1276. "^=",
  1277. "%=",
  1278. "<<=",
  1279. ">>=",
  1280. ">>>="
  1281. ],
  1282. symbols: /[=><!~?:&|+\-*\/\^%]+/,
  1283. escapes: /\\(?:[abfnrtv\\"']|x[0-9A-Fa-f]{1,4}|u[0-9A-Fa-f]{4}|U[0-9A-Fa-f]{8})/,
  1284. integersuffix: /(ll|LL|u|U|l|L)?(ll|LL|u|U|l|L)?/,
  1285. floatsuffix: /[fFlL]?/,
  1286. tokenizer: {
  1287. root: [
  1288. [
  1289. /[a-zA-Z_]\w*/,
  1290. {
  1291. cases: {
  1292. "@keywords": { token: "keyword.$0" },
  1293. "@default": "identifier"
  1294. }
  1295. }
  1296. ],
  1297. { include: "@whitespace" },
  1298. [/\[\[.*\]\]/, "annotation"],
  1299. [/^\s*#\w+/, "keyword"],
  1300. [/int\d*/, "keyword"],
  1301. [/[{}()\[\]]/, "@brackets"],
  1302. [/[<>](?!@symbols)/, "@brackets"],
  1303. [
  1304. /@symbols/,
  1305. {
  1306. cases: {
  1307. "@operators": "delimiter",
  1308. "@default": ""
  1309. }
  1310. }
  1311. ],
  1312. [/\d*\d+[eE]([\-+]?\d+)?(@floatsuffix)/, "number.float"],
  1313. [/\d*\.\d+([eE][\-+]?\d+)?(@floatsuffix)/, "number.float"],
  1314. [/0[xX][0-9a-fA-F']*[0-9a-fA-F](@integersuffix)/, "number.hex"],
  1315. [/0[0-7']*[0-7](@integersuffix)/, "number.octal"],
  1316. [/0[bB][0-1']*[0-1](@integersuffix)/, "number.binary"],
  1317. [/\d[\d']*\d(@integersuffix)/, "number"],
  1318. [/\d(@integersuffix)/, "number"],
  1319. [/[;,.]/, "delimiter"],
  1320. [/"([^"\\]|\\.)*$/, "string.invalid"],
  1321. [/"/, "string", "@string"],
  1322. [/'[^\\']'/, "string"],
  1323. [/(')(@escapes)(')/, ["string", "string.escape", "string"]],
  1324. [/'/, "string.invalid"]
  1325. ],
  1326. whitespace: [
  1327. [/[ \t\r\n]+/, ""],
  1328. [/\/\*\*(?!\/)/, "comment.doc", "@doccomment"],
  1329. [/\/\*/, "comment", "@comment"],
  1330. [/\/\/.*$/, "comment"]
  1331. ],
  1332. comment: [
  1333. [/[^\/*]+/, "comment"],
  1334. [/\*\//, "comment", "@pop"],
  1335. [/[\/*]/, "comment"]
  1336. ],
  1337. doccomment: [
  1338. [/[^\/*]+/, "comment.doc"],
  1339. [/\*\//, "comment.doc", "@pop"],
  1340. [/[\/*]/, "comment.doc"]
  1341. ],
  1342. string: [
  1343. [/[^\\"]+/, "string"],
  1344. [/@escapes/, "string.escape"],
  1345. [/\\./, "string.escape.invalid"],
  1346. [/"/, "string", "@pop"]
  1347. ]
  1348. }
  1349. };
  1350. export {
  1351. conf,
  1352. language
  1353. };