hphp/hack/test/tast/control_flow/loop_cond.php.exp

   1 [(Class
   2     { c_span = [3:1-11]; 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-8], "\\A"); c_tparams = []; c_extends = []; c_uses = [];
   5       c_xhp_attr_uses = []; c_xhp_category = None; c_reqs = []; c_implements = [];
   6       c_where_constraints = []; c_consts = []; c_typeconsts = []; c_vars = [];
   7       c_methods = []; c_attributes = []; c_xhp_children = []; c_xhp_attrs = [];
   8       c_namespace =
   9       { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  10         ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  11         ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  12       c_user_attributes = []; c_file_attributes = []; c_enum = None;
  13       c_doc_comment = None; c_emit_id = None; c_internal = false; c_module = None });
  14   (Fun
  15      { fd_namespace =
  16        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  17          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  18          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  19        fd_file_attributes = []; fd_mode = Mstrict;
  20        fd_fun =
  21        { f_span = [5:1-7:2]; f_readonly_this = None; f_annotation = ();
  22          f_readonly_ret = None; f_ret = ((?A), (Some ([5:23-25], (Hoption ([5:24-25], (Happly (([5:24-25], "\\A"), [])))))));
  23          f_name = ([5:10-19], "\\get_A_opt"); f_tparams = []; f_where_constraints = [];
  24          f_params = []; f_ctxs = None; f_unsafe_ctxs = None;
  25          f_body = { fb_ast = [([6:3-18], (Return (Some ((A), [6:10-17], (New (((A), [6:14-15], (CI ([6:14-15], "\\A"))), [], [], None, (_)))))))] };
  26          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  27          f_doc_comment = None };
  28        fd_internal = false; fd_module = None });
  29   (Fun
  30      { fd_namespace =
  31        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  32          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  33          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  34        fd_file_attributes = []; fd_mode = Mstrict;
  35        fd_fun =
  36        { f_span = [9:1-14:2]; f_readonly_this = None; f_annotation = ();
  37          f_readonly_ret = None; f_ret = ((void), (Some ([9:20-24], (Hprim Tvoid))));
  38          f_name = ([9:10-16], "\\fwhile"); f_tparams = []; f_where_constraints = [];
  39          f_params = []; f_ctxs = None; f_unsafe_ctxs = None;
  40          f_body =
  41          { fb_ast =
  42            [([10:3-16], (Expr ((A), [10:3-15], (Binop ((Eq None), ((A), [10:3-5], (Lvar ([10:3-5], $x))), ((A), [10:8-15], (New (((A), [10:12-13], (CI ([10:12-13], "\\A"))), [], [], None, (_)))))))));
  43              ([11:3-13:4],
  44               (While (((?A), [11:10-12], (Lvar ([11:10-12], $x))),
  45                  [([11:3-13:4], (AssertEnv (Join, {$#capability $#local_capability $x}))); (
  46                    [11:3-13:4], (AssertEnv (Refinement, {$x})));
  47                    ([12:5-22],
  48                     (Expr
  49                        ((?A), [12:5-21],
  50                         (Binop ((Eq None), ((?A), [12:5-7], (Lvar ([12:5-7], $x))), ((?A), [12:10-21], (Call ((((function(): ?A)), [12:10-19], (Id ([12:10-19], "\\get_A_opt"))), [], [], None))))))))
  51                    ]
  52                  )));
  53              ([11:3-13:4], (AssertEnv (Refinement, {$x})))]
  54            };
  55          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  56          f_doc_comment = None };
  57        fd_internal = false; fd_module = None });
  58   (Fun
  59      { fd_namespace =
  60        { Namespace_env.ns_ns_uses = <opaque>; ns_class_uses = <opaque>;
  61          ns_fun_uses = <opaque>; ns_const_uses = <opaque>; ns_name = None;
  62          ns_auto_ns_map = []; ns_is_codegen = false; ns_disable_xhp_element_mangling = false };
  63        fd_file_attributes = []; fd_mode = Mstrict;
  64        fd_fun =
  65        { f_span = [16:1-19:2]; f_readonly_this = None; f_annotation = ();
  66          f_readonly_ret = None; f_ret = ((void), (Some ([16:18-22], (Hprim Tvoid))));
  67          f_name = ([16:10-14], "\\ffor"); f_tparams = []; f_where_constraints = [];
  68          f_params = []; f_ctxs = None; f_unsafe_ctxs = None;
  69          f_body =
  70          { fb_ast =
  71            [([17:3-18:4],
  72              (For ([((A), [17:8-20], (Binop ((Eq None), ((A), [17:8-10], (Lvar ([17:8-10], $x))), ((A), [17:13-20], (New (((A), [17:17-18], (CI ([17:17-18], "\\A"))), [], [], None, (_)))))))],
  73                 (Some ((?A), [17:22-24], (Lvar ([17:22-24], $x)))),
  74                 [((?A), [17:26-42],
  75                   (Binop ((Eq None), ((?A), [17:26-28], (Lvar ([17:26-28], $x))), ((?A), [17:31-42], (Call ((((function(): ?A)), [17:31-40], (Id ([17:31-40], "\\get_A_opt"))), [], [], None))))))],
  76                 [([17:3-18:4], (AssertEnv (Join, {$#capability $#local_capability $x}))); ([17:3-18:4], (AssertEnv (Refinement, {$x})))])));
  77              ([17:3-18:4], (AssertEnv (Refinement, {$x})))]
  78            };
  79          f_fun_kind = FSync; f_user_attributes = []; f_external = false;
  80          f_doc_comment = None };
  81        fd_internal = false; fd_module = None })