1ea21248974dcd55d90a60ca12e8149169a9b34c 18 KB

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