org.jmlspecs.annotation
Annotation Type GhostDefinitions

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

Optional Element Summary

Ghost[]

value

value

public abstract Ghost[] value

Default:

{}