Issue 69: Misspelled permissions on @Params throw an exception, should be caught by the annotation checker
Status:  Verified
Owner:
Closed:  Jul 2009
Project Member Reported by nels.bec...@gmail.com, Jul 21, 2009
Say you have a specification like the following:

@Perm(ensures="unqiue(this!fr) in Initializing")
public MyClass() {}

Note that unique is misspelled! This throws an exception and causes Plural to 
fail. This should instead be something that is caught by the annotation 
checker, and silently ignored by Plural.


Jul 22, 2009
Project Member #1 nels.bec...@gmail.com
Fixed in r371.
Status: Verified