Class ContextInferenceManager.TypeAsEntry

  • Enclosing class:
    ContextInferenceManager

    private static class ContextInferenceManager.TypeAsEntry
    extends java.lang.Object
    • Field Detail

      • originalType

        public IType originalType
      • inferredType

        public IType inferredType
      • loopCompromised

        public int loopCompromised
      • refs

        public java.util.ArrayList<Expression> refs
    • Constructor Detail