leodbc.javaagent.transformations
Class PreconditionTransformer

java.lang.Object
  extended by leodbc.javaagent.transformations.MethodTransformer
      extended by leodbc.javaagent.transformations.PreconditionTransformer
All Implemented Interfaces:
ClassTransformer

public class PreconditionTransformer
extends MethodTransformer
implements ClassTransformer

Trasformatore di classe per le precondizioni

Author:
Leonardo Cecchi

Constructor Summary
PreconditionTransformer()
           
 
Method Summary
 java.lang.String generateConstructorPreconditionCode(java.lang.String assertions)
          Ritorna il codice di controllo di una precondizione in un costruttore
 void handleConstructor(javassist.CtConstructor method)
          Gestione di un costruttore.
 void handleMethod(javassist.CtMethod method)
          Gestione di un metodo
 
Methods inherited from class leodbc.javaagent.transformations.MethodTransformer
checkAnnotation, transform
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface leodbc.javaagent.transformations.ClassTransformer
transform
 

Constructor Detail

PreconditionTransformer

public PreconditionTransformer()
Method Detail

handleMethod

public void handleMethod(javassist.CtMethod method)
                  throws java.lang.ClassNotFoundException,
                         javassist.CannotCompileException,
                         javassist.NotFoundException
Gestione di un metodo

Specified by:
handleMethod in class MethodTransformer
Parameters:
method - Metodo da gestire
Throws:
java.lang.ClassNotFoundException
javassist.CannotCompileException
javassist.NotFoundException

generateConstructorPreconditionCode

public java.lang.String generateConstructorPreconditionCode(java.lang.String assertions)
Ritorna il codice di controllo di una precondizione in un costruttore


handleConstructor

public void handleConstructor(javassist.CtConstructor method)
                       throws java.lang.ClassNotFoundException,
                              javassist.CannotCompileException,
                              javassist.NotFoundException
Gestione di un costruttore. Viene chiamato ad ogni costruttore della classe

Specified by:
handleConstructor in class MethodTransformer
Parameters:
method - Metodo da gestire
Throws:
java.lang.ClassNotFoundException
javassist.CannotCompileException
javassist.NotFoundException