Package soot.jimple.toolkits.typing

Class ClassHierarchy

  • public class ClassHierarchy
extends Object
    This class encapsulates the typing class hierarchy, as well as non-reference types.

    This class is primarily used by the TypeResolver class, to optimize its computation.

    • Field Detail

      • OBJECT

        public final soot.jimple.toolkits.typing.TypeNode OBJECT
        Map: Scene -> ClassHierarchy

      • CLONEABLE

        public final soot.jimple.toolkits.typing.TypeNode CLONEABLE

      • SERIALIZABLE

        public final soot.jimple.toolkits.typing.TypeNode SERIALIZABLE

      • NULL

        public final soot.jimple.toolkits.typing.TypeNode NULL

      • INT

        public final soot.jimple.toolkits.typing.TypeNode INT

    • Method Detail

      • classHierarchy

        public static ClassHierarchy classHierarchy​(Scene scene)
        Get the class hierarchy for the given scene.

      • typeNode

        public soot.jimple.toolkits.typing.TypeNode typeNode​(Type type)
        Get the type node for the given type.

      • toString

        public String toString()
        Returns a string representation of this object
        Overrides:
        toString in class Object