A C D E G H I L M N P R S T V

I

instrumentByteCode(CtClass) - Method in class leodbc.javaagent.instrumentor.DbcClassFileTransformer
Modifica un bytecode per aderire ai contratti
InstrumentorCache - Class in leodbc.javaagent.instrumentor
Cache che contiene le classi già modificate per i contratti
InstrumentorCache() - Constructor for class leodbc.javaagent.instrumentor.InstrumentorCache
Inizializzazione
INTERNAL_DEBUGGING - Static variable in class leodbc.javaagent.res.Constants
Debugging interno
INVARIANT_METHOD - Static variable in class leodbc.javaagent.res.Constants
Schema di un metodo di invariante
INVARIANT_METHOD_NAME - Static variable in class leodbc.javaagent.res.Constants
Nome del metodo di invariante
InvariantTransformer - Class in leodbc.javaagent.transformations
Trasformatore di classe per le precondizioni
InvariantTransformer() - Constructor for class leodbc.javaagent.transformations.InvariantTransformer
 

A C D E G H I L M N P R S T V