1ceaf07b219a9004798ecc0856af9b0d10cce19c 19 KB

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