"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "analysis/callgraph.mli" between
pyre-check-0.0.54.tar.gz and pyre-check-0.0.55.tar.gz

About: Pyre is a performant type checker for Python (ships with Pysa, a security focused static analysis tool).

callgraph.mli  (pyre-check-0.0.54):callgraph.mli  (pyre-check-0.0.55)
skipping to change at line 67 skipping to change at line 67
module type Builder = sig module type Builder = sig
val initialize : unit -> unit val initialize : unit -> unit
val add_callee val add_callee
: global_resolution:GlobalResolution.t -> : global_resolution:GlobalResolution.t ->
target:Type.t option -> target:Type.t option ->
callables:Type.Callable.t list option -> callables:Type.Callable.t list option ->
arguments:Expression.Call.Argument.t list -> arguments:Expression.Call.Argument.t list ->
dynamic:bool -> dynamic:bool ->
qualifier:Reference.t -> qualifier:Reference.t ->
callee_type:Type.t ->
callee:Ast.Expression.t -> callee:Ast.Expression.t ->
unit unit
val add_property_callees val add_property_callees
: global_resolution:GlobalResolution.t -> : global_resolution:GlobalResolution.t ->
resolved_base:Type.t -> resolved_base:Type.t ->
attributes:(AnnotatedAttribute.instantiated * Type.t) list -> attributes:(AnnotatedAttribute.instantiated * Type.t) list ->
name:string -> name:string ->
qualifier:Reference.t -> qualifier:Reference.t ->
location:Ast.Location.t -> location:Ast.Location.t ->
 End of changes. 1 change blocks. 
0 lines changed or deleted 1 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)