c5e12b066cbb6a6381f51a01431346fa332edba3 14 KB

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