[Checkers] Method Invocation Check
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
> from the framework, then it should be possible to write a test case
> which the Interned checker (which does very little to override the
> functionality) fails. If that isn't possible, then maybe the
> 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.
More information about the checkers