c4bd597847d498e86c6430431f022c93b4f1fac3 9.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419
  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: "Add"
  15. }
  16. self_pattern {
  17. binding_pattern {
  18. name: "self"
  19. type {
  20. expression_pattern {
  21. expression {
  22. identifier {
  23. name: "Self"
  24. }
  25. }
  26. }
  27. }
  28. }
  29. }
  30. param_pattern {
  31. fields {
  32. binding_pattern {
  33. name: "b"
  34. type {
  35. expression_pattern {
  36. expression {
  37. identifier {
  38. name: "Self"
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }
  45. }
  46. return_term {
  47. kind: Expression
  48. type {
  49. identifier {
  50. name: "Self"
  51. }
  52. }
  53. }
  54. }
  55. }
  56. members {
  57. function {
  58. name {
  59. name: "Scale"
  60. }
  61. self_pattern {
  62. binding_pattern {
  63. name: "self"
  64. type {
  65. expression_pattern {
  66. expression {
  67. identifier {
  68. name: "Self"
  69. }
  70. }
  71. }
  72. }
  73. }
  74. }
  75. param_pattern {
  76. fields {
  77. binding_pattern {
  78. name: "v"
  79. type {
  80. expression_pattern {
  81. expression {
  82. int_type_literal {
  83. }
  84. }
  85. }
  86. }
  87. }
  88. }
  89. }
  90. return_term {
  91. kind: Expression
  92. type {
  93. identifier {
  94. name: "Self"
  95. }
  96. }
  97. }
  98. }
  99. }
  100. }
  101. }
  102. declarations {
  103. class_declaration {
  104. name {
  105. name: "Point"
  106. }
  107. members {
  108. variable {
  109. binding {
  110. name: "x"
  111. type {
  112. expression_pattern {
  113. expression {
  114. int_type_literal {
  115. }
  116. }
  117. }
  118. }
  119. }
  120. }
  121. }
  122. members {
  123. variable {
  124. binding {
  125. name: "y"
  126. type {
  127. expression_pattern {
  128. expression {
  129. int_type_literal {
  130. }
  131. }
  132. }
  133. }
  134. }
  135. }
  136. }
  137. }
  138. }
  139. declarations {
  140. function {
  141. name {
  142. name: "AddAndScaleGeneric"
  143. }
  144. deduced_parameters {
  145. name: "T"
  146. type {
  147. identifier {
  148. name: "Vector"
  149. }
  150. }
  151. }
  152. param_pattern {
  153. fields {
  154. binding_pattern {
  155. name: "a"
  156. type {
  157. expression_pattern {
  158. expression {
  159. identifier {
  160. name: "T"
  161. }
  162. }
  163. }
  164. }
  165. }
  166. }
  167. fields {
  168. binding_pattern {
  169. name: "b"
  170. type {
  171. expression_pattern {
  172. expression {
  173. identifier {
  174. name: "T"
  175. }
  176. }
  177. }
  178. }
  179. }
  180. }
  181. fields {
  182. binding_pattern {
  183. name: "s"
  184. type {
  185. expression_pattern {
  186. expression {
  187. int_type_literal {
  188. }
  189. }
  190. }
  191. }
  192. }
  193. }
  194. }
  195. return_term {
  196. kind: Expression
  197. type {
  198. identifier {
  199. name: "T"
  200. }
  201. }
  202. }
  203. body {
  204. statements {
  205. return_expression_statement {
  206. expression {
  207. call {
  208. function {
  209. simple_member_access {
  210. field: "Scale"
  211. object {
  212. call {
  213. function {
  214. simple_member_access {
  215. field: "Add"
  216. object {
  217. identifier {
  218. name: "a"
  219. }
  220. }
  221. }
  222. }
  223. argument {
  224. tuple_literal {
  225. fields {
  226. identifier {
  227. name: "b"
  228. }
  229. }
  230. }
  231. }
  232. }
  233. }
  234. }
  235. }
  236. argument {
  237. tuple_literal {
  238. fields {
  239. identifier {
  240. name: "s"
  241. }
  242. }
  243. }
  244. }
  245. }
  246. }
  247. }
  248. }
  249. }
  250. }
  251. }
  252. declarations {
  253. function {
  254. name {
  255. name: "Main"
  256. }
  257. param_pattern {
  258. }
  259. return_term {
  260. kind: Expression
  261. type {
  262. int_type_literal {
  263. }
  264. }
  265. }
  266. body {
  267. statements {
  268. variable_definition {
  269. pattern {
  270. binding_pattern {
  271. name: "a"
  272. type {
  273. expression_pattern {
  274. expression {
  275. identifier {
  276. name: "Point"
  277. }
  278. }
  279. }
  280. }
  281. }
  282. }
  283. init {
  284. struct_literal {
  285. fields {
  286. name: "x"
  287. expression {
  288. int_literal {
  289. value: 0
  290. }
  291. }
  292. }
  293. fields {
  294. name: "y"
  295. expression {
  296. int_literal {
  297. value: 0
  298. }
  299. }
  300. }
  301. }
  302. }
  303. is_returned: false
  304. }
  305. }
  306. statements {
  307. variable_definition {
  308. pattern {
  309. binding_pattern {
  310. name: "b"
  311. type {
  312. expression_pattern {
  313. expression {
  314. identifier {
  315. name: "Point"
  316. }
  317. }
  318. }
  319. }
  320. }
  321. }
  322. init {
  323. struct_literal {
  324. fields {
  325. name: "x"
  326. expression {
  327. int_literal {
  328. value: 2
  329. }
  330. }
  331. }
  332. fields {
  333. name: "y"
  334. expression {
  335. int_literal {
  336. value: 3
  337. }
  338. }
  339. }
  340. }
  341. }
  342. is_returned: false
  343. }
  344. }
  345. statements {
  346. variable_definition {
  347. pattern {
  348. binding_pattern {
  349. name: "p"
  350. type {
  351. expression_pattern {
  352. expression {
  353. identifier {
  354. name: "Point"
  355. }
  356. }
  357. }
  358. }
  359. }
  360. }
  361. init {
  362. call {
  363. function {
  364. identifier {
  365. name: "AddAndScaleGeneric"
  366. }
  367. }
  368. argument {
  369. tuple_literal {
  370. fields {
  371. identifier {
  372. name: "a"
  373. }
  374. }
  375. fields {
  376. identifier {
  377. name: "b"
  378. }
  379. }
  380. fields {
  381. int_literal {
  382. value: 3
  383. }
  384. }
  385. }
  386. }
  387. }
  388. }
  389. is_returned: false
  390. }
  391. }
  392. statements {
  393. return_expression_statement {
  394. expression {
  395. operator {
  396. op: Sub
  397. arguments {
  398. simple_member_access {
  399. field: "x"
  400. object {
  401. identifier {
  402. name: "p"
  403. }
  404. }
  405. }
  406. }
  407. arguments {
  408. int_literal {
  409. value: 6
  410. }
  411. }
  412. }
  413. }
  414. }
  415. }
  416. }
  417. }
  418. }
  419. }