leodbc.javaagent.transformations
Class PreconditionTransformer
java.lang.Object
leodbc.javaagent.transformations.MethodTransformer
leodbc.javaagent.transformations.PreconditionTransformer
- All Implemented Interfaces:
- ClassTransformer
public class PreconditionTransformer
- extends MethodTransformer
- implements ClassTransformer
Trasformatore di classe per le precondizioni
- Author:
- Leonardo Cecchi
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PreconditionTransformer
public PreconditionTransformer()
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