de.unisaarland.cs.st.jerify.verifier.quals
Annotation Type NoStateChanges

@TypeQualifier
@Target(value=METHOD)
@Inherited
@SubtypeOf(value={})
public @interface NoStateChanges

This annotation will say that the method does not alter the typestate. If the typestate checker may enforce that all methods are annotated with typestate annotations. (This option is will/may be added as a flag)

Author:

Daniel Wand (typestate@ewand.de)