70381203ec4a62c0892c9169af38afda36aff77b 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269
  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. function {
  13. name {
  14. name: "Create"
  15. }
  16. param_pattern {
  17. }
  18. return_term {
  19. kind: Expression
  20. type {
  21. identifier {
  22. name: "Self"
  23. }
  24. }
  25. }
  26. body {
  27. statements {
  28. return_expression_statement {
  29. expression {
  30. struct_literal {
  31. fields {
  32. name: "value_a"
  33. expression {
  34. int_literal {
  35. value: 1
  36. }
  37. }
  38. }
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }
  45. }
  46. members {
  47. variable {
  48. binding {
  49. name: "value_a"
  50. type {
  51. expression_pattern {
  52. expression {
  53. int_type_literal {
  54. }
  55. }
  56. }
  57. }
  58. }
  59. }
  60. }
  61. }
  62. }
  63. declarations {
  64. class_declaration {
  65. name {
  66. name: "B"
  67. }
  68. members {
  69. function {
  70. name {
  71. name: "Create"
  72. }
  73. param_pattern {
  74. }
  75. return_term {
  76. kind: Expression
  77. type {
  78. identifier {
  79. name: "Self"
  80. }
  81. }
  82. }
  83. body {
  84. statements {
  85. return_expression_statement {
  86. expression {
  87. struct_literal {
  88. fields {
  89. name: "base"
  90. expression {
  91. call {
  92. function {
  93. simple_member_access {
  94. field: "Create"
  95. object {
  96. identifier {
  97. name: "A"
  98. }
  99. }
  100. }
  101. }
  102. argument {
  103. tuple_literal {
  104. }
  105. }
  106. }
  107. }
  108. }
  109. fields {
  110. name: "value_b"
  111. expression {
  112. int_literal {
  113. value: 2
  114. }
  115. }
  116. }
  117. }
  118. }
  119. }
  120. }
  121. }
  122. }
  123. }
  124. members {
  125. variable {
  126. binding {
  127. name: "value_b"
  128. type {
  129. expression_pattern {
  130. expression {
  131. int_type_literal {
  132. }
  133. }
  134. }
  135. }
  136. }
  137. }
  138. }
  139. }
  140. }
  141. declarations {
  142. function {
  143. name {
  144. name: "Main"
  145. }
  146. param_pattern {
  147. }
  148. return_term {
  149. kind: Expression
  150. type {
  151. int_type_literal {
  152. }
  153. }
  154. }
  155. body {
  156. statements {
  157. variable_definition {
  158. pattern {
  159. binding_pattern {
  160. name: "b"
  161. type {
  162. expression_pattern {
  163. expression {
  164. identifier {
  165. name: "B"
  166. }
  167. }
  168. }
  169. }
  170. }
  171. }
  172. init {
  173. call {
  174. function {
  175. simple_member_access {
  176. field: "Create"
  177. object {
  178. identifier {
  179. name: "B"
  180. }
  181. }
  182. }
  183. }
  184. argument {
  185. tuple_literal {
  186. }
  187. }
  188. }
  189. }
  190. is_returned: false
  191. }
  192. }
  193. statements {
  194. expression_statement {
  195. expression {
  196. call {
  197. function {
  198. identifier {
  199. name: "Print"
  200. }
  201. }
  202. argument {
  203. tuple_literal {
  204. fields {
  205. string_literal {
  206. value: "{0}"
  207. }
  208. }
  209. fields {
  210. simple_member_access {
  211. field: "value_a"
  212. object {
  213. identifier {
  214. name: "b"
  215. }
  216. }
  217. }
  218. }
  219. }
  220. }
  221. }
  222. }
  223. }
  224. }
  225. statements {
  226. expression_statement {
  227. expression {
  228. call {
  229. function {
  230. identifier {
  231. name: "Print"
  232. }
  233. }
  234. argument {
  235. tuple_literal {
  236. fields {
  237. string_literal {
  238. value: "{0}"
  239. }
  240. }
  241. fields {
  242. simple_member_access {
  243. field: "value_b"
  244. object {
  245. identifier {
  246. name: "b"
  247. }
  248. }
  249. }
  250. }
  251. }
  252. }
  253. }
  254. }
  255. }
  256. }
  257. statements {
  258. return_expression_statement {
  259. expression {
  260. int_literal {
  261. value: 0
  262. }
  263. }
  264. }
  265. }
  266. }
  267. }
  268. }
  269. }