|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Retention(value=RUNTIME) @Target(value={METHOD,CONSTRUCTOR}) public @interface LeoPre
Interfaccia delle annotazioni che compongono il framework DbC
Optional Element Summary | |
---|---|
java.lang.String |
value
Precondizione da applicare ad un certo metodo |
public abstract java.lang.String value
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |