| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||
@Documented @Target(value=TYPE) @Retention(value=CLASS) public @interface Contract
This annotation defines behavioral contract enforced at runtime by instances of annotated classes.
| Optional Element Summary | |
|---|---|
|  ThreadingBehavior | threading | 
public abstract ThreadingBehavior threading
| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||