org.jmlspecs.annotation
Annotation Type MapsDefinitions

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

Optional Element Summary

Maps[]

value

value

public abstract Maps[] value

Default:

{}