package diffast-langs-cpp-parsing

  1. Overview
  2. Docs

Module Pinfo.TypeSource

Sourcetype simple_ty = {
  1. st_decl_specs : decl_specs;
  2. st_type_specs : TypeSpec.t list;
  3. st_encoded : string;
}
Sourcetype pointer_op =
  1. | Star of string * qualifiers
  2. | Amp
  3. | AmpAmp
  4. | Hat
  5. | Macro of string
Sourcetype t =
  1. | SimpleTy of simple_ty
  2. | ArrayTy of t * int
  3. | PointerTy of pointer_ty
  4. | FunctionTy of function_ty
  5. | AltTy of t list
Sourceand pointer_ty = {
  1. pt_op : pointer_op;
  2. pt_type : t;
  3. pt_qualifiers : qualifiers;
}
Sourceand function_ty = {
  1. ft_param_types : t list;
  2. ft_qualifiers : qualifiers;
  3. ft_return_type : t;
  4. ft_is_vararg : bool;
  5. ft_params_macro : string;
  6. ft_virt_specs : virt_specs;
}
Sourcetype t_ = {
  1. mutable t_typedef : bool;
  2. t_desc : t;
}
Sourceval simple_ty_to_string : simple_ty -> Common.name
Sourceval get_name_of_simple_ty : simple_ty -> Common.name list
Sourceval simple_ty_has_definite_ty : simple_ty -> bool
Sourceval simple_ty_has_basic_ty : simple_ty -> bool
Sourceval simple_ty_has_elaborated_ty : simple_ty -> bool
Sourceval simple_ty_has_elaborated_ty_enum_class : simple_ty -> bool
Sourceval simple_ty_has_typename : simple_ty -> bool
Sourceval simple_ty_has_type_type : ?name:Common.name -> simple_ty -> bool
Sourceval get_cv_qualifiers_of_simple_ty : simple_ty -> CvQualifier.t list
Sourceval pointer_op_to_string : pointer_op -> string
Sourceval get_name : t -> Common.name list
Sourceval get_name_of_pointer_ty : pointer_ty -> Common.name list
Sourceval to_string : t -> Common.name
Sourceval pointer_ty_to_string : pointer_ty -> Common.name
Sourceval function_ty_to_string : function_ty -> Common.name
Sourceval get_name_ : t_ -> Common.name list
Sourceval to_string_ : t_ -> string
Sourceval wrap : t -> t_
Sourceval unwrap : t_ -> t
Sourceval is_typedef : t_ -> bool
Sourceval get_top_level_type : t -> simple_ty list
Sourceval _is_type_type : ?name:Common.name -> t -> bool
Sourceval is_type_type : ?name:Common.name -> t_ -> bool
Sourceval _is_function_type : t -> bool
Sourceval is_function_type : t_ -> bool
Sourceval hoist_typedef : t_ -> unit
Sourceval encode_simple_ty : simple_ty -> string
Sourceval make_simple_type : decl_specs -> TypeSpec.t list -> string -> t
Sourceval idents_of_simple_type : t -> Common.name list
Sourceval make_array_type : t -> int -> t
Sourceval make_pointer_type : ?qualifiers:qualifiers -> pointer_op -> t -> t
Sourceval make_function_type : ?qualifiers:qualifiers -> ?params_macro:string -> ?is_vararg:bool -> ?virt_specs:virt_specs -> t list -> t -> t
Sourceval make_alt_type : t list -> t
Sourceval int_t : t