0cb069aeca3e33c5b431baf6a25016982d6f17c9 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. interface {
  8. name {
  9. name: "Addable"
  10. }
  11. members {
  12. function {
  13. name {
  14. name: "Add"
  15. }
  16. self_pattern {
  17. binding_pattern {
  18. name: "self"
  19. type {
  20. expression_pattern {
  21. expression {
  22. identifier {
  23. name: "Self"
  24. }
  25. }
  26. }
  27. }
  28. }
  29. }
  30. param_pattern {
  31. fields {
  32. binding_pattern {
  33. name: "k"
  34. type {
  35. expression_pattern {
  36. expression {
  37. int_type_literal {
  38. }
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }
  45. return_term {
  46. kind: Expression
  47. type {
  48. identifier {
  49. name: "Self"
  50. }
  51. }
  52. }
  53. }
  54. }
  55. }
  56. }
  57. declarations {
  58. impl {
  59. kind: InternalImpl
  60. impl_type {
  61. int_type_literal {
  62. }
  63. }
  64. interface {
  65. identifier {
  66. name: "Addable"
  67. }
  68. }
  69. members {
  70. function {
  71. name {
  72. name: "Add"
  73. }
  74. self_pattern {
  75. binding_pattern {
  76. name: "self"
  77. type {
  78. expression_pattern {
  79. expression {
  80. identifier {
  81. name: "Self"
  82. }
  83. }
  84. }
  85. }
  86. }
  87. }
  88. param_pattern {
  89. fields {
  90. binding_pattern {
  91. name: "k"
  92. type {
  93. expression_pattern {
  94. expression {
  95. int_type_literal {
  96. }
  97. }
  98. }
  99. }
  100. }
  101. }
  102. }
  103. return_term {
  104. kind: Expression
  105. type {
  106. identifier {
  107. name: "Self"
  108. }
  109. }
  110. }
  111. body {
  112. statements {
  113. return_expression_statement {
  114. expression {
  115. operator {
  116. op: Add
  117. arguments {
  118. identifier {
  119. name: "self"
  120. }
  121. }
  122. arguments {
  123. identifier {
  124. name: "k"
  125. }
  126. }
  127. }
  128. }
  129. }
  130. }
  131. }
  132. }
  133. }
  134. }
  135. }
  136. declarations {
  137. class_declaration {
  138. name {
  139. name: "Class"
  140. }
  141. members {
  142. variable {
  143. binding {
  144. name: "n"
  145. type {
  146. expression_pattern {
  147. expression {
  148. int_type_literal {
  149. }
  150. }
  151. }
  152. }
  153. }
  154. }
  155. }
  156. }
  157. }
  158. declarations {
  159. class_declaration {
  160. name {
  161. name: "GenericClass"
  162. }
  163. members {
  164. variable {
  165. binding {
  166. name: "m"
  167. type {
  168. expression_pattern {
  169. expression {
  170. identifier {
  171. name: "T"
  172. }
  173. }
  174. }
  175. }
  176. }
  177. }
  178. }
  179. members {
  180. function {
  181. name {
  182. name: "Get"
  183. }
  184. self_pattern {
  185. binding_pattern {
  186. name: "self"
  187. type {
  188. expression_pattern {
  189. expression {
  190. identifier {
  191. name: "Self"
  192. }
  193. }
  194. }
  195. }
  196. }
  197. }
  198. param_pattern {
  199. fields {
  200. binding_pattern {
  201. name: "n"
  202. type {
  203. expression_pattern {
  204. expression {
  205. int_type_literal {
  206. }
  207. }
  208. }
  209. }
  210. }
  211. }
  212. }
  213. return_term {
  214. kind: Expression
  215. type {
  216. identifier {
  217. name: "T"
  218. }
  219. }
  220. }
  221. body {
  222. statements {
  223. return_expression_statement {
  224. expression {
  225. call {
  226. function {
  227. simple_member_access {
  228. field: "Add"
  229. object {
  230. simple_member_access {
  231. field: "m"
  232. object {
  233. identifier {
  234. name: "self"
  235. }
  236. }
  237. }
  238. }
  239. }
  240. }
  241. argument {
  242. tuple_literal {
  243. fields {
  244. identifier {
  245. name: "n"
  246. }
  247. }
  248. }
  249. }
  250. }
  251. }
  252. }
  253. }
  254. }
  255. }
  256. }
  257. type_params {
  258. fields {
  259. generic_binding {
  260. name: "T"
  261. type {
  262. identifier {
  263. name: "Addable"
  264. }
  265. }
  266. }
  267. }
  268. }
  269. }
  270. }
  271. declarations {
  272. alias {
  273. name {
  274. name: "ClassAlias"
  275. }
  276. target {
  277. identifier {
  278. name: "Class"
  279. }
  280. }
  281. }
  282. }
  283. declarations {
  284. alias {
  285. name {
  286. name: "GenericClassAlias"
  287. }
  288. target {
  289. identifier {
  290. name: "GenericClass"
  291. }
  292. }
  293. }
  294. }
  295. declarations {
  296. alias {
  297. name {
  298. name: "ClassSpecializationAlias"
  299. }
  300. target {
  301. call {
  302. function {
  303. identifier {
  304. name: "GenericClassAlias"
  305. }
  306. }
  307. argument {
  308. tuple_literal {
  309. fields {
  310. int_type_literal {
  311. }
  312. }
  313. }
  314. }
  315. }
  316. }
  317. }
  318. }
  319. declarations {
  320. function {
  321. name {
  322. name: "Main"
  323. }
  324. param_pattern {
  325. }
  326. return_term {
  327. kind: Expression
  328. type {
  329. int_type_literal {
  330. }
  331. }
  332. }
  333. body {
  334. statements {
  335. variable_definition {
  336. pattern {
  337. binding_pattern {
  338. name: "a"
  339. type {
  340. expression_pattern {
  341. expression {
  342. identifier {
  343. name: "Class"
  344. }
  345. }
  346. }
  347. }
  348. }
  349. }
  350. init {
  351. struct_literal {
  352. fields {
  353. name: "n"
  354. expression {
  355. int_literal {
  356. value: 1
  357. }
  358. }
  359. }
  360. }
  361. }
  362. is_returned: false
  363. }
  364. }
  365. statements {
  366. variable_definition {
  367. pattern {
  368. binding_pattern {
  369. name: "b"
  370. type {
  371. expression_pattern {
  372. expression {
  373. identifier {
  374. name: "ClassAlias"
  375. }
  376. }
  377. }
  378. }
  379. }
  380. }
  381. init {
  382. identifier {
  383. name: "a"
  384. }
  385. }
  386. is_returned: false
  387. }
  388. }
  389. statements {
  390. variable_definition {
  391. pattern {
  392. binding_pattern {
  393. name: "c"
  394. type {
  395. expression_pattern {
  396. expression {
  397. call {
  398. function {
  399. identifier {
  400. name: "GenericClass"
  401. }
  402. }
  403. argument {
  404. tuple_literal {
  405. fields {
  406. int_type_literal {
  407. }
  408. }
  409. }
  410. }
  411. }
  412. }
  413. }
  414. }
  415. }
  416. }
  417. init {
  418. struct_literal {
  419. fields {
  420. name: "m"
  421. expression {
  422. int_literal {
  423. value: 2
  424. }
  425. }
  426. }
  427. }
  428. }
  429. is_returned: false
  430. }
  431. }
  432. statements {
  433. variable_definition {
  434. pattern {
  435. binding_pattern {
  436. name: "d"
  437. type {
  438. expression_pattern {
  439. expression {
  440. call {
  441. function {
  442. identifier {
  443. name: "GenericClassAlias"
  444. }
  445. }
  446. argument {
  447. tuple_literal {
  448. fields {
  449. int_type_literal {
  450. }
  451. }
  452. }
  453. }
  454. }
  455. }
  456. }
  457. }
  458. }
  459. }
  460. init {
  461. identifier {
  462. name: "c"
  463. }
  464. }
  465. is_returned: false
  466. }
  467. }
  468. statements {
  469. variable_definition {
  470. pattern {
  471. binding_pattern {
  472. name: "e"
  473. type {
  474. expression_pattern {
  475. expression {
  476. identifier {
  477. name: "ClassSpecializationAlias"
  478. }
  479. }
  480. }
  481. }
  482. }
  483. }
  484. init {
  485. identifier {
  486. name: "c"
  487. }
  488. }
  489. is_returned: false
  490. }
  491. }
  492. statements {
  493. expression_statement {
  494. expression {
  495. call {
  496. function {
  497. identifier {
  498. name: "Print"
  499. }
  500. }
  501. argument {
  502. tuple_literal {
  503. fields {
  504. string_literal {
  505. value: "b.n: {0}"
  506. }
  507. }
  508. fields {
  509. simple_member_access {
  510. field: "n"
  511. object {
  512. identifier {
  513. name: "b"
  514. }
  515. }
  516. }
  517. }
  518. }
  519. }
  520. }
  521. }
  522. }
  523. }
  524. statements {
  525. expression_statement {
  526. expression {
  527. call {
  528. function {
  529. identifier {
  530. name: "Print"
  531. }
  532. }
  533. argument {
  534. tuple_literal {
  535. fields {
  536. string_literal {
  537. value: "d.Get(0): {0}"
  538. }
  539. }
  540. fields {
  541. call {
  542. function {
  543. simple_member_access {
  544. field: "Get"
  545. object {
  546. identifier {
  547. name: "d"
  548. }
  549. }
  550. }
  551. }
  552. argument {
  553. tuple_literal {
  554. fields {
  555. int_literal {
  556. value: 0
  557. }
  558. }
  559. }
  560. }
  561. }
  562. }
  563. }
  564. }
  565. }
  566. }
  567. }
  568. }
  569. statements {
  570. expression_statement {
  571. expression {
  572. call {
  573. function {
  574. identifier {
  575. name: "Print"
  576. }
  577. }
  578. argument {
  579. tuple_literal {
  580. fields {
  581. string_literal {
  582. value: "e.Get(1): {0}"
  583. }
  584. }
  585. fields {
  586. call {
  587. function {
  588. simple_member_access {
  589. field: "Get"
  590. object {
  591. identifier {
  592. name: "e"
  593. }
  594. }
  595. }
  596. }
  597. argument {
  598. tuple_literal {
  599. fields {
  600. int_literal {
  601. value: 1
  602. }
  603. }
  604. }
  605. }
  606. }
  607. }
  608. }
  609. }
  610. }
  611. }
  612. }
  613. }
  614. statements {
  615. return_expression_statement {
  616. expression {
  617. int_literal {
  618. value: 0
  619. }
  620. }
  621. }
  622. }
  623. }
  624. }
  625. }
  626. }