Package de.uzl.its.swat.instrument.symbolicwrapper

package de.uzl.its.swat.instrument.symbolicwrapper

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

Classes

Class	Description
SurroundingTryCatchMethodAdapter	A visitor to visit a Java method This class surrounds the whole function with a try catch blog to ad a solve in case of an error.
SymbolicWrapperClassAdapter	A visitor to visit a Java class.
SymbolicWrapperMethodAdapter
SymbolicWrapperTransformer	An agent provides an implementation of this interface in order to transform class files.