Package soot.dexpler

Class DvkTyperBase


  • public abstract class DvkTyperBase
    extends Object
    • Field Detail

      • ENABLE_DVKTYPER

        public static boolean ENABLE_DVKTYPER
    • Constructor Detail

      • DvkTyperBase

        public DvkTyperBase()
    • Method Detail

      • setType

        public abstract void setType​(ValueBox v,
                                     Type type)
      • setObjectType

        public abstract void setObjectType​(ValueBox v)
      • setConstraint

        public abstract void setConstraint​(ValueBox box1,
                                           ValueBox box2)