com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Class TypeCompatibleWithType

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula

com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType

public class TypeCompatibleWithType
extends ConstraintFormula

A type S is compatible in a loose invocation context with type T

Nested Class Summary

Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula

ConstraintFormula.ReductionResult

Constructor Summary

Constructors

Constructor and Description
TypeCompatibleWithType(com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver, com.github.javaparser.resolution.types.ResolvedType s, com.github.javaparser.resolution.types.ResolvedType t)

Method Summary

Modifier and Type	Method and 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()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeCompatibleWithType

public TypeCompatibleWithType(com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver,
                              com.github.javaparser.resolution.types.ResolvedType s,
                              com.github.javaparser.resolution.types.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 class ConstraintFormula

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object