Class InferenceVariableType

  • All Implemented Interfaces:
    ResolvedType

    public class InferenceVariableType
    extends java.lang.Object
    implements ResolvedType
    An element using during type inference.
    • Constructor Detail

      • InferenceVariableType

        public InferenceVariableType​(int id,
                                     TypeSolver typeSolver)
    • Method Detail

      • toString

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

        public void registerEquivalentType​(ResolvedType type)
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • hasInferenceVariables

        private boolean hasInferenceVariables​(ResolvedType type)