Package de.uzl.its.swat.instrument.instruction

package de.uzl.its.swat.instrument.instruction

Related Packages

Package	Description
de.uzl.its.swat.instrument	This package contains all classes required for the instrumentation of the Java bytecode.
de.uzl.its.swat.instrument.parameter
de.uzl.its.swat.instrument.svcomp
de.uzl.its.swat.instrument.symbolicwrapper

Classes

Class	Description
InstructionClassAdapter	A visitor to visit a Java class.
InstructionMethodAdapter	A visitor to visit a Java method
InstructionTransformer	An agent provides an implementation of this interface in order to transform class files.