org.jmlspecs.annotation
Annotation Type InDefinitions

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

Optional Element Summary

In[]

value

value

public abstract In[] value

Default:

{}