| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/ |
| D | BoundSet.java | 278 InferenceVariable alpha = (InferenceVariable)a.getS(); in deriveImpliedBounds()
286 InferenceVariable alpha = (InferenceVariable)a.getT(); in deriveImpliedBounds()
294 InferenceVariable alpha = (InferenceVariable)b.getS(); in deriveImpliedBounds()
302 InferenceVariable alpha = (InferenceVariable)b.getT(); in deriveImpliedBounds()
316 InferenceVariable alpha = (InferenceVariable)a.getS(); in deriveImpliedBounds()
324 InferenceVariable alpha = (InferenceVariable)a.getT(); in deriveImpliedBounds()
423 private InferenceVariable depending;
424 private InferenceVariable dependedOn;
426 public VariableDependency(InferenceVariable depending, InferenceVariable dependedOn) { in VariableDependency()
431 public InferenceVariable getDepending() { in getDepending()
[all …]
|
| D | InferenceVariable.java | 17 public class InferenceVariable implements ResolvedType { class
23 …public static List<InferenceVariable> instantiate(List<ResolvedTypeParameterDeclaration> typeParam… in instantiate()
24 List<InferenceVariable> inferenceVariables = new LinkedList<>(); in instantiate()
26 inferenceVariables.add(InferenceVariable.unnamed(tp)); in instantiate()
31 …public static InferenceVariable unnamed(ResolvedTypeParameterDeclaration typeParameterDeclaration)… in unnamed()
32 … return new InferenceVariable("__unnamed__" + (unnamedInstantiated++), typeParameterDeclaration); in unnamed()
35 … public InferenceVariable(String name, ResolvedTypeParameterDeclaration typeParameterDeclaration) { in InferenceVariable() method in InferenceVariable
50 InferenceVariable that = (InferenceVariable) o; in equals()
|
| D | Bound.java | 47 boolean isAnInstantiationFor(InferenceVariable v) { in isAnInstantiationFor()
71 Optional<ProperLowerBound> isProperLowerBoundFor(InferenceVariable inferenceVariable) { in isProperLowerBoundFor()
80 Optional<ProperUpperBound> isProperUpperBoundFor(InferenceVariable inferenceVariable) { in isProperUpperBoundFor()
97 boolean isThrowsBoundOn(InferenceVariable inferenceVariable) { in isThrowsBoundOn()
105 public abstract Set<InferenceVariable> usedInferenceVariables(); in usedInferenceVariables()
|
| D | ProperLowerBound.java | 9 private InferenceVariable inferenceVariable;
12 public ProperLowerBound(InferenceVariable inferenceVariable, ResolvedType properType) { in ProperLowerBound()
43 public InferenceVariable getInferenceVariable() { in getInferenceVariable()
|
| D | ProperUpperBound.java | 9 private InferenceVariable inferenceVariable;
12 public ProperUpperBound(InferenceVariable inferenceVariable, ResolvedType properType) { in ProperUpperBound()
43 public InferenceVariable getInferenceVariable() { in getInferenceVariable()
|
| D | Instantiation.java | 10 private InferenceVariable inferenceVariable;
13 public Instantiation(InferenceVariable inferenceVariable, ResolvedType properType) { in Instantiation()
18 public InferenceVariable getInferenceVariable() { in getInferenceVariable()
|
| D | TypeInferenceCache.java | 15 …private static Map<TypeSolver, IdentityHashMap<LambdaExpr, List<InferenceVariable>>> inferenceVari…
40 …ferenceVariables(TypeSolver typeSolver, LambdaExpr lambdaExpr, List<InferenceVariable> _inferenceV… in recordInferenceVariables()
47 …public static Optional<List<InferenceVariable>> retrieveInferenceVariables(TypeSolver typeSolver, … in retrieveInferenceVariables()
|
| D | TypeHelper.java | 31 if (type instanceof InferenceVariable) { in isProperType()
168 return type instanceof InferenceVariable; in isInferenceVariable()
171 public static Set<InferenceVariable> usedInferenceVariables(ResolvedType type) { in usedInferenceVariables()
173 return new HashSet<>(Arrays.asList((InferenceVariable)type)); in usedInferenceVariables()
176 Set<InferenceVariable> res = new HashSet<>(); in usedInferenceVariables()
|
| D | InferenceVariableSubstitution.java | 15 private List<InferenceVariable> inferenceVariables;
27 …public InferenceVariableSubstitution withPair(InferenceVariable inferenceVariable, ResolvedType ty… in withPair()
|
| D | TypeInference.java | 75 List<InferenceVariable> alphas = InferenceVariable.instantiate(Ps); in instantiationInference()
347 …List<InferenceVariable> alphas = InferenceVariable.instantiate(interfaceDeclaration.getTypeParamet… in functionalInterfaceParameterizationInference()
505 …t<ResolvedTypeParameterDeclaration> typeParameterDeclarations, List<InferenceVariable> inferenceVa… in boundSetup()
518 InferenceVariable alphaL = inferenceVariables.get(l); in boundSetup()
|
| /external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/ |
| D | SubtypeOfBoundTest.java | 36 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperLowerBound1()
48 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperLowerBound2()
60 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperUpperBound1()
72 InferenceVariable alpha = new InferenceVariable("α", typeParameterDeclaration1); in recognizeProperUpperBound2()
73 InferenceVariable beta = new InferenceVariable("β", typeParameterDeclaration2); in recognizeProperUpperBound2()
|
| D | SameAsBoundTest.java | 7 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
24 InferenceVariable inferenceVariable = new InferenceVariable("α", null); in recognizeInstantiation()
|
| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/ |
| D | ThrowsBound.java | 4 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
19 private InferenceVariable inferenceVariable;
21 public ThrowsBound(InferenceVariable inferenceVariable) { in ThrowsBound()
48 public Set<InferenceVariable> usedInferenceVariables() { in usedInferenceVariables()
49 Set<InferenceVariable> variables = new HashSet<>(); in usedInferenceVariables()
59 public boolean isThrowsBoundOn(InferenceVariable inferenceVariable) { in isThrowsBoundOn()
|
| D | CapturesBound.java | 5 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
18 private List<InferenceVariable> inferenceVariables;
21 …public CapturesBound(List<InferenceVariable> inferenceVariables, List<ResolvedType> typesOrWildcar… in CapturesBound()
32 public Set<InferenceVariable> usedInferenceVariables() { in usedInferenceVariables()
36 public List<InferenceVariable> getInferenceVariables() { in getInferenceVariables()
|
| D | SameAsBound.java | 5 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
61 public Set<InferenceVariable> usedInferenceVariables() { in usedInferenceVariables()
62 Set<InferenceVariable> variables = new HashSet<>(); in usedInferenceVariables()
84 return Optional.of(new Instantiation((InferenceVariable) s, t)); in isAnInstantiation()
87 return Optional.of(new Instantiation((InferenceVariable) t, s)); in isAnInstantiation()
|
| D | SubtypeOfBound.java | 62 public Set<InferenceVariable> usedInferenceVariables() { in usedInferenceVariables()
63 Set<InferenceVariable> variables = new HashSet<>(); in usedInferenceVariables()
76 return Optional.of(new ProperUpperBound((InferenceVariable) s, t)); in isProperUpperBound()
84 return Optional.of(new ProperLowerBound((InferenceVariable) t, s)); in isProperLowerBound()
|
| D | FalseBound.java | 4 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
39 public Set<InferenceVariable> usedInferenceVariables() { in usedInferenceVariables()
|
| /external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/ |
| D | ConstraintFormulaTest.java | 11 import com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable;
34 InferenceVariable inferenceVariable = new InferenceVariable("α", tp); in testExpressionCompatibleWithTypeReduce1()
|
| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/ |
| D | ExpressionCompatibleWithType.java | 314 Map<ResolvedTypeVariable, InferenceVariable> correspondences = new HashMap<>(); in replaceTypeVariablesWithInferenceVariables()
323 …renceVariables(ResolvedType originalType, Map<ResolvedTypeVariable, InferenceVariable> corresponde… in replaceTypeVariablesWithInferenceVariables()
326 …correspondences.put(originalType.asTypeVariable(), InferenceVariable.unnamed(originalType.asTypeVa… in replaceTypeVariablesWithInferenceVariables()
|
| /external/error_prone/error_prone/ |
| D | error_prone_core-2.3.2-with-dependencies.jar | META-INF/
META-INF/MANIFEST.MF
META-INF/services/
META- ... |
| /external/icu/tools/srcgen/currysrc/libs/ |
| D | org.eclipse.jdt.core_3.14.0.v20180528-0519.jar | META-INF/MANIFEST.MF
META-INF/ECLIPSE_.SF
META-INF/ECLIPSE_ ... |
| /external/dagger2/lib/ |
| D | google-java-format-0.1-20151017.042846-2.jar | META-INF/
META-INF/MANIFEST.MF
com/
com/google/
com/ ... |
| /external/kotlinc/lib/ |
| D | kotlin-compiler.jar | META-INF/MANIFEST.MF
org/jetbrains/kotlin/utils/JavaSdkUtil.class
JavaSdkUtil ... |