[Checkers] Changing @Romaybe to @PolyRead

Mahmood Ali mahmood at MIT.EDU
Fri Apr 18 10:10:46 EDT 2008

I just made the change in the checkers.

Telmo, to change your case studies, you can use Mike's preplace  
command or perl -pi 's/RoMaybe/PolyRead/g' :
find . -name '*.java' -exec perl -pi -e 's/RoMaybe/PolyRead/g' {} \;

- Mahmood

On Apr 18, 2008, at 4:58 AM, Michael Ernst wrote:

> To follow up with a conversation that I had with Jaime, there is  
> consensus
> that we should change the @Romaybe keyword to @PolyRead.
> I've asked Jaime and Telmo to make this change to their codebases,
> effective immediately.  That way, it will appear in the Javarifier  
> release
> that Jaime plans to make around Sunday/Monday, and in the Checkers
> Framework development release that I presume will be made today.
>                     Thanks,
>                    -Mike

More information about the checkers mailing list