| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 48 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
89 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
97 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
115 super.maxArity - mtTgtSlotsCount - 1); in getMH()
126 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
158 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
193 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
221 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
517 private final int maxArity; field in TestMethods
519 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/test/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 47 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
86 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
94 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
111 super.maxArity - mtTgtSlotsCount - 1); in getMH()
122 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
153 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
187 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
214 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
506 private final int maxArity; field in TestMethods
508 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/test/java/lang/invoke/LFCaching/ |
| H A D | TestMethods.java | 47 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
86 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
94 Helper.RNG.nextInt(super.maxArity - realArity)); in getTestCaseData()
111 super.maxArity - mtTgtSlotsCount - 1); in getMH()
122 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
153 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
187 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
214 int desiredArity = Helper.RNG.nextInt(super.maxArity); in getTestCaseData()
506 private final int maxArity; field in TestMethods
508 private TestMethods(String name, int maxArity) { in TestMethods() argument
[all …]
|
| /dports/math/cvc4/CVC4-1.7/src/expr/ |
| H A D | expr_manager_template.cpp | 182 minArity(kind), maxArity(kind), n); in mkExpr()
206 minArity(kind), maxArity(kind), n); in mkExpr()
232 minArity(kind), maxArity(kind), n); in mkExpr()
260 minArity(kind), maxArity(kind), n); in mkExpr()
289 minArity(kind), maxArity(kind), n); in mkExpr()
326 maxArity(kind), in mkExpr()
362 minArity(kind), maxArity(kind), n); in mkExpr()
410 minArity(kind), maxArity(kind), n); in mkExpr()
432 minArity(kind), maxArity(kind), n); in mkExpr()
482 minArity(kind), maxArity(kind), n); in mkExpr()
[all …]
|
| H A D | expr_manager_template.h | 581 static unsigned maxArity(Kind kind);
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1274 int maxArity = 10; in testFoldOrCollectArguments() local
1275 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1276 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1277 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1274 int maxArity = 10; in testFoldOrCollectArguments() local
1275 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1276 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1277 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1274 int maxArity = 10; in testFoldOrCollectArguments() local
1275 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1276 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1277 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1282 int maxArity = 10; in testFoldOrCollectArguments() local
1283 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1284 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1285 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1282 int maxArity = 10; in testFoldOrCollectArguments() local
1283 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1284 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1285 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1282 int maxArity = 10; in testFoldOrCollectArguments() local
1283 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1284 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1285 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1282 int maxArity = 10; in testFoldOrCollectArguments() local
1283 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1284 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1285 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/lang/invoke/ |
| H A D | MethodHandlesGeneralTest.java | 1282 int maxArity = 10; in testFoldOrCollectArguments() local
1283 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
1284 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
1285 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/math/cvc4/CVC4-1.7/src/api/ |
| H A D | cvc4cpp.cpp | 584 uint32_t maxArity(Kind k) in maxArity() function
588 return CVC4::ExprManager::maxArity(extToIntKind(k)); in maxArity()
2442 nchildren >= minArity(kind) && nchildren <= maxArity(kind), kind) in checkMkTerm()
2444 << minArity(kind) << " children and at most " << maxArity(kind) in checkMkTerm()
2470 uint32_t max_arity = ExprManager::maxArity(int_kind); in checkMkOpTerm()
|
| /dports/math/cvc4/CVC4-1.7/src/parser/ |
| H A D | parser.cpp | 588 unsigned max = getExprManager()->maxArity(kind); in checkArity()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/test/java/lang/invoke/ |
| H A D | MethodHandlesTest.java | 2137 int maxArity = 10; in testFoldOrCollectArguments() local
2138 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
2139 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
2140 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/test/java/lang/invoke/ |
| H A D | MethodHandlesTest.java | 2137 int maxArity = 10; in testFoldOrCollectArguments() local
2138 if (collectType != String.class) maxArity = 5; in testFoldOrCollectArguments()
2139 if (lastType != Object.class) maxArity = 4; in testFoldOrCollectArguments()
2140 for (int nargs = 0; nargs <= maxArity; nargs++) { in testFoldOrCollectArguments()
|
| /dports/math/cvc4/CVC4-1.7/src/parser/smt1/ |
| H A D | Smt1.g | 263 args.size() > EXPR_MANAGER->maxArity(kind) ) {
|