Module `CTrans_utils.Self`

This module handles the translation of the variable self which is challenging because self is used both as a variable in instance method calls and also as a type in class method calls.

val add_self_parameter_for_super_instance : 
  ATDGenerated.Clang_ast_t.stmt_info ->
  CContext.t ->
  IR.Procname.t ->
  IBase.Location.t ->
  ATDGenerated.Clang_ast_t.obj_c_message_expr_info ->
  trans_result option

val is_var_self : IR.Pvar.t -> bool -> bool