2707aba6bd4e18dee9a06c5b7a9d3888c95744aa 15 KB

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