|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |