Home
last modified time | relevance | path

Searched refs:isProperType (Results 1 – 10 of 10) sorted by relevance

/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/
DSubtypeOfBound.java11 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
74 if (isInferenceVariable(s) && isProperType(t)) { in isProperUpperBound()
82 if (isProperType(s) && isInferenceVariable(t)) { in isProperLowerBound()
DSameAsBound.java15 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
83 if (isInferenceVariable(s) && isProperType(t)) { in isAnInstantiation()
86 if (isProperType(s) && isInferenceVariable(t)) { in isAnInstantiation()
/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/
DTypeSubtypeOfType.java12 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
36 if (isProperType(S) && isProperType(T)) { in reduce()
DTypeCompatibleWithType.java11 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
35 if (isProperType(s) && isProperType(t)) { in reduce()
DTypeSameAsType.java11 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
36 if (isProperType(S) && isProperType(T)) { in reduce()
DTypeContainedByType.java7 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
24 if (isProperType(T) && !T.isWildcard()) { in reduce()
DExpressionCompatibleWithType.java22 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
46 if (isProperType(T)) { in reduce()
182 if (TypeHelper.isProperType(R)) { in reduce()
/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
DTypeHelper.java30 public static boolean isProperType(ResolvedType type) { in isProperType() method in TypeHelper
36 return referenceType.typeParametersValues().stream().allMatch(it -> isProperType(it)); in isProperType()
41 return isProperType(wildcard.getBoundedType()); in isProperType()
54 return isProperType(type.asArrayType().getComponentType()); in isProperType()
DBoundSet.java277 if (isInferenceVariable(a.getS()) && isProperType(a.getT())) { in deriveImpliedBounds()
285 if (isInferenceVariable(a.getT()) && isProperType(a.getS())) { in deriveImpliedBounds()
293 if (isInferenceVariable(b.getS()) && isProperType(b.getT())) { in deriveImpliedBounds()
301 if (isInferenceVariable(b.getT()) && isProperType(b.getS())) { in deriveImpliedBounds()
315 if (isInferenceVariable(a.getS()) && isProperType(a.getT())) { in deriveImpliedBounds()
323 if (isInferenceVariable(a.getT()) && isProperType(a.getS())) { in deriveImpliedBounds()
/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/
DSubtypeOfBoundTest.java17 import static com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper.isProperType;
81 assertEquals(false, isProperType(listOfBeta)); in recognizeProperUpperBound2()