My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 44: Check if fields mentioned in invariant annotations exist
1 person starred this issue and may be notified of changes. Back to list
Status:  Fixed
Owner:  nels.bec...@gmail.com
Closed:  Oct 2008


 
Project Member Reported by nels.bec...@gmail.com, Sep 26, 2008
I sort of thought we used to have this... but I want the 
PluralAnnotationAnalysis to issue a warning if an invariant mentions a 
field that does not exist. For example,

@ClassStates(@State(name="alive", inv="hasUnique == true => full(data)"))
public class ImplicationWorks {
	boolean hasFull;


I changed hasUnique to hasFull, but I got no warning that my invariant was 
now useless.
Oct 1, 2008
Project Member #1 nels.bec...@gmail.com
Fixed in r97
Status: Fixed

Powered by Google Project Hosting