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 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

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()

Methods inherited from class Object

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

Field Details

S

private ResolvedType S

T

private ResolvedType T

Constructor Details

TypeContainedByType

public TypeContainedByType()

Method Details

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(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object