Hello Cyrille, First of all, thanks for trying to use RoelTyper! It is always interesting to have feedback !
There are two things. Firstly, you found a bug in RoelTyper :) RoelTyper should find some assignments for #array in OrderedCollection (in OrderedCollection>>grow for example). I must fix that. Secondly, RoelTyper found the right type for #array: Array! When you execute: * TypeCollector typeInstvar: #array ofClass: OrderedCollection.* it returns an ExtractedType (containing Assignments (normally :)) and Messages sends). To merge information and find the possible types for this extractedType you must send the message #types on it. *(TypeCollector typeInstvar: #array ofClass: OrderedCollection) types.* giving: Array Fréd ---- Frédéric Pluquet Université Libre de Bruxelles (ULB) Assistant http://www.ulb.ac.be/di/fpluquet 2009/12/10 Cyrille Delaunay <[email protected]> > > > Hi, > > I'm trying to use RoelTyper in Pharo. A question I ask myself is: 'Is it > normal that roelTyper doesn't always return some assignements' ? > For example, when I evaluate: > TypeCollector typeInstvar: #array ofClass: OrderedCollection . > the assignements returned is an empty collection. I would expect that even > roelTyper doesn't retrieve the exact type, it would always return a > collection of 'candidate' types. > Am I using it in a wrong way? > > > > > _______________________________________________ > Pharo-project mailing list > [email protected] > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project >
_______________________________________________ Pharo-project mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
