2 { c_span
= [3:1-11: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-8], "\\C"); 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
= [];
8 [{ cv_final
= false
; cv_xhp_attr
= None; cv_abstract
= false
; cv_readonly
= false
;
9 cv_visibility
= Private
; cv_type
= ((?
int), (Some
([4:11-15], (Hoption
([4:12-15], (Hprim Tint
))))));
10 cv_id
= ([4:16-20], "foo"); cv_expr = (Some ((null), [4:23-27], Null));
11 cv_user_attributes
= []; cv_doc_comment
= None; cv_is_promoted_variadic
= false
;
12 cv_is_static
= false
; cv_span
= [4:16-27] }
15 [{ m_span
= [6:3-10:4]; m_annotation
= (); m_final
= false
; m_abstract
= false
;
16 m_static
= false
; m_readonly_this
= false
; m_visibility
= Public
;
17 m_name
= ([6:19-22], "get"); m_tparams = []; m_where_constraints = [];
18 m_params
= []; m_ctxs
= None; m_unsafe_ctxs
= None;
22 (If (((?
int), [7:9-19], (Obj_get
(((this
), [7:9-14], This
), ((?
int), [7:16-19], (Id
([7:16-19], "foo"))), OG_nullthrows, Is_prop))),
23 [([7:5-9:6], (AssertEnv
(Refinement
, {$this
->foo
})));
24 ([8:7-18], (Expr
((int), [8:7-17], (Obj_get
(((this
), [8:7-12], This
), ((int), [8:14-17], (Id
([8:14-17], "foo"))), OG_nullthrows, Is_prop)))))],
25 [([7:5-9:6], (AssertEnv
(Refinement
, {$this
->foo
}))); ([Pos.
none], Noop
)])))
28 m_fun_kind
= FSync
; m_user_attributes
= []; m_readonly_ret
= None;
29 m_ret
= ((void
), (Some
([6:26-30], (Hprim Tvoid
)))); m_external
= false
;
30 m_doc_comment
= None }
32 c_attributes
= []; c_xhp_children
= []; c_xhp_attrs
= [];
34 { Namespace_env.ns_ns_uses
= <opaque
>; ns_class_uses
= <opaque
>;
35 ns_fun_uses
= <opaque
>; ns_const_uses
= <opaque
>; ns_name
= None;
36 ns_auto_ns_map
= []; ns_is_codegen
= false
; ns_disable_xhp_element_mangling
= false
};
37 c_user_attributes
= []; c_file_attributes
= []; c_enum
= None;
38 c_doc_comment
= None; c_emit_id
= None; c_internal
= false
; c_module
= None })