leodbc.support
Annotation Type LeoPost


@Documented
@Retention(value=RUNTIME)
@Target(value={METHOD,CONSTRUCTOR})
public @interface LeoPost

Interfaccia delle annotazioni che compongono il framework DbC

Author:
Leonardo Cecchi

Optional Element Summary
 java.lang.String value
          Postcondizione di un certo metodo
 

value

public abstract java.lang.String value
Postcondizione di un certo metodo

Default:
"true"