Class TypeSubtypeOfType
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSubtypeOfType
A reference type S is a subtype of a reference type T
- Author:
- Federico Tomassetti
-
Nested Class Summary
Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
ConstraintFormula.ReductionResult
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
TypeSubtypeOfType
-
-
Method Details
-
reduce
Description copied from class:ConstraintFormula
A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. Initially, the current bound set is empty. ii) Further constraint formulas, which are to be reduced recursively.- Specified by:
reduce
in classConstraintFormula
-
equals
-
hashCode
public int hashCode() -
toString
-