Class TypeContainedByType
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
-
- com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeContainedByType
-
public class TypeContainedByType extends ConstraintFormula
A type argument S is contained by a type argument T- Author:
- Federico Tomassetti
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
ConstraintFormula.ReductionResult
-
-
Constructor Summary
Constructors Constructor Description TypeContainedByType()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object o)
int
hashCode()
ConstraintFormula.ReductionResult
reduce(BoundSet currentBoundSet)
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.String
toString()
-
-
-
Method Detail
-
reduce
public ConstraintFormula.ReductionResult reduce(BoundSet currentBoundSet)
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
-
-