```
@Target({ANNOTATION_TYPE,METHOD})
@Retention(RUNTIME)
@Documented
@Property(tries=1,
          shrinking=OFF,
          stereotype="Example")
@API(status=STABLE,
     since="1.0")
public @interface Example
```
Use @Example to mark methods that are simple, example-based test cases. Those methods usually don't have any ForAll parameters. They are executed only once. Just like methods annotated with Property example, annotated methods must not be private. They can either return Boolean, boolean or void.

See Also:

Property

Annotation Type Example