org.jmlspecs.annotation
Annotation Type ReadableDefinitions

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

Optional Element Summary

Readable[]

value

value

public abstract Readable[] value

Default:

{}