org.jmlspecs.annotation
Annotation Type RepresentsDefinitions

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

Optional Element Summary

Represents[]

value

value

public abstract Represents[] value

Default:

{}