3a9d268c66c4487a73972c46d4f0c267eb91817c 18 KB

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