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)