pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '001e6a7c8f'
${ noResults }
infer_clone/infer/src/clang/cMethod_trans.mli

38 lines
1.7 KiB
Raw Normal View History Unescape

initial synchronization
10 years ago
(*
[whitespace] ocp-indent the code Summary: This commit is the result of `find infer/src -name '*.ml' -or -name '*.mli' -exec ocp-indent -i \{\} \;` and `INFER_CHECK_COPYRIGHT=1 InferPrint`
9 years ago
* Copyright (c) 2013 - present Facebook, Inc.
* All rights reserved.
*
* This source code is licensed under the BSD style license found in the
* LICENSE file in the root directory of this source tree. An additional grant
* of patent rights can be found in the PATENTS file in the same directory.
*)
initial synchronization
10 years ago
(** Methods for creating a procdesc from a method or function declaration
[whitespace] ocp-indent the code Summary: This commit is the result of `find infer/src -name '*.ml' -or -name '*.mli' -exec ocp-indent -i \{\} \;` and `INFER_CHECK_COPYRIGHT=1 InferPrint`
9 years ago
and for resolving a method call and finding the right callee *)
initial synchronization
10 years ago
(** When the methoc call is MCStatic, means that it is a class method. *)
(** When it is MCVirtual, it means that it is an instance method and that *)
(** the method to be called will be determined at runtime. If it is MCNoVirtual *)
(** it means that it is an instance method but that the method to be called will *)
(** be determined at compile time *)
type method_call_type =
| MCVirtual
| MCNoVirtual
| MCStatic
val create_local_procdesc : Cfg.cfg -> Sil.tenv -> CMethod_signature.method_signature ->
[whitespace] ocp-indent the code Summary: This commit is the result of `find infer/src -name '*.ml' -or -name '*.mli' -exec ocp-indent -i \{\} \;` and `INFER_CHECK_COPYRIGHT=1 InferPrint`
9 years ago
Clang_ast_t.stmt list -> (Mangled.t * Sil.typ * bool) list -> bool -> bool
initial synchronization
10 years ago
val create_external_procdesc : Cfg.cfg -> Procname.t -> bool -> (Sil.typ * Sil.typ list) option -> unit
val captured_vars_from_block_info : CContext.t -> Clang_ast_t.block_captured_variable list -> (Mangled.t * Sil.typ * bool) list
val get_class_selector_instance : CContext.t -> Clang_ast_t.obj_c_message_expr_info -> (Sil.exp * Sil.typ) list
[whitespace] ocp-indent the code Summary: This commit is the result of `find infer/src -name '*.ml' -or -name '*.mli' -exec ocp-indent -i \{\} \;` and `INFER_CHECK_COPYRIGHT=1 InferPrint`
9 years ago
-> (string * string * method_call_type)
[clang] Adding getters and setters for all the methods
9 years ago
val should_create_procdesc : Cfg.cfg -> Procname.t -> bool -> bool -> bool
[clang] Refactor of creating method signatures. First step to use the map of pointers to find method declarations. Summary: Refactor of creating method signatures. First step to use the map of pointers to find method declarations. The idea is to have a function that creates a method signature from a declaration, later we can get the declaration from a pointer and use this function to retrieve the method signature. (authored by @dulmarod)
9 years ago
val method_signature_of_decl : CContext.curr_class -> Clang_ast_t.decl ->
(Clang_ast_t.qual_type * bool * Procname.t * 'a list) option ->
CMethod_signature.method_signature * Clang_ast_t.stmt option * Clang_ast_t.decl list