|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||
@Retention(value=RUNTIME)
@Target(value={METHOD,FIELD})
public @interface transitiveSpecifies that a relation is transitive. Only applies therefore to elements of java that can be construed as relations. A relations R is transitive iff if R(A,B) and R(B,C) then R(A,C).
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||