Package de.uzl.its.swat.symbolic

package de.uzl.its.swat.symbolic

Related Packages

Package	Description
de.uzl.its.swat
de.uzl.its.swat.symbolic.instruction
de.uzl.its.swat.symbolic.invoke
de.uzl.its.swat.symbolic.processor
de.uzl.its.swat.symbolic.trace	This package contains the trace, its handler and its elements.
de.uzl.its.swat.symbolic.value

Classes

Class	Description
ClassDepot	Serializable depot for classes represented using their name and a corresponding class template in a tree map
ClassNames
FieldInfo
Frame	A symbolic Stack Frame that stores Values in the symbolic Stack and symbolic locals
ObjectInfo	Containing the static info of a class and dynamic values of the static fields.
SymbolicInstructionDispatcher
SymbolicInstructionVisitor