90e98e569c2c9dccbbbf6036b2ca560996e27456 22 KB

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