randoop

Annotation Type SideEffectFree

@Retention(value=RUNTIME)
 @Target(value=METHOD)
public @interface SideEffectFree

A side-effect-free method does not change the state of receiver or parameters.