org.jmlspecs.annotation
Annotation Type MonitorsForDefinitions

@Retention(value=RUNTIME)
@Documented
public @interface MonitorsForDefinitions

Optional Element Summary

MonitorsFor[]

value

value

public abstract MonitorsFor[] value

Default:

{}