21df195c24c357e5a8f18f482090d95d2524e548 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199
  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. }
  12. }
  13. declarations {
  14. class_declaration {
  15. name {
  16. name: "B"
  17. }
  18. members {
  19. function {
  20. name {
  21. name: "Foo"
  22. }
  23. self_pattern {
  24. binding_pattern {
  25. name: "self"
  26. type {
  27. expression_pattern {
  28. expression {
  29. identifier {
  30. name: "Self"
  31. }
  32. }
  33. }
  34. }
  35. }
  36. }
  37. param_pattern {
  38. }
  39. return_term {
  40. kind: Expression
  41. type {
  42. int_type_literal {
  43. }
  44. }
  45. }
  46. body {
  47. statements {
  48. return_expression_statement {
  49. expression {
  50. int_literal {
  51. value: 0
  52. }
  53. }
  54. }
  55. }
  56. }
  57. }
  58. }
  59. }
  60. }
  61. declarations {
  62. function {
  63. name {
  64. name: "Main"
  65. }
  66. param_pattern {
  67. }
  68. return_term {
  69. kind: Expression
  70. type {
  71. int_type_literal {
  72. }
  73. }
  74. }
  75. body {
  76. statements {
  77. variable_definition {
  78. pattern {
  79. binding_pattern {
  80. name: "b"
  81. type {
  82. expression_pattern {
  83. expression {
  84. identifier {
  85. name: "B"
  86. }
  87. }
  88. }
  89. }
  90. }
  91. }
  92. init {
  93. struct_literal {
  94. fields {
  95. name: "base"
  96. expression {
  97. struct_literal {
  98. }
  99. }
  100. }
  101. }
  102. }
  103. is_returned: false
  104. }
  105. }
  106. statements {
  107. variable_definition {
  108. pattern {
  109. binding_pattern {
  110. name: "bp"
  111. type {
  112. expression_pattern {
  113. expression {
  114. operator {
  115. op: Ptr
  116. arguments {
  117. identifier {
  118. name: "B"
  119. }
  120. }
  121. }
  122. }
  123. }
  124. }
  125. }
  126. }
  127. init {
  128. operator {
  129. op: AddressOf
  130. arguments {
  131. identifier {
  132. name: "b"
  133. }
  134. }
  135. }
  136. }
  137. is_returned: false
  138. }
  139. }
  140. statements {
  141. variable_definition {
  142. pattern {
  143. binding_pattern {
  144. name: "ap"
  145. type {
  146. expression_pattern {
  147. expression {
  148. operator {
  149. op: Ptr
  150. arguments {
  151. identifier {
  152. name: "A"
  153. }
  154. }
  155. }
  156. }
  157. }
  158. }
  159. }
  160. }
  161. init {
  162. identifier {
  163. name: "bp"
  164. }
  165. }
  166. is_returned: false
  167. }
  168. }
  169. statements {
  170. return_expression_statement {
  171. expression {
  172. call {
  173. function {
  174. simple_member_access {
  175. field: "Foo"
  176. object {
  177. operator {
  178. op: Deref
  179. arguments {
  180. identifier {
  181. name: "ap"
  182. }
  183. }
  184. }
  185. }
  186. }
  187. }
  188. argument {
  189. tuple_literal {
  190. }
  191. }
  192. }
  193. }
  194. }
  195. }
  196. }
  197. }
  198. }
  199. }