HomeSort by relevance Sort by last modified time
    Searched refs:inferenceVariable (Results 1 - 17 of 17) sorted by null

  /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
Instantiation.java 10 private InferenceVariable inferenceVariable;
13 public Instantiation(InferenceVariable inferenceVariable, ResolvedType properType) {
14 this.inferenceVariable = inferenceVariable;
18 public InferenceVariable getInferenceVariable() {
19 return inferenceVariable;
33 if (!inferenceVariable.equals(that.inferenceVariable)) return false
    [all...]
ProperLowerBound.java 9 private InferenceVariable inferenceVariable;
12 public ProperLowerBound(InferenceVariable inferenceVariable, ResolvedType properType) {
13 this.inferenceVariable = inferenceVariable;
24 if (!inferenceVariable.equals(that.inferenceVariable)) return false;
30 int result = inferenceVariable.hashCode();
38 "inferenceVariable=" + inferenceVariable
    [all...]
ProperUpperBound.java 9 private InferenceVariable inferenceVariable;
12 public ProperUpperBound(InferenceVariable inferenceVariable, ResolvedType properType) {
13 this.inferenceVariable = inferenceVariable;
24 if (!inferenceVariable.equals(that.inferenceVariable)) return false;
30 int result = inferenceVariable.hashCode();
38 "inferenceVariable=" + inferenceVariable
    [all...]
Bound.java 47 boolean isAnInstantiationFor(InferenceVariable v) {
71 Optional<ProperLowerBound> isProperLowerBoundFor(InferenceVariable inferenceVariable) {
73 if (partial.isPresent() && partial.get().getInferenceVariable().equals(inferenceVariable)) {
80 Optional<ProperUpperBound> isProperUpperBoundFor(InferenceVariable inferenceVariable) {
82 if (partial.isPresent() && partial.get().getInferenceVariable().equals(inferenceVariable)) {
97 boolean isThrowsBoundOn(InferenceVariable inferenceVariable) {
105 public abstract Set<InferenceVariable> usedInferenceVariables()
    [all...]
InferenceVariableSubstitution.java 15 private List<InferenceVariable> inferenceVariables;
27 public InferenceVariableSubstitution withPair(InferenceVariable inferenceVariable, ResolvedType type) {
31 newInstance.inferenceVariables.add(inferenceVariable);
BoundSet.java 278 InferenceVariable alpha = (InferenceVariable)a.getS();
286 InferenceVariable alpha = (InferenceVariable)a.getT();
294 InferenceVariable alpha = (InferenceVariable)b.getS();
302 InferenceVariable alpha = (InferenceVariable)b.getT();
316 InferenceVariable alpha = (InferenceVariable)a.getS()
    [all...]
  /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/
ThrowsBound.java 4 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
19 private InferenceVariable inferenceVariable;
21 public ThrowsBound(InferenceVariable inferenceVariable) {
22 this.inferenceVariable = inferenceVariable;
32 return inferenceVariable.equals(that.inferenceVariable);
38 "inferenceVariable=" + inferenceVariable
    [all...]
  /external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/
SameAsBoundTest.java 7 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
24 InferenceVariable inferenceVariable = new InferenceVariable("?", null);
25 Bound bound1 = new SameAsBound(inferenceVariable, stringType);
26 Bound bound2 = new SameAsBound(stringType, inferenceVariable);
28 assertEquals(Optional.of(new Instantiation(inferenceVariable, stringType)), bound1.isAnInstantiation());
29 assertEquals(Optional.of(new Instantiation(inferenceVariable, stringType)), bound2.isAnInstantiation());
SubtypeOfBoundTest.java 36 InferenceVariable inferenceVariable = new InferenceVariable("?", typeParameterDeclaration);
37 Bound bound = new SubtypeOfBound(integerType, inferenceVariable);
39 assertEquals(Optional.of(new ProperLowerBound(inferenceVariable, integerType)), bound.isProperLowerBound());
48 InferenceVariable inferenceVariable = new InferenceVariable("?", typeParameterDeclaration);
49 Bound bound = new SubtypeOfBound(doubleType, inferenceVariable);
51 assertEquals(Optional.of(new ProperLowerBound(inferenceVariable, doubleType)), bound.isProperLowerBound())
    [all...]
  /external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/
ConstraintFormulaTest.java 11 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
34 InferenceVariable inferenceVariable = new InferenceVariable("?", tp);
36 ExpressionCompatibleWithType formula = new ExpressionCompatibleWithType(typeSolver, e, inferenceVariable);
40 ConstraintFormula.ReductionResult.empty().withConstraint(new TypeCompatibleWithType(typeSolver, stringType, inferenceVariable)),
44 ConstraintFormula.ReductionResult.empty().withConstraint(new TypeSubtypeOfType(typeSolver, stringType, inferenceVariable)),
  /prebuilts/devtools/tools/lib/
ecj-4.6.1.jar 
ecj-4.4.jar 
  /prebuilts/tools/common/m2/repository/org/eclipse/jdt/core/compiler/ecj/4.6.1/
ecj-4.6.1.jar 
  /prebuilts/tools/common/m2/repository/org/eclipse/jdt/core/compiler/ecj/4.5.1/
ecj-4.5.1.jar 
  /prebuilts/tools/common/offline-m2/org/eclipse/jdt/core/compiler/ecj/4.5.1/
ecj-4.5.1.jar 
  /prebuilts/tools/common/m2/repository/org/eclipse/jdt/core/compiler/ecj/4.4/
ecj-4.4.jar 
  /prebuilts/tools/common/m2/repository/org/eclipse/jdt/core/compiler/ecj/4.4.2/
ecj-4.4.2.jar 

Completed in 772 milliseconds