org.jmlspecs.annotation
Annotation Type WritableDefinitions

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

Optional Element Summary

Writable[]

value

value

public abstract Writable[] value

Default:

{}