Package leodbc.support

Interface Summary
VariableStore  
 

Class Summary
AbstractVariableStore VariableStore astratto che usa l'autoboxing / autounboxing di Java 1.5
NameValueMapping Contenitore di un nome e di un valore
StackVariableStore Classe che memorizza i vecchi valori delle variabili
ThreadSensitiveVariableStore  
VariableStoreFactory Creazione di un unico VariableStore per applicazione
 

Exception Summary
ContractError Segnanazione di un errore di contratto
 

Annotation Types Summary
LeoArgCheck Annotazione per il check degli argomenti
LeoInvariant Interfaccia delle annotazioni che compongono il framework DbC
LeoPost Interfaccia delle annotazioni che compongono il framework DbC
LeoPre Interfaccia delle annotazioni che compongono il framework DbC