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
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
ConstraintFormula.ReductionResult
-
-
Field Summary
Fields Modifier and Type Field Description private ResolvedType
S
private ResolvedType
T
-
Constructor Summary
Constructors Constructor Description TypeContainedByType()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.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.java.lang.String
toString()
-
-
-
Field Detail
-
S
private ResolvedType S
-
T
private ResolvedType T
-
-
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
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-