Searched refs:Substitution (Results 1 – 17 of 17) sorted by relevance
| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/ |
| D | Substitution.java | 12 public class Substitution { class
17 private final static Substitution EMPTY = new Substitution();
19 public static Substitution empty() { in empty()
23 …public Substitution withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedTy… in withPair()
24 Substitution newInstance = new Substitution(); in withPair()
33 private Substitution() { in Substitution() method in Substitution
|
| D | TypeInference.java | 76 Substitution theta = Substitution.empty(); in instantiationInference()
532 Substitution substitution = Substitution.empty(); in boundSetup()
642 … Substitution theta) { in testForApplicabilityByStrictInvocation()
673 … private ResolvedType typeWithSubstitution(ResolvedType originalType, Substitution substitution) { in typeWithSubstitution()
678 … Substitution theta) { in testForApplicabilityByLooseInvocation()
692 …tFromArgumentsSubstitution(List<ResolvedType> Fs, List<Expression> es, Substitution theta, int k) { in constraintSetFromArgumentsSubstitution()
705 … Substitution theta) { in testForApplicabilityByVariableArityInvocation()
|
| D | BoundSet.java | 282 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
290 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
298 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
306 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
320 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
328 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
|
| /external/swiftshader/third_party/LLVM/test/TableGen/ |
| D | Dag.td | 5 // Substitution of an int.
19 // Substitution of a DAG.
|
| /external/llvm/test/TableGen/ |
| D | Dag.td | 5 // Substitution of an int.
19 // Substitution of a DAG.
|
| /external/swiftshader/third_party/llvm-7.0/llvm/test/TableGen/ |
| D | Dag.td | 5 // Substitution of an int.
19 // Substitution of a DAG.
|
| /external/swiftshader/third_party/LLVM/unittests/Support/ |
| D | RegexTest.cpp | 65 TEST_F(RegexTest, Substitution) { in TEST_F() argument
|
| /external/clang/lib/Index/ |
| D | USRGeneration.cpp | 653 llvm::DenseMap<const Type *, unsigned>::iterator Substitution in VisitType() local
655 if (Substitution != TypeSubstitutions.end()) { in VisitType()
656 Out << 'S' << Substitution->second << '_'; in VisitType()
|
| /external/python/cpython3/Doc/tutorial/ |
| D | interactive.rst | 4 Interactive Input Editing and History Substitution
|
| /external/llvm/unittests/Support/ |
| D | RegexTest.cpp | 86 TEST_F(RegexTest, Substitution) { in TEST_F() argument
|
| /external/compiler-rt/test/ubsan/ |
| D | lit.common.cfg | 50 # Substitution to setup UBSAN_OPTIONS in portable way.
|
| /external/swiftshader/third_party/llvm-7.0/llvm/unittests/Support/ |
| D | RegexTest.cpp | 86 TEST_F(RegexTest, Substitution) { in TEST_F() argument
|
| /external/python/cpython2/Doc/tutorial/ |
| D | interactive.rst | 4 Interactive Input Editing and History Substitution
40 History Substitution
|
| /external/llvm/docs/CommandGuide/ |
| D | lit.rst | 365 Macro Substitution
|
| /external/swiftshader/third_party/llvm-7.0/llvm/docs/CommandGuide/ |
| D | lit.rst | 403 Macro Substitution
|
| /external/python/cpython2/ |
| D | Makefile.pre.in | 1175 # Substitution happens here, as the completely-expanded BINDIR
|
| /external/python/cpython3/ |
| D | Makefile.pre.in | 1429 @ # Substitution happens here, as the completely-expanded BINDIR
|