org.jmlspecs.annotation
Annotation Type ModelDefinitions


@Retention(value=RUNTIME)
@Target(value=TYPE)
@Documented
public @interface ModelDefinitions


Optional Element Summary
 ModelField[] fields
           
 ModelMethod[] methods
           
 ModelType[] types
           
 Model[] value
           
 

value

public abstract Model[] value
Default:
{}

fields

public abstract ModelField[] fields
Default:
{}

methods

public abstract ModelMethod[] methods
Default:
{}

types

public abstract ModelType[] types
Default:
{}