org.jmlspecs.annotation
Annotation Type Spec

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

Optional Element Summary

java.lang.String	tag tag format: (('+'|'-')? JavaId) (',' ('+'|'-') JavaId)*)?
SpecCase[]	value

tag

public abstract java.lang.String tag

tag format: (('+'|'-')? JavaId) (',' ('+'|'-') JavaId)*)?

Default:

""

value

public abstract SpecCase[] value

Default:

{}