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

[Sven Brauch]

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


By the way, does qmljs do more than one parse pass? I think that's required to deal with function foo(a) { return a; }; foo(3) or so ...
Did you try what happens when you do that? If it doesn't work, submit this anyways, that can be fixed later.

- Sven Brauch


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/20140422/e847a518/attachment.html>