93cba88aa6339c5b99fb1179a53081e985a22b40 16 KB

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