4e2e3a112f5ac1b2e5e21b378de5fde998463a7f 17 KB

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