Home
last modified time | relevance | path

Searched defs:inferenceVariable (Results 1 – 10 of 10) sorted by relevance

/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/
DThrowsBound.java19 private InferenceVariable inferenceVariable; field in ThrowsBound
21 public ThrowsBound(InferenceVariable inferenceVariable) { in ThrowsBound()
59 public boolean isThrowsBoundOn(InferenceVariable inferenceVariable) { in isThrowsBoundOn()
/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
DBound.java71 Optional<ProperLowerBound> isProperLowerBoundFor(InferenceVariable inferenceVariable) { in isProperLowerBoundFor()
80 Optional<ProperUpperBound> isProperUpperBoundFor(InferenceVariable inferenceVariable) { in isProperUpperBoundFor()
97 boolean isThrowsBoundOn(InferenceVariable inferenceVariable) { in isThrowsBoundOn()
DInstantiation.java10 private InferenceVariable inferenceVariable; field in Instantiation
13 public Instantiation(InferenceVariable inferenceVariable, ResolvedType properType) { in Instantiation()
DProperLowerBound.java9 private InferenceVariable inferenceVariable; field in ProperLowerBound
12 public ProperLowerBound(InferenceVariable inferenceVariable, ResolvedType properType) { in ProperLowerBound()
DProperUpperBound.java9 private InferenceVariable inferenceVariable; field in ProperUpperBound
12 public ProperUpperBound(InferenceVariable inferenceVariable, ResolvedType properType) { in ProperUpperBound()
DInferenceVariableSubstitution.java27 …public InferenceVariableSubstitution withPair(InferenceVariable inferenceVariable, ResolvedType ty… in withPair()
DBoundSet.java785 …oolean properUpperBoundsAreAtMostExceptionThrowableAndObject(InferenceVariable inferenceVariable) { in properUpperBoundsAreAtMostExceptionThrowableAndObject()
789 private boolean appearInLeftPartOfCapture(InferenceVariable inferenceVariable) { in appearInLeftPartOfCapture()
801 public List<Bound> getProperUpperBoundsFor(InferenceVariable inferenceVariable) { in getProperUpperBoundsFor()
/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/
DSubtypeOfBoundTest.java36 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperLowerBound1() local
48 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperLowerBound2() local
60 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperUpperBound1() local
DSameAsBoundTest.java24 InferenceVariable inferenceVariable = new InferenceVariable("α", null); in recognizeInstantiation() local
/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/
DConstraintFormulaTest.java34 InferenceVariable inferenceVariable = new InferenceVariable("α", tp); in testExpressionCompatibleWithTypeReduce1() local