leodbc.javaagent.transformations
Class PostconditionTransformer

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

public class PostconditionTransformer
extends MethodTransformer
implements ClassTransformer

Trasformatore di classe per le postcondizioni

Author:
Leonardo Cecchi

Constructor Summary
PostconditionTransformer()
           
 
Method Summary
 java.lang.String generateConstructorPostconditionCode(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

PostconditionTransformer

public PostconditionTransformer()
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

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