Parameterizing on incomplete types

Per Bothner per@bothner.com
Thu Dec 1 21:29:00 GMT 2011


On 12/01/2011 01:21 PM, Jamison Hope wrote:
>> It probably makes sense to generate the bridge methods at the same
>> time as we check for missing implementations.
>
> Where are they generated now?

My point is:  they're not.  That needs to be implemented.

> Is that what the recursive call to
> ClassExp#getImplMethods() is doing?

No, that just searches for possible implementation methods.
This is done for each abstract method.

The key parts of the logic is:

             methods = compiledType.getAbstractMethods();
             nmethods = methods.length;
         ...
	for (int i = 0;  i < nmethods;  i++)
	  {
	    Method meth = methods[i];
             ...
             Vector vec = new Vector();
	    getImplMethods(compiledType, mname, ptypes, vec);
             if (vec.size() != 1)
	        error(...)

This logic needs to be made aware of parameterized types.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/



More information about the Kawa mailing list