| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/ |
| H A D | ContextTest.java | 59 …private TypeSolver typeSolver = new CombinedTypeSolver(new MemoryTypeSolver(), new ReflectionTypeS… field in ContextTest
123 TypeSolver typeSolver = mock(TypeSolver.class); in resolveReferenceToImportedType() local
146 TypeSolver typeSolver = mock(TypeSolver.class); in resolveReferenceUsingQualifiedName() local
170 TypeSolver typeSolver = mock(TypeSolver.class); in resolveReferenceToClassesInTheSamePackage() local
193 TypeSolver typeSolver = mock(TypeSolver.class); in resolveReferenceToClassInJavaLang() local
215 …TypeSolver typeSolver = new CombinedTypeSolver(new JarTypeSolver(pathToJar), new ReflectionTypeSol… in resolveReferenceToMethod() local
234 …TypeSolver typeSolver = new CombinedTypeSolver(new JarTypeSolver(pathToJar), new ReflectionTypeSol… in resolveCascadeOfReferencesToMethod() local
250 …TypeSolver typeSolver = new CombinedTypeSolver(new ReflectionTypeSolver(), new JavaParserTypeSolve… in resolveReferenceToMethodCalledOnArrayAccess() local
265 TypeSolver typeSolver = new ReflectionTypeSolver(); in resolveReferenceToJreType() local
278 TypeSolver typeSolver = new ReflectionTypeSolver(); in resolveReferenceToMethodWithLambda() local
[all …]
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/naming/ |
| H A D | NameLogicDisambiguationTest.java | 27 ParseStart parseStart, TypeSolver typeSolver) { in assertNameInCodeIsDisambiguited()
127 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameToSingleStaticImportDeclaration() local
143 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameToStaticImportOnDemandDeclaration() local
179 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameInQualifiedNameRequalifiedAsPackageNameLeadingToType() local
211 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameInQualifiedNameRequalifiedAsTypeNameLeadingToField() local
229 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameInQualifiedNameRequalifiedAsTypeNameLeadingToMethod() local
246 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameInQualifiedNameRequalifiedAsTypeNameLeadingToInternalType() local
264 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameInQualifiedNameRequalifiedAsTypeNameLeadingToCompilationError() local
279 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in ambiguousNameInQualifiedNameRequalifiedAsExpressionName() local
301 MemoryTypeSolver typeSolver = new MemoryTypeSolver(); in packageOrTypeNameSimpleNameMatchingType() local
[all …]
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/test_sourcecode/javasymbolsolver_0_6_0/src/java-symbol-solver-core/com/github/javaparser/symbolsolver/javaparsermodel/contexts/ |
| H A D | ClassOrInterfaceDeclarationContext.java | 43 …lassOrInterfaceDeclarationContext(ClassOrInterfaceDeclaration wrappedNode, TypeSolver typeSolver) { in ClassOrInterfaceDeclarationContext()
54 …ublic SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
66 public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
78 public Optional<Type> solveGenericType(String name, TypeSolver typeSolver) { in solveGenericType()
88 public SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
93 …n> solveMethod(String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
97 …erence<ConstructorDeclaration> solveConstructor(List<Type> argumentsTypes, TypeSolver typeSolver) { in solveConstructor()
|
| H A D | MethodCallExprContext.java | 54 public MethodCallExprContext(MethodCallExpr wrappedNode, TypeSolver typeSolver) { in MethodCallExprContext()
63 public Optional<Type> solveGenericType(String name, TypeSolver typeSolver) { in solveGenericType()
79 …al<MethodUsage> solveMethodAsUsage(String name, List<Type> argumentsTypes, TypeSolver typeSolver) { in solveMethodAsUsage()
126 …private MethodUsage resolveMethodTypeParametersFromExplicitList(TypeSolver typeSolver, MethodUsage… in resolveMethodTypeParametersFromExplicitList()
145 …ublic SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
150 public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
156 …n> solveMethod(String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
209 … List<Type> argumentsTypes, TypeSolver typeSolver, in solveMethodAsUsage()
422 …dAsUsage(TypeVariable tp, String name, List<Type> argumentsTypes, TypeSolver typeSolver, Context i… in solveMethodAsUsage()
432 …eMethodAsUsage(Type type, String name, List<Type> argumentsTypes, TypeSolver typeSolver, Context i… in solveMethodAsUsage()
|
| H A D | StatementContext.java | 44 public StatementContext(N wrappedNode, TypeSolver typeSolver) { in StatementContext()
48 …olReference<? extends ValueDeclaration> solveInBlock(String name, TypeSolver typeSolver, Statement… in solveInBlock()
74 …public static Optional<Value> solveInBlockAsValue(String name, TypeSolver typeSolver, Statement st… in solveInBlockAsValue()
101 public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
147 …ublic SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
192 …n> solveMethod(String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
197 public SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
|
| H A D | AbstractMethodLikeDeclarationContext.java | 29 public AbstractMethodLikeDeclarationContext(T wrappedNode, TypeSolver typeSolver) { in AbstractMethodLikeDeclarationContext()
33 …final SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
47 public final Optional<Type> solveGenericType(String name, TypeSolver typeSolver) { in solveGenericType()
57 public final Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
72 public final SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
98 String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
|
| H A D | LambdaExprContext.java | 52 public LambdaExprContext(LambdaExpr wrappedNode, TypeSolver typeSolver) { in LambdaExprContext()
57 public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
142 …ublic SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
156 public SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
162 String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
170 …al<Value> solveWithAsValue(SymbolDeclarator symbolDeclarator, String name, TypeSolver typeSolver) { in solveWithAsValue()
|
| H A D | FieldAccessContext.java | 46 public FieldAccessContext(FieldAccessExpr wrappedNode, TypeSolver typeSolver) { in FieldAccessContext()
51 …ublic SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
62 public SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
67 …n> solveMethod(String name, List<Type> parameterTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
72 public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
|
| H A D | JavaParserTypeDeclarationAdapter.java | 28 private TypeSolver typeSolver; field in JavaParserTypeDeclarationAdapter
32 …rationAdapter(com.github.javaparser.ast.body.TypeDeclaration<?> wrappedNode, TypeSolver typeSolver, in JavaParserTypeDeclarationAdapter()
41 public SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
86 …n> solveMethod(String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
127 …erence<ConstructorDeclaration> solveConstructor(List<Type> argumentsTypes, TypeSolver typeSolver) { in solveConstructor()
|
| H A D | TryWithResourceContext.java | 39 public TryWithResourceContext(TryStmt wrappedNode, TypeSolver typeSolver) { in TryWithResourceContext()
44 public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
62 …ublic SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
79 …n> solveMethod(String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
|
| H A D | EnumDeclarationContext.java | 38 public EnumDeclarationContext(EnumDeclaration wrappedNode, TypeSolver typeSolver) { in EnumDeclarationContext()
45 …ublic SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) { in solveSymbol()
64 …er.symbolsolver.model.declarations.TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
69 …n> solveMethod(String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver) { in solveMethod()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/test_sourcecode/javasymbolsolver_0_6_0/src/java-symbol-solver-core/com/github/javaparser/symbolsolver/core/resolution/ |
| H A D | Context.java | 41 default Optional<Type> solveGenericType(String name, TypeSolver typeSolver) { in solveGenericType()
45 default SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) { in solveType()
56 SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver); in solveSymbol()
58 default Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) { in solveSymbolAsValue()
73 …erence<ConstructorDeclaration> solveConstructor(List<Type> argumentsTypes, TypeSolver typeSolver) { in solveConstructor()
82 …on> solveMethod(String name, List<Type> argumentsTypes, boolean staticOnly, TypeSolver typeSolver); in solveMethod()
88 …al<MethodUsage> solveMethodAsUsage(String name, List<Type> argumentsTypes, TypeSolver typeSolver) { in solveMethodAsUsage()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/test_sourcecode/javasymbolsolver_0_6_0/src/java-symbol-solver-core/com/github/javaparser/symbolsolver/resolution/ |
| H A D | MethodResolutionLogic.java | 65 …plicable(MethodDeclaration method, String name, List<Type> argumentsTypes, TypeSolver typeSolver) { in isApplicable()
69 …MethodDeclaration method, String name, List<Type> argumentsTypes, TypeSolver typeSolver, boolean w… in isApplicable()
226 …ublic static Type replaceTypeParam(Type type, TypeParameterDeclaration tp, TypeSolver typeSolver) { in replaceTypeParam()
264 …n isApplicable(MethodUsage method, String name, List<Type> argumentsTypes, TypeSolver typeSolver) { in isApplicable()
373 …e(List<MethodDeclaration> methods, String name, List<Type> argumentsTypes, TypeSolver typeSolver) { in findMostApplicable()
381 …thodDeclaration> methods, String name, List<Type> argumentsTypes, TypeSolver typeSolver, boolean w… in findMostApplicable()
453 …dDeclaration methodA, MethodDeclaration methodB, List<Type> argumentTypes, TypeSolver typeSolver) { in isMoreSpecific()
503 …te static boolean isMoreSpecific(MethodUsage methodA, MethodUsage methodB, TypeSolver typeSolver) { in isMoreSpecific()
524 …leUsage(List<MethodUsage> methods, String name, List<Type> argumentsTypes, TypeSolver typeSolver) { in findMostApplicableUsage()
570 …e(TypeDeclaration typeDeclaration, String name, List<Type> argumentsTypes, TypeSolver typeSolver) { in solveMethodInType()
[all …]
|
| H A D | ConstructorResolutionLogic.java | 59 TypeSolver typeSolver) { in isApplicable()
64 TypeSolver typeSolver, boolean withWildcardTolerance) { in isApplicable()
147 … List<ConstructorDeclaration> constructors, List<Type> argumentsTypes, TypeSolver typeSolver) { in findMostApplicable()
156 …<ConstructorDeclaration> constructors, List<Type> argumentsTypes, TypeSolver typeSolver, boolean w… in findMostApplicable()
198 … ConstructorDeclaration constructorB, TypeSolver typeSolver) { in isMoreSpecific()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/javaparser/contexts/ |
| H A D | CompilationUnitContextResolutionTest.java | 55 private TypeSolver typeSolver; field in CompilationUnitContextResolutionTest
98 CombinedTypeSolver typeSolver = new CombinedTypeSolver(); in solveSymbolReferringToStaticallyImportedValue() local
113 CombinedTypeSolver typeSolver = new CombinedTypeSolver(); in solveSymbolReferringToStaticallyImportedUsingAsteriskValue() local
138 CombinedTypeSolver typeSolver = new CombinedTypeSolver(); in solveSymbolAsValueReferringToStaticallyImportedValue() local
151 CombinedTypeSolver typeSolver = new CombinedTypeSolver(); in solveSymbolAsValueReferringToStaticallyImportedUsingAsteriskValue() local
209 CombinedTypeSolver typeSolver = new CombinedTypeSolver(); in solveMethodStaticallyImportedWithAsterisk() local
227 CombinedTypeSolver typeSolver = new CombinedTypeSolver(); in solveMethodStaticallyImportedWithoutAsterisk() local
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/test_sourcecode/javasymbolsolver_0_6_0/src/java-symbol-solver-core/com/github/javaparser/symbolsolver/model/typesystem/ |
| H A D | ReferenceTypeImpl.java | 41 …renceType undeterminedParameters(ReferenceTypeDeclaration typeDeclaration, TypeSolver typeSolver) { in undeterminedParameters()
48 …erenceTypeDeclaration typeDeclaration, List<Type> typeParametersCorrected, TypeSolver typeSolver) { in create()
53 … protected ReferenceType create(ReferenceTypeDeclaration typeDeclaration, TypeSolver typeSolver) { in create()
57 public ReferenceTypeImpl(ReferenceTypeDeclaration typeDeclaration, TypeSolver typeSolver) { in ReferenceTypeImpl()
61 …eImpl(ReferenceTypeDeclaration typeDeclaration, List<Type> typeParameters, TypeSolver typeSolver) { in ReferenceTypeImpl()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javaparsermodel/declarations/ |
| H A D | JavaParserSymbolDeclaration.java | 48 private TypeSolver typeSolver; field in JavaParserSymbolDeclaration
50 private JavaParserSymbolDeclaration(Node wrappedNode, String name, TypeSolver typeSolver) { in JavaParserSymbolDeclaration()
56 …ic static JavaParserFieldDeclaration field(VariableDeclarator wrappedNode, TypeSolver typeSolver) { in field()
60 …ublic static JavaParserParameterDeclaration parameter(Parameter parameter, TypeSolver typeSolver) { in parameter()
64 …avaParserSymbolDeclaration localVar(VariableDeclarator variableDeclarator, TypeSolver typeSolver) { in localVar()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/test_sourcecode/javasymbolsolver_0_6_0/src/java-symbol-solver-core/com/github/javaparser/symbolsolver/javaparsermodel/declarations/ |
| H A D | JavaParserSymbolDeclaration.java | 47 private TypeSolver typeSolver; field in JavaParserSymbolDeclaration
49 …private JavaParserSymbolDeclaration(Node wrappedNode, String name, TypeSolver typeSolver, boolean … in JavaParserSymbolDeclaration()
58 …ic static JavaParserFieldDeclaration field(VariableDeclarator wrappedNode, TypeSolver typeSolver) { in field()
62 …ublic static JavaParserParameterDeclaration parameter(Parameter parameter, TypeSolver typeSolver) { in parameter()
66 …avaParserSymbolDeclaration localVar(VariableDeclarator variableDeclarator, TypeSolver typeSolver) { in localVar()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/test_sourcecode/javasymbolsolver_0_6_0/src/java-symbol-solver-model/com/github/javaparser/symbolsolver/model/typesystem/ |
| H A D | ReferenceType.java | 45 protected TypeSolver typeSolver; field in ReferenceType
52 public ReferenceType(ReferenceTypeDeclaration typeDeclaration, TypeSolver typeSolver) { in ReferenceType()
56 …eType(ReferenceTypeDeclaration typeDeclaration, List<Type> typeParameters, TypeSolver typeSolver) { in ReferenceType()
391 …create(ReferenceTypeDeclaration typeDeclaration, List<Type> typeParameters, TypeSolver typeSolver); in create()
393 …renceTypeDeclaration typeDeclaration, TypeParametersMap typeParametersMap, TypeSolver typeSolver) { in create()
399 …ted abstract ReferenceType create(ReferenceTypeDeclaration typeDeclaration, TypeSolver typeSolver); in create()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/ |
| H A D | ConstructorResolutionLogic.java | 59 TypeSolver typeSolver) { in isApplicable()
64 TypeSolver typeSolver, boolean withWildcardTolerance) { in isApplicable()
146 …edConstructorDeclaration> constructors, List<ResolvedType> argumentsTypes, TypeSolver typeSolver) { in findMostApplicable()
156 …ctorDeclaration> constructors, List<ResolvedType> argumentsTypes, TypeSolver typeSolver, boolean w… in findMostApplicable()
198 … ResolvedConstructorDeclaration constructorB, TypeSolver typeSolver) { in isMoreSpecific()
|
| H A D | MethodResolutionLogic.java | 60 …dMethodDeclaration method, String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver) { in isApplicable()
64 …claration method, String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver, boolean w… in isApplicable()
230 …e replaceTypeParam(ResolvedType type, ResolvedTypeParameterDeclaration tp, TypeSolver typeSolver) { in replaceTypeParam()
256 …icable(MethodUsage method, String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver) { in isApplicable()
353 … String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver) { in findMostApplicable()
362 …String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver, boolean wildcardTolerance) { in findMostApplicable()
557 …List<MethodUsage> methods, String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver) { in findMostApplicableUsage()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/test_sourcecode/javasymbolsolver_0_6_0/src/java-symbol-solver-core/com/github/javaparser/symbolsolver/javassistmodel/ |
| H A D | JavassistUtils.java | 42 …hodUsage(CtClass ctClass, String name, List<Type> argumentsTypes, TypeSolver typeSolver, Context i… in getMethodUsage()
96 …private static List<Type> parseTypeParameters(String signature, TypeSolver typeSolver, Context inv… in parseTypeParameters()
121 …static Type signatureTypeToType(SignatureAttribute.Type signatureType, TypeSolver typeSolver, Type… in signatureTypeToType()
149 …ectTypeArgumentToType(SignatureAttribute.ObjectType typeArgument, TypeSolver typeSolver, TypeParam… in objectTypeArgumentToType()
162 … typeArgumentToType(SignatureAttribute.TypeArgument typeArgument, TypeSolver typeSolver, TypeParam… in typeArgumentToType()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/javassistmodel/ |
| H A D | JavassistUtils.java | 39 …MethodUsage(CtClass ctClass, String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver, in getMethodUsage()
87 …edType signatureTypeToType(SignatureAttribute.Type signatureType, TypeSolver typeSolver, ResolvedT… in signatureTypeToType()
134 …ectTypeArgumentToType(SignatureAttribute.ObjectType typeArgument, TypeSolver typeSolver, ResolvedT… in objectTypeArgumentToType()
145 …eterByName(String typeName, ResolvedTypeParametrizable typeParametrizable, TypeSolver typeSolver) { in getGenericParameterByName()
152 … typeArgumentToType(SignatureAttribute.TypeArgument typeArgument, TypeSolver typeSolver, ResolvedT… in typeArgumentToType()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/model/typesystem/ |
| H A D | ReferenceTypeTest.java | 56 private TypeSolver typeSolver; field in ReferenceTypeTest
85 ReflectionTypeSolver typeSolver = new ReflectionTypeSolver(); in testDerivationOfTypeParameters() local
398 TypeSolver typeSolver = new ReflectionTypeSolver(); in charSequenceIsAssignableToObject() local
411 TypeSolver typeSolver = new ReflectionTypeSolver(); in testGetFieldTypeExisting() local
439 TypeSolver typeSolver = new ReflectionTypeSolver(); in testGetFieldTypeUnexisting() local
673 TypeSolver typeSolver = new ReflectionTypeSolver(); in testDeclaredFields() local
699 TypeSolver typeSolver = new ReflectionTypeSolver(); in testGetAllFieldsVisibleToInheritors() local
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/ |
| H A D | TypeInferenceCache.java | 17 …public static void record(TypeSolver typeSolver, LambdaExpr lambdaExpr, String paramName, Resolved… in record()
27 …public static Optional<ResolvedType> retrieve(TypeSolver typeSolver, LambdaExpr lambdaExpr, String… in retrieve()
40 …public static void recordInferenceVariables(TypeSolver typeSolver, LambdaExpr lambdaExpr, List<Inf… in recordInferenceVariables()
47 …atic Optional<List<InferenceVariable>> retrieveInferenceVariables(TypeSolver typeSolver, LambdaExp… in retrieveInferenceVariables()
|