leodbc.javaagent.transformations
Class InvariantTransformer

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

public class InvariantTransformer
extends java.lang.Object
implements ClassTransformer

Trasformatore di classe per le precondizioni

Author:
Leonardo Cecchi

Constructor Summary
InvariantTransformer()
           
 
Method Summary
 void transform(javassist.CtClass clazz)
          Trasformatore per le precondizioni
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InvariantTransformer

public InvariantTransformer()
Method Detail

transform

public void transform(javassist.CtClass clazz)
               throws javassist.CannotCompileException,
                      java.lang.ClassNotFoundException,
                      javassist.NotFoundException
Trasformatore per le precondizioni

Specified by:
transform in interface ClassTransformer
Parameters:
clazz - Classe da trasformare
Throws:
javassist.CannotCompileException - Eventuale errore in compilazione
java.lang.ClassNotFoundException
javassist.NotFoundException