"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "interprocedural/callResolution.mli" between
pyre-check-0.0.53.tar.gz and pyre-check-0.0.54.tar.gz

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

callResolution.mli  (pyre-check-0.0.53):callResolution.mli  (pyre-check-0.0.54)
skipping to change at line 37 skipping to change at line 37
target list * Call.Argument.t option target list * Call.Argument.t option
(* Given an attribute self.x, returns the underlying callable if x is a @propert y. *) (* Given an attribute self.x, returns the underlying callable if x is a @propert y. *)
val resolve_property_targets val resolve_property_targets
: resolution:Resolution.t -> : resolution:Resolution.t ->
base:Expression.t -> base:Expression.t ->
attribute:string -> attribute:string ->
setter:bool -> setter:bool ->
target list option target list option
(* Returns all call targets from Call expressions in the given access *)
val resolve_call_targets : resolution:Resolution.t -> Call.t -> target list
val transform_special_calls : resolution:Resolution.t -> Call.t -> Call.t option val transform_special_calls : resolution:Resolution.t -> Call.t -> Call.t option
val redirect_special_calls : resolution:Resolution.t -> Call.t -> Call.t val redirect_special_calls : resolution:Resolution.t -> Call.t -> Call.t
val resolve_ignoring_optional : resolution:Resolution.t -> Expression.t -> Type. t val resolve_ignoring_optional : resolution:Resolution.t -> Expression.t -> Type. t
type constructor_targets = { type constructor_targets = {
new_targets: target list; new_targets: target list;
init_targets: target list; init_targets: target list;
} }
 End of changes. 1 change blocks. 
3 lines changed or deleted 0 lines changed or added

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