Class InferenceVariable

java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable
All Implemented Interfaces:
com.github.javaparser.resolution.types.ResolvedType
public class InferenceVariable extends Object implements com.github.javaparser.resolution.types.ResolvedType
Are meta-variables for types - that is, they are special names that allow abstract reasoning about types. To distinguish them from type variables, inference variables are represented with Greek letters, principally α. See JLS 18
Author:
Federico Tomassetti

  • Constructor Summary

    Constructors
    Constructor
    Description
    InferenceVariable(String name, com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    describe()
     
    boolean
    equals(Object o)
     
    com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration
    getTypeParameterDeclaration()
     
    int
    hashCode()
     
    static List<InferenceVariable>
    instantiate(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations)
     
    boolean
    isAssignableBy(com.github.javaparser.resolution.types.ResolvedType other)
     
    boolean
    isInferenceVariable()
     
    boolean
    mention(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameters)
     
    String
    toString()
     
    static InferenceVariable
    unnamed(com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)
     

    Methods inherited from class Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Methods inherited from interface com.github.javaparser.resolution.types.ResolvedType

    arrayLevel, asArrayType, asConstraintType, asPrimitive, asReferenceType, asTypeParameter, asTypeVariable, asUnionType, asWildcard, erasure, isArray, isConstraint, isNull, isNumericType, isPrimitive, isReference, isReferenceType, isTypeVariable, isUnionType, isVoid, isWildcard, replaceTypeVariables, replaceTypeVariables, solveGenericTypes, toDescriptor

  • Constructor Details

    • InferenceVariable

      public InferenceVariable(String name, com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)

  • Method Details

    • instantiate

      public static List<InferenceVariable> instantiate(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations)

    • unnamed

      public static InferenceVariable unnamed(com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)

    • isInferenceVariable

      public boolean isInferenceVariable()
      Specified by:
      isInferenceVariable in interface com.github.javaparser.resolution.types.ResolvedType

    • describe

      public String describe()
      Specified by:
      describe in interface com.github.javaparser.resolution.types.ResolvedType

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • isAssignableBy

      public boolean isAssignableBy(com.github.javaparser.resolution.types.ResolvedType other)
      Specified by:
      isAssignableBy in interface com.github.javaparser.resolution.types.ResolvedType

    • getTypeParameterDeclaration

      public com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration getTypeParameterDeclaration()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • mention

      public boolean mention(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameters)
      Specified by:
      mention in interface com.github.javaparser.resolution.types.ResolvedType