Hierarchy For Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Field (implements de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.SettableValue)
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.GeneralConcreteValue (implements de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.ConcreteValue)
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.IntConstant (implements de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value)
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Local (implements de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.SettableValue)
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NewExpr (implements de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value)
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NullConstant (implements de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value)
  • java.lang.Throwable (implements java.io.Serializable)
    • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.NullPointerDereferenceException
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.UndefinedValue (implements de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value)

Interface Hierarchy

• de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.ConcreteValue
• de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value
  • de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.SettableValue