f3e2caaa2ea293093d127d2dd6f43c0827100b77 18 KB

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