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