Review Request 117551: Use function call sites to infer the type of their arguments

[Commit Hook]

-----------------------------------------------------------
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/117551/#review56302
-----------------------------------------------------------


This review has been submitted with commit 740e232bc976e9b5843242a60f66fd0036462939 by Denis Steckelmacher to branch master.

- Commit Hook


On April 13, 2014, 7:23 p.m., Denis Steckelmacher wrote:
> 
> -----------------------------------------------------------
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/117551/
> -----------------------------------------------------------
> 
> (Updated April 13, 2014, 7:23 p.m.)
> 
> 
> Review request for KDevelop.
> 
> 
> Repository: kdev-qmljs
> 
> 
> Description
> -------
> 
> When a function is called, the type of the parameters passed to it is used to update the type of the function (as seen from the outside, for instance "function void (string)") and the type of its parameters as seen from the inside (the declaration of "param1" of type "string").
> 
> The changes of this patch are limited to DeclarationBuilder (plus a unit test), but the code is fairly complex because it has to ensure that the proper number of arguments are being passed to the function (if it is not the case, then these arguments should not be used to update the function's type). Moreover, the type of the function must be entirely re-created, as FunctionType has no way of modifying the type if the arguments once it has been created (there is an arguments() method, but modifying the types there doesn't change the FunctionType itself).
> 
> 
> Diffs
> -----
> 
>   tests/files/helloworld.js a746b48 
>   duchain/declarationbuilder.h 395ab75 
>   duchain/declarationbuilder.cpp 55ad2e0 
> 
> Diff: https://git.reviewboard.kde.org/r/117551/diff/
> 
> 
> Testing
> -------
> 
> An unit test has been added. It checks that the types are correctly deduced and that DeclarationBuilder doesn't crash on malformed input.
> 
> 
> Thanks,
> 
> Denis Steckelmacher
> 
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kdevelop-devel/attachments/20140423/22591b04/attachment.html>