[Checkers] Method Invocation Check

Mahmood Ali mahmood at MIT.EDU
Sat Mar 1 13:50:18 EST 2008


On Feb 29, 2008, at 3:16 PM, Michael Ernst wrote:
>> Shouldn't this already be checked in the framework?  The framework is
>> supposed to already handle assignments and pseudo-assignments  
>> (examples of
>> pseudo-assignments are between method actuals and formals).
>
> Here is another way to state this:  If something this simple is  
> missing
> from the framework, then it should be possible to write a test case  
> for
> which the Interned checker (which does very little to override the  
> base
> functionality) fails.  If that isn't possible, then maybe the  
> framework
> already does it and the IGJ checker should take advantage of that.

I have just created a test that is failing with Interned. It's  
MethodInvocation.java which compiles without issuing any errors. I  
will check it in in a bit.

> Then, you can try to write the test that fails the Interned checker.)
I will wait then before committing my code.

- Mahmood




More information about the checkers mailing list