0931a1fe829e600d14421a0fa4084d9c7176d01e 11 KB

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