hphp/hack/test/holes/call_set.php.holes.exp

   1 [(Class
   2     { c_span = [3:1-5:2]; c_annotation = (); c_mode = Mstrict; c_final = false;
   3       c_is_xhp = false; c_has_xhp_keyword = false; c_kind = (Cclass Concrete);
   4       c_name = ([3:7-14], "\\TestSet"); c_tparams = []; c_extends = [];
   5       c_uses = []; c_xhp_attr_uses = []; c_xhp_category = None; c_reqs = [];
   6       c_implements = []; c_where_constraints = []; c_consts = []; c_typeconsts = [];
   7       c_vars = [];
   8       c_methods =
   9       [{ m_span = [4:3-42]; m_annotation = (); m_final = false; m_abstract = false;
  10          m_static = false; m_readonly_this = false; m_visibility = Public;
  11          m_name = ([4:19-20], "h"); m_tparams = []; m_where_constraints = [];
  12          m_params =
  13          [{ param_annotation = (Set<int>); param_type_hint = ((Set<int>), (Some ([4:21-29], (Happly (([4:21-24], "\\HH\\Set"), [([4:25-28], (Hprim Tint))])))));
  14             param_is_variadic = false; param_pos = [4:30-32]; param_name = "$h";
  15             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  16             param_user_attributes = []; param_visibility = None }
  17            ];
  18          m_ctxs = None; m_unsafe_ctxs = None; m_body = { fb_ast = [([Pos.none], Noop)] };
  19          m_fun_kind = FSync; m_user_attributes = []; m_readonly_ret = None;
  20          m_ret = ((void), (Some ([4:35-39], (Hprim Tvoid)))); m_external = false;
  21          m_doc_comment = None }
  22         ];
  23       c_attributes = []; c_xhp_children = []; c_xhp_attrs = [];
  24       c_namespace =
  25       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  26         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  27         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  28       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  29       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None });
  30   (Fun
  31      { fd_namespace =
  32        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  33          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  34          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  35        fd_file_attributes = []; fd_mode = Mstrict;
  36        fd_fun =
  37        { f_span = [7:1-33]; f_readonly_this = None; f_annotation = ();
  38          f_readonly_ret = None; f_ret = ((void), (Some ([7:26-30], (Hprim Tvoid))));
  39          f_name = ([7:10-11], "\\h"); f_tparams = []; f_where_constraints = [];
  40          f_params =
  41          [{ param_annotation = (Set<int>); param_type_hint = ((Set<int>), (Some ([7:12-20], (Happly (([7:12-15], "\\HH\\Set"), [([7:16-19], (Hprim Tint))])))));
  42             param_is_variadic = false; param_pos = [7:21-23]; param_name = "$h";
  43             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  44             param_user_attributes = []; param_visibility = None }
  45            ];
  46          f_ctxs = None; f_unsafe_ctxs = None; f_body = { fb_ast = [([Pos.none], Noop)] };
  47          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  48          f_doc_comment = None };
  49        fd_internal = false; fd_module = None });
  50   (Fun
  51      { fd_namespace =
  52        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  53          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  54          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  55        fd_file_attributes = []; fd_mode = Mstrict;
  56        fd_fun =
  57        { f_span = [9:1-19:2]; f_readonly_this = None; f_annotation = ();
  58          f_readonly_ret = None; f_ret = ((void), (Some ([11:4-8], (Hprim Tvoid))));
  59          f_name = ([9:10-18], "\\call_set"); f_tparams = []; f_where_constraints = [];
  60          f_params =
  61          [{ param_annotation = (Set<string>); param_type_hint = ((Set<string>), (Some ([10:3-14], (Happly (([10:3-6], "\\HH\\Set"), [([10:7-13], (Hprim Tstring))])))));
  62             param_is_variadic = false; param_pos = [10:15-17]; param_name = "$h";
  63             param_expr = None; param_readonly = None; param_callconv = Pnormal;
  64             param_user_attributes = []; param_visibility = None }
  65            ];
  66          f_ctxs = None; f_unsafe_ctxs = None;
  67          f_body =
  68          { fb_ast =
  69            [([13:3-9],
  70              (Expr
  71                 ((void), [13:3-8],
  72                  (Call ((((function(Set<int> $h): void)), [13:3-4], (Id ([13:3-4], "\\h"))),
  73                     [], [(Pnormal, ((Set<string>), [13:5-7], (Hole (((Set<string>), [13:5-7], (Lvar ([13:5-7], $h))), (Set<string>), (Set<int>), Typing))))], None)))));
  74              ([15:3-24],
  75               (Expr
  76                  ((TestSet), [15:3-23],
  77                   (Binop ((Eq None), ((TestSet), [15:3-7], (Lvar ([15:3-7], $foo))), ((TestSet), [15:10-23], (New (((TestSet), [15:14-21], (CI ([15:14-21], "\\TestSet"))), [], [], None, (_)))))))));
  78              ([18:3-15],
  79               (Expr
  80                  ((void), [18:3-14],
  81                   (Call (
  82                      (((function(Set<int> $h): void)), [18:3-10],
  83                       (Obj_get (((TestSet), [18:3-7], (Lvar ([18:3-7], $foo))), (((function(Set<int> $h): void)), [18:9-10], (Id ([18:9-10], "h"))), OG_nullthrows, Is_method))),
  84                      [], [(Pnormal, ((Set<string>), [18:11-13], (Hole (((Set<string>), [18:11-13], (Lvar ([18:11-13], $h))), (Set<string>), (Set<int>), Typing))))], None)))))
  85              ]
  86            };
  87          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  88          f_doc_comment = None };
  89        fd_internal = false; fd_module = None });
  90   (Fun
  91      { fd_namespace =
  92        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  93          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  94          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  95        fd_file_attributes = []; fd_mode = Mstrict;
  96        fd_fun =
  97        { f_span = [21:1-31:2]; f_readonly_this = None; f_annotation = ();
  98          f_readonly_ret = None; f_ret = ((void), (Some ([23:4-8], (Hprim Tvoid))));
  99          f_name = ([21:10-23], "\\call_set_cast"); f_tparams = []; f_where_constraints = [];
 100          f_params =
 101          [{ param_annotation = (Set<string>); param_type_hint = ((Set<string>), (Some ([22:3-14], (Happly (([22:3-6], "\\HH\\Set"), [([22:7-13], (Hprim Tstring))])))));
 102             param_is_variadic = false; param_pos = [22:15-17]; param_name = "$h";
 103             param_expr = None; param_readonly = None; param_callconv = Pnormal;
 104             param_user_attributes = []; param_visibility = None }
 105            ];
 106          f_ctxs = None; f_unsafe_ctxs = None;
 107          f_body =
 108          { fb_ast =
 109            [([25:3-54],
 110              (Expr
 111                 ((void), [25:3-53],
 112                  (Call ((((function(Set<int> $h): void)), [25:3-4], (Id ([25:3-4], "\\h"))),
 113                     [],
 114                     [(Pnormal,
 115                       ((Set<int>), [25:5-52],
 116                        (Hole (((Set<string>), [25:49-51], (Lvar ([25:49-51], $h))), (Set<string>), (Set<int>),
 117                           (UnsafeCast
 118                              [([25:27-38], (Happly (([25:27-30], "\\HH\\Set"), [([25:31-37], (Hprim Tstring))]))); ([25:39-47], (Happly (([25:39-42], "\\HH\\Set"), [([25:43-46], (Hprim Tint))])))])
 119                           ))))
 120                       ],
 121                     None)))));
 122              ([27:3-24],
 123               (Expr
 124                  ((TestSet), [27:3-23],
 125                   (Binop ((Eq None), ((TestSet), [27:3-7], (Lvar ([27:3-7], $foo))), ((TestSet), [27:10-23], (New (((TestSet), [27:14-21], (CI ([27:14-21], "\\TestSet"))), [], [], None, (_)))))))));
 126              ([30:3-60],
 127               (Expr
 128                  ((void), [30:3-59],
 129                   (Call (
 130                      (((function(Set<int> $h): void)), [30:3-10],
 131                       (Obj_get (((TestSet), [30:3-7], (Lvar ([30:3-7], $foo))), (((function(Set<int> $h): void)), [30:9-10], (Id ([30:9-10], "h"))), OG_nullthrows, Is_method))),
 132                      [],
 133                      [(Pnormal,
 134                        ((Set<int>), [30:11-58],
 135                         (Hole (((Set<string>), [30:55-57], (Lvar ([30:55-57], $h))), (Set<string>), (Set<int>),
 136                            (UnsafeCast
 137                               [([30:33-44], (Happly (([30:33-36], "\\HH\\Set"), [([30:37-43], (Hprim Tstring))]))); ([30:45-53], (Happly (([30:45-48], "\\HH\\Set"), [([30:49-52], (Hprim Tint))])))])
 138                            ))))
 139                        ],
 140                      None)))))
 141              ]
 142            };
 143          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
 144          f_doc_comment = None };
 145        fd_internal = false; fd_module = None })