hphp/hack/test/decl/classes.php.exp

   1 [("\\MyClass",
   2   (Shallow_decl_defs.Class
   3      { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
   4        sc_abstract = false; sc_is_xhp = false; sc_internal = false;
   5        sc_has_xhp_keyword = false; sc_kind = (Cclass Concrete);
   6        sc_module = None; sc_name = ([3:7-14], "\\MyClass"); sc_tparams = [];
   7        sc_where_constraints = []; sc_extends = []; sc_uses = [];
   8        sc_xhp_attr_uses = []; sc_xhp_enum_values = {}; sc_req_extends = [];
   9        sc_req_implements = []; sc_req_class = []; sc_implements = [];
  10        sc_support_dynamic_type = false; sc_consts = []; sc_typeconsts = [];
  11        sc_props =
  12        [{ Shallow_decl_defs.sp_name = ([5:17-34], "instanceProperty");
  13           sp_xhp_attr = None;
  14           sp_type = (Some (Rhint ([5:10-16]), (Tprim Tstring)));
  15           sp_visibility = Public; sp_flags = needs_init };
  16          { Shallow_decl_defs.sp_name = ([6:17-35], "protectedProperty");
  17            sp_xhp_attr = None;
  18            sp_type = (Some (Rhint ([6:13-16]), (Tprim Tint)));
  19            sp_visibility = Protected; sp_flags = needs_init };
  20          { Shallow_decl_defs.sp_name = ([7:34-36], "p"); sp_xhp_attr = None;
  21            sp_type = (Some (Rhint ([7:25-33]), (Tprim Tarraykey)));
  22            sp_visibility = Public; sp_flags = lateinit | needs_init }
  23          ];
  24        sc_sprops =
  25        [{ Shallow_decl_defs.sp_name = ([4:25-40], "$staticProperty");
  26           sp_xhp_attr = None;
  27           sp_type = (Some (Rhint ([4:18-24]), (Tprim Tstring)));
  28           sp_visibility = Private; sp_flags = needs_init }
  29          ];
  30        sc_constructor =
  31        (Some { Shallow_decl_defs.sm_name = ([9:19-30], "__construct");
  32                sm_type =
  33                (Rwitness_from_decl ([9:19-30]),
  34                 (Tfun
  35                    { ft_tparams = []; ft_where_constraints = [];
  36                      ft_params = [];
  37                      ft_implicit_params =
  38                      { capability = (CapDefaults [9:19-30]) };
  39                      ft_ret =
  40                      { et_enforced = Typing_defs_core.Unenforced;
  41                        et_type =
  42                        (Rwitness_from_decl ([9:19-30]), (Tprim Tvoid)) };
  43                      ft_flags =
  44                      (make_ft_flags FSync ~return_disposable:false
  45                        ~returns_readonly:false ~support_dynamic_type:false
  46                        ~readonly_this:false ~is_memoized:false
  47                        ~variadic:false);
  48                      ft_ifc_decl = FDPolicied {PUBLIC} }));
  49                sm_visibility = Public; sm_deprecated = None;
  50                sm_flags = (empty); sm_attributes = [] });
  51        sc_static_methods = [];
  52        sc_methods =
  53        [{ Shallow_decl_defs.sm_name = ([11:20-33], "privateMethod");
  54           sm_type =
  55           (Rwitness_from_decl ([11:20-33]),
  56            (Tfun
  57               { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  58                 ft_implicit_params =
  59                 { capability = (CapDefaults [11:20-33]) };
  60                 ft_ret =
  61                 { et_enforced = Typing_defs_core.Unenforced;
  62                   et_type = (Rhint ([11:37-41]), (Tprim Tvoid)) };
  63                 ft_flags =
  64                 (make_ft_flags FSync ~return_disposable:false
  65                   ~returns_readonly:false ~support_dynamic_type:false
  66                   ~readonly_this:false ~is_memoized:false ~variadic:false);
  67                 ft_ifc_decl = FDPolicied {PUBLIC} }));
  68           sm_visibility = Private; sm_deprecated = None; sm_flags = (empty);
  69           sm_attributes = [] };
  70          { Shallow_decl_defs.sm_name = ([12:19-31], "publicMethod");
  71            sm_type =
  72            (Rwitness_from_decl ([12:19-31]),
  73             (Tfun
  74                { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  75                  ft_implicit_params =
  76                  { capability = (CapDefaults [12:19-31]) };
  77                  ft_ret =
  78                  { et_enforced = Typing_defs_core.Unenforced;
  79                    et_type = (Rhint ([12:35-39]), (Tprim Tvoid)) };
  80                  ft_flags =
  81                  (make_ft_flags FSync ~return_disposable:false
  82                    ~returns_readonly:false ~support_dynamic_type:false
  83                    ~readonly_this:false ~is_memoized:false ~variadic:false);
  84                  ft_ifc_decl = FDPolicied {PUBLIC} }));
  85            sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
  86            sm_attributes = [] };
  87          { Shallow_decl_defs.sm_name = ([13:22-37], "protectedMethod");
  88            sm_type =
  89            (Rwitness_from_decl ([13:22-37]),
  90             (Tfun
  91                { ft_tparams = []; ft_where_constraints = []; ft_params = [];
  92                  ft_implicit_params =
  93                  { capability = (CapDefaults [13:22-37]) };
  94                  ft_ret =
  95                  { et_enforced = Typing_defs_core.Unenforced;
  96                    et_type = (Rhint ([13:41-45]), (Tprim Tvoid)) };
  97                  ft_flags =
  98                  (make_ft_flags FSync ~return_disposable:false
  99                    ~returns_readonly:false ~support_dynamic_type:false
 100                    ~readonly_this:false ~is_memoized:false ~variadic:false);
 101                  ft_ifc_decl = FDPolicied {PUBLIC} }));
 102            sm_visibility = Protected; sm_deprecated = None;
 103            sm_flags = (empty); sm_attributes = [] };
 104          { Shallow_decl_defs.sm_name = ([14:25-40], "async_generator");
 105            sm_type =
 106            (Rwitness_from_decl ([14:25-40]),
 107             (Tfun
 108                { ft_tparams = []; ft_where_constraints = [];
 109                  ft_params =
 110                  [{ fp_pos = [15:12-17]; fp_name = (Some "$arg1");
 111                     fp_type =
 112                     { et_enforced = Typing_defs_core.Unenforced;
 113                       et_type = (Rhint ([15:5-11]), (Tprim Tstring)) };
 114                     fp_flags =
 115                     (make_fp_flags ~accept_disposable:false
 116                       ~has_default:false ~mode:Typing_defs_core.FPnormal
 117                       ~ifc_external:false ~ifc_can_call:false
 118                       ~readonly:false);
 119                      };
 120                    { fp_pos = [16:9-14]; fp_name = (Some "$arg2");
 121                      fp_type =
 122                      { et_enforced = Typing_defs_core.Unenforced;
 123                        et_type = (Rhint ([16:5-8]), (Tprim Tint)) };
 124                      fp_flags =
 125                      (make_fp_flags ~accept_disposable:false
 126                        ~has_default:false ~mode:Typing_defs_core.FPnormal
 127                        ~ifc_external:false ~ifc_can_call:false
 128                        ~readonly:false);
 129                       }
 130                    ];
 131                  ft_implicit_params =
 132                  { capability = (CapDefaults [14:25-40]) };
 133                  ft_ret =
 134                  { et_enforced = Typing_defs_core.Unenforced;
 135                    et_type =
 136                    (Rhint ([17:6-42]),
 137                     (Tapply (([17:6-23], "\\HH\\AsyncGenerator"),
 138                        [(Rhint ([17:24-27]), (Tprim Tint));
 139                          (Rhint ([17:29-35]), (Tprim Tstring));
 140                          (Rhint ([17:37-41]), (Tprim Tvoid))]
 141                        )))
 142                    };
 143                  ft_flags =
 144                  (make_ft_flags FAsyncGenerator ~return_disposable:false
 145                    ~returns_readonly:false ~support_dynamic_type:false
 146                    ~readonly_this:false ~is_memoized:false ~variadic:false);
 147                  ft_ifc_decl = FDPolicied {PUBLIC} }));
 148            sm_visibility = Public; sm_deprecated = None; sm_flags = (empty);
 149            sm_attributes = [] }
 150          ];
 151        sc_user_attributes = []; sc_enum_type = None }));
 152   ("\\MyAbstractClass",
 153    (Shallow_decl_defs.Class
 154       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
 155         sc_abstract = true; sc_is_xhp = false; sc_internal = false;
 156         sc_has_xhp_keyword = false; sc_kind = (Cclass Abstract);
 157         sc_module = None; sc_name = ([23:16-31], "\\MyAbstractClass");
 158         sc_tparams = []; sc_where_constraints = []; sc_extends = [];
 159         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
 160         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
 161         sc_implements = []; sc_support_dynamic_type = false; sc_consts = [];
 162         sc_typeconsts = []; sc_props = []; sc_sprops = [];
 163         sc_constructor = None; sc_static_methods = []; sc_methods = [];
 164         sc_user_attributes = []; sc_enum_type = None }));
 165   ("\\MyFinalClass",
 166    (Shallow_decl_defs.Class
 167       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = true;
 168         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
 169         sc_has_xhp_keyword = false; sc_kind = (Cclass Concrete);
 170         sc_module = None; sc_name = ([24:13-25], "\\MyFinalClass");
 171         sc_tparams = []; sc_where_constraints = []; sc_extends = [];
 172         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
 173         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
 174         sc_implements = []; sc_support_dynamic_type = false; sc_consts = [];
 175         sc_typeconsts = []; sc_props = []; sc_sprops = [];
 176         sc_constructor = None; sc_static_methods = []; sc_methods = [];
 177         sc_user_attributes = []; sc_enum_type = None }));
 178   ("\\MyStaticClass",
 179    (Shallow_decl_defs.Class
 180       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = true;
 181         sc_abstract = true; sc_is_xhp = false; sc_internal = false;
 182         sc_has_xhp_keyword = false; sc_kind = (Cclass Abstract);
 183         sc_module = None; sc_name = ([25:22-35], "\\MyStaticClass");
 184         sc_tparams = []; sc_where_constraints = []; sc_extends = [];
 185         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
 186         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
 187         sc_implements = []; sc_support_dynamic_type = false; sc_consts = [];
 188         sc_typeconsts = []; sc_props = []; sc_sprops = [];
 189         sc_constructor = None; sc_static_methods = []; sc_methods = [];
 190         sc_user_attributes = []; sc_enum_type = None }));
 191   ("\\MyConstructorPropertiesClass",
 192    (Shallow_decl_defs.Class
 193       { Shallow_decl_defs.sc_mode = Mstrict; sc_final = false;
 194         sc_abstract = false; sc_is_xhp = false; sc_internal = false;
 195         sc_has_xhp_keyword = false; sc_kind = (Cclass Concrete);
 196         sc_module = None;
 197         sc_name = ([27:7-35], "\\MyConstructorPropertiesClass");
 198         sc_tparams = []; sc_where_constraints = []; sc_extends = [];
 199         sc_uses = []; sc_xhp_attr_uses = []; sc_xhp_enum_values = {};
 200         sc_req_extends = []; sc_req_implements = []; sc_req_class = [];
 201         sc_implements = []; sc_support_dynamic_type = false; sc_consts = [];
 202         sc_typeconsts = [];
 203         sc_props =
 204         [{ Shallow_decl_defs.sp_name = ([29:20-28], "private");
 205            sp_xhp_attr = None;
 206            sp_type = (Some (Rhint ([29:13-19]), (Tprim Tstring)));
 207            sp_visibility = Private; sp_flags = needs_init };
 208           { Shallow_decl_defs.sp_name = ([30:22-32], "protected");
 209             sp_xhp_attr = None;
 210             sp_type = (Some (Rhint ([30:15-21]), (Tprim Tstring)));
 211             sp_visibility = Protected; sp_flags = needs_init };
 212           { Shallow_decl_defs.sp_name = ([31:19-26], "public");
 213             sp_xhp_attr = None;
 214             sp_type = (Some (Rhint ([31:12-18]), (Tprim Tstring)));
 215             sp_visibility = Public; sp_flags = needs_init };
 216           { Shallow_decl_defs.sp_name = ([32:19-30], "hasDefault");
 217             sp_xhp_attr = None;
 218             sp_type = (Some (Rhint ([32:12-18]), (Tprim Tstring)));
 219             sp_visibility = Public; sp_flags = needs_init }
 220           ];
 221         sc_sprops = [];
 222         sc_constructor =
 223         (Some { Shallow_decl_defs.sm_name = ([28:19-30], "__construct");
 224                 sm_type =
 225                 (Rwitness_from_decl ([28:19-30]),
 226                  (Tfun
 227                     { ft_tparams = []; ft_where_constraints = [];
 228                       ft_params =
 229                       [{ fp_pos = [29:20-28]; fp_name = (Some "$private");
 230                          fp_type =
 231                          { et_enforced = Typing_defs_core.Unenforced;
 232                            et_type = (Rhint ([29:13-19]), (Tprim Tstring)) };
 233                          fp_flags =
 234                          (make_fp_flags ~accept_disposable:false
 235                            ~has_default:false ~mode:Typing_defs_core.FPnormal
 236                            ~ifc_external:false ~ifc_can_call:false
 237                            ~readonly:false);
 238                           };
 239                         { fp_pos = [30:22-32]; fp_name = (Some "$protected");
 240                           fp_type =
 241                           { et_enforced = Typing_defs_core.Unenforced;
 242                             et_type = (Rhint ([30:15-21]), (Tprim Tstring)) };
 243                           fp_flags =
 244                           (make_fp_flags ~accept_disposable:false
 245                             ~has_default:false
 246                             ~mode:Typing_defs_core.FPnormal
 247                             ~ifc_external:false ~ifc_can_call:false
 248                             ~readonly:false);
 249                            };
 250                         { fp_pos = [31:19-26]; fp_name = (Some "$public");
 251                           fp_type =
 252                           { et_enforced = Typing_defs_core.Unenforced;
 253                             et_type = (Rhint ([31:12-18]), (Tprim Tstring)) };
 254                           fp_flags =
 255                           (make_fp_flags ~accept_disposable:false
 256                             ~has_default:false
 257                             ~mode:Typing_defs_core.FPnormal
 258                             ~ifc_external:false ~ifc_can_call:false
 259                             ~readonly:false);
 260                            };
 261                         { fp_pos = [32:19-30];
 262                           fp_name = (Some "$hasDefault");
 263                           fp_type =
 264                           { et_enforced = Typing_defs_core.Unenforced;
 265                             et_type = (Rhint ([32:12-18]), (Tprim Tstring)) };
 266                           fp_flags =
 267                           (make_fp_flags ~accept_disposable:false
 268                             ~has_default:true ~mode:Typing_defs_core.FPnormal
 269                             ~ifc_external:false ~ifc_can_call:false
 270                             ~readonly:false);
 271                            }
 272                         ];
 273                       ft_implicit_params =
 274                       { capability = (CapDefaults [28:19-30]) };
 275                       ft_ret =
 276                       { et_enforced = Typing_defs_core.Unenforced;
 277                         et_type =
 278                         (Rwitness_from_decl ([28:19-30]), (Tprim Tvoid)) };
 279                       ft_flags =
 280                       (make_ft_flags FSync ~return_disposable:false
 281                         ~returns_readonly:false ~support_dynamic_type:false
 282                         ~readonly_this:false ~is_memoized:false
 283                         ~variadic:false);
 284                       ft_ifc_decl = FDPolicied {PUBLIC} }));
 285                 sm_visibility = Public; sm_deprecated = None;
 286                 sm_flags = (empty); sm_attributes = [] });
 287         sc_static_methods = []; sc_methods = []; sc_user_attributes = [];
 288         sc_enum_type = None }))
 289   ]
 290
 291 They matched!