/dports/math/z3/z3-z3-4.8.13/src/api/java/ |
H A D | FuncDecl.java | 217 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_INT) in getInt() 227 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_DOUBLE) in getDouble() 237 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_SYMBOL) in getSymbol() 247 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_SORT) in getSort() 257 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_AST) in getAST() 267 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_FUNC_DECL) in getFuncDecl() 277 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_RATIONAL) in getRational() 285 public Z3_parameter_kind getParameterKind() in getParameterKind() method in FuncDecl.Parameter
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/java/ |
H A D | FuncDecl.java | 217 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_INT) in getInt() 227 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_DOUBLE) in getDouble() 237 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_SYMBOL) in getSymbol() 247 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_SORT) in getSort() 257 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_AST) in getAST() 267 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_FUNC_DECL) in getFuncDecl() 277 if (getParameterKind() != Z3_parameter_kind.Z3_PARAMETER_RATIONAL) in getRational() 285 public Z3_parameter_kind getParameterKind() in getParameterKind() method in FuncDecl.Parameter
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/ |
H A D | HotSpotNmethod.java | 79 assert method.getSignature().getParameterKind(0) == JavaKind.Object; in checkThreeObjectArgs() 80 assert method.getSignature().getParameterKind(1) == JavaKind.Object; in checkThreeObjectArgs() 81 assert !method.isStatic() || method.getSignature().getParameterKind(2) == JavaKind.Object; in checkThreeObjectArgs()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/ |
H A D | HotSpotNmethod.java | 79 assert method.getSignature().getParameterKind(0) == JavaKind.Object; in checkThreeObjectArgs() 80 assert method.getSignature().getParameterKind(1) == JavaKind.Object; in checkThreeObjectArgs() 81 assert !method.isStatic() || method.getSignature().getParameterKind(2) == JavaKind.Object; in checkThreeObjectArgs()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.hotspot/src/jdk/vm/ci/hotspot/ |
H A D | HotSpotNmethod.java | 79 assert method.getSignature().getParameterKind(0) == JavaKind.Object; in checkThreeObjectArgs() 80 assert method.getSignature().getParameterKind(1) == JavaKind.Object; in checkThreeObjectArgs() 81 assert !method.isStatic() || method.getSignature().getParameterKind(2) == JavaKind.Object; in checkThreeObjectArgs()
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
H A D | ResolvedJavaMethod.java | 244 return method.getSignature().getParameterKind(index); in getKind()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
H A D | ResolvedJavaMethod.java | 244 return method.getSignature().getParameterKind(index); in getKind()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
H A D | ResolvedJavaMethod.java | 244 return method.getSignature().getParameterKind(index); in getKind()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
H A D | ResolvedJavaMethod.java | 244 return method.getSignature().getParameterKind(index); in getKind()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
H A D | ResolvedJavaMethod.java | 244 return method.getSignature().getParameterKind(index); in getKind()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/ |
H A D | Signature.java | 62 default JavaKind getParameterKind(int index) { in getParameterKind() method 135 result[i + j] = getParameterKind(j); in toParameterKinds()
|
H A D | ResolvedJavaMethod.java | 244 return method.getSignature().getParameterKind(index); in getKind()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements/src/org/graalvm/compiler/replacements/nodes/ |
H A D | MethodHandleNode.java | 436 if (originalSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 450 if (targetSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 463 …if (originalSignature.getParameterKind(senderBase + i).getStackKind() != targetSignature.getParame… in isConsistentInfo()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements/src/org/graalvm/compiler/replacements/nodes/ |
H A D | MethodHandleNode.java | 436 if (originalSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 450 if (targetSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 463 …if (originalSignature.getParameterKind(senderBase + i).getStackKind() != targetSignature.getParame… in isConsistentInfo()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements/src/org/graalvm/compiler/replacements/nodes/ |
H A D | MethodHandleNode.java | 436 if (originalSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 450 if (targetSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 463 …if (originalSignature.getParameterKind(senderBase + i).getStackKind() != targetSignature.getParame… in isConsistentInfo()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements/src/org/graalvm/compiler/replacements/nodes/ |
H A D | MethodHandleNode.java | 436 if (originalSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 450 if (targetSignature.getParameterKind(0).isPrimitive()) { in isConsistentInfo() 463 …if (originalSignature.getParameterKind(senderBase + i).getStackKind() != targetSignature.getParame… in isConsistentInfo()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | SnippetParameterInfo.java | 142 JavaKind kind = method.getSignature().getParameterKind(i); in initNames()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | SnippetParameterInfo.java | 142 JavaKind kind = method.getSignature().getParameterKind(i); in initNames()
|