Class TypeSameAsType
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
-
- com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSameAsType
-
public class TypeSameAsType extends ConstraintFormula
A type S is the same as a type T (ยง4.3.4), or a type argument S is the same as 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 TypeSameAsType(ResolvedType s, ResolvedType t)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object o)inthashCode()ConstraintFormula.ReductionResultreduce(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.StringtoString()
-
-
-
Constructor Detail
-
TypeSameAsType
public TypeSameAsType(ResolvedType s, ResolvedType t)
-
-
Method Detail
-
reduce
public ConstraintFormula.ReductionResult reduce(BoundSet currentBoundSet)
Description copied from class:ConstraintFormulaA 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:
reducein classConstraintFormula
-
-