[Checkers] Greetings

[Mahmood Ali]

FYI.

Begin forwarded message:

> From: Phokham Nonava <poky at student.ethz.ch>
> Date: September 18, 2008 4:45:56 PM EDT
> To: Mahmood Ali <mahmood at MIT.EDU>
> Subject: Re: Greetings
>
> Hello Mahmood,
>
> Sorry for the late response! I gathered all information so I can  
> hopefully point you to the right direction.
>
> Mahmood Ali wrote:
>> I wanted to thank you again for notifying us about your work with  
>> the Framework.  I am happy to see framework to be extended to  
>> support ownership types and other types that we did not work on yet.
>> Unfortunately, that also means that I do not have much experience  
>> with your specific domain problems/challenges, but I hope to learn  
>> from your experience.
>> Feel free to contact us with your feedback.  Please point us to  
>> your code once it is made available online.
>
> Attached to this mail are 3 zip file with modifications of the  
> checkers directory. These are all based on the checkers version 0.7.8.
>
> - checkers-windows contains the files which I have modified for  
> plattform specific issues. Also I had to comment out some IGJ tests  
> because they didn't run on windows. I would be glad if someone could  
> have a look at them and maybe include them in one of the next version.
>
> Now for our real problems :). As we played with the framework, we  
> tried to implement a qualifiers only version of our checker. The  
> first version was checkers-errors.zip.
>
> As we tried to figure out the errors we tried to change the line in  
> our qualifiers:
>
> @Target({TYPE})
>
> to
>
> @Target({FIELD, LOCAL_VARIABLE, PARAMETER, TYPE})
>
> Our qualifiers only support classes. They should not apply to  
> fields, local variables and parameters. However this solved one of  
> our errors.
>
> The second error was fixed by adding
>
> public boolean isValidUse(AnnotatedDeclaredType elemType,  
> AnnotatedDeclaredType useType) {
>    return true;
> }
>
> to the UtsChecker.java. The working version is checkers-working.zip.  
> Maybe you could bring some light in those issues.
>
> We will now try to implement all the Universe Type System properties  
> to the checker.
>
> Hope you can make some sense out of my description. :)
>
> Best regards,
> Phokham
-------------- next part --------------
A non-text attachment was scrubbed...
Name: checkers-errors.zip
Type: application/zip
Size: 8065 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080918/cdc53c32/attachment-0003.zip 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: checkers-windows.zip
Type: application/zip
Size: 5176 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080918/cdc53c32/attachment-0004.zip 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: checkers-working.zip
Type: application/zip
Size: 8426 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080918/cdc53c32/attachment-0005.zip 
-------------- next part --------------