Class TypeSearchVarInfo


  • public class TypeSearchVarInfo
    extends java.lang.Object
    • Constructor Detail

      • TypeSearchVarInfo

        public TypeSearchVarInfo​(SSAVar var)
    • Method Detail

      • markResolved

        public void markResolved​(ArgType type)
      • reset

        public void reset()
      • nextType

        public boolean nextType()
        Switch currentType to next candidate
        Returns:
        true - if this is the first candidate
      • getVar

        public SSAVar getVar()
      • isTypeResolved

        public boolean isTypeResolved()
      • setTypeResolved

        public void setTypeResolved​(boolean typeResolved)
      • getCurrentType

        public ArgType getCurrentType()
      • setCurrentType

        public void setCurrentType​(ArgType currentType)
      • getCandidateTypes

        public java.util.List<ArgType> getCandidateTypes()
      • setCandidateTypes

        public void setCandidateTypes​(java.util.List<ArgType> candidateTypes)
      • setConstraints

        public void setConstraints​(java.util.List<ITypeConstraint> constraints)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object