Class TypeSearch


  • public class TypeSearch
    extends java.lang.Object
    Slow and memory consuming multi-variable type search algorithm. Used only if fast type propagation is failed for some variables.

    Stages description: - find all possible candidate types within bounds - build dynamic constraint list for every variable - run search by checking all candidates

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean run()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • TypeSearch

        public TypeSearch​(MethodNode mth)
    • Method Detail

      • run

        public boolean run()