4 May
2011
4 May
'11
11:56 p.m.
Okay, I see better now.
AbstractCandidateListOperator seems to use RoelTyper in some methods (e.g.,
computeInstanceVariableCandidateListFor:) We first need to know whether these methods work
or not. Cyrille wrote them, back in 2009.
I also wrote a profiler that tells me what are the signature of methods by profiling the
unit test execution.
Maybe Cyrille can have a look at it?
Cheers,
Alexandre
On 4 May 2011, at 15:58, Simon Denier wrote:
On 4 mai 2011, at 22:22, Alexandre Bergel wrote:
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Hi!
Having a proper list of candidates when importing Smalltalk code is crucial. Without
this, it is not possible to seriously analyze Smalltalk code.
How to use the Roel Typer? I guess I have to tick "Compute type of attributes"
in the wizard. But which strategy to compute invocation candidates should I use? I tried
when I get an error from the typer.
These are two different things: the strategy to compute candidates is selected in the
last combo box in the wizard (below importing context). Currently there are different
strategies, from no candidate to sure candidates and some more which are not clearly
defined (they lack tests).
'Compute type of attributes' is clearly different since it will compute the
FAMIXAttribute>>declaredType property (which is often nil in our Smalltalk models).
Now, using the inferred type to refine candidates is of course the next step. They were
some tentative in this direction but I don't think we went very far (because tests are
seriously needed in this area to gain confidence: we try to do some heuristics on top of
other heuristics).
Could you review AbstractCandidateListOperator and its subclasses and tell what direction
would be good?
We absolutely need to fix this. Cyrille, did you manage to get this to work?
Cheers,
Alexandre
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
Simon Denier
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev