checkers.typestate
Annotation Type NoChange

@Retention(value=RUNTIME)
@Target(value={})
public @interface NoChange

A special state annotation used as the default value for elements of the @State annotation.

Author:

Adam Warski (adam at warski dot org)