Class Hierarchy
- java.lang.Object
- de.uzl.its.swat.symbolic.ClassDepot (implements java.io.Serializable)
- de.uzl.its.swat.symbolic.ClassNames (implements java.io.Serializable)
- de.uzl.its.swat.symbolic.FieldInfo (implements java.io.Serializable)
- de.uzl.its.swat.symbolic.Frame
- de.uzl.its.swat.symbolic.ObjectInfo (implements java.io.Serializable)
- de.uzl.its.swat.symbolic.SymbolicInstructionDispatcher
- de.uzl.its.swat.symbolic.SymbolicInstructionVisitor (implements de.uzl.its.swat.symbolic.instruction.IVisitor)