Package de.uzl.its.swat.instrument.parameter

package de.uzl.its.swat.instrument.parameter

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.instruction
de.uzl.its.swat.instrument.svcomp
de.uzl.its.swat.instrument.symbolicwrapper

Classes

Class	Description
ParameterClassAdapter	A visitor to visit a Java class.
ParameterMethodAdapter	A visitor to visit a Java method This class makes every parameter of the passed function symbolic.
ParameterTransformer	An agent provides an implementation of this interface in order to transform class files.