Home
last modified time | relevance | path

Searched refs:getParameterKind (Results 1 – 25 of 144) sorted by relevance

123456

/dports/math/z3/z3-z3-4.8.13/src/api/java/
H A DFuncDecl.java217 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 DFuncDecl.java217 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 DHotSpotNmethod.java79 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 DHotSpotNmethod.java79 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 DHotSpotNmethod.java79 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 DSignature.java62 default JavaKind getParameterKind(int index) { in getParameterKind() method
135 result[i + j] = getParameterKind(j); in toParameterKinds()
H A DResolvedJavaMethod.java244 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 DSignature.java62 default JavaKind getParameterKind(int index) { in getParameterKind() method
135 result[i + j] = getParameterKind(j); in toParameterKinds()
H A DResolvedJavaMethod.java244 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 DSignature.java62 default JavaKind getParameterKind(int index) { in getParameterKind() method
135 result[i + j] = getParameterKind(j); in toParameterKinds()
H A DResolvedJavaMethod.java244 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 DSignature.java62 default JavaKind getParameterKind(int index) { in getParameterKind() method
135 result[i + j] = getParameterKind(j); in toParameterKinds()
H A DResolvedJavaMethod.java244 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 DSignature.java62 default JavaKind getParameterKind(int index) { in getParameterKind() method
135 result[i + j] = getParameterKind(j); in toParameterKinds()
H A DResolvedJavaMethod.java244 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 DSignature.java62 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 DSignature.java62 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 DSignature.java62 default JavaKind getParameterKind(int index) { in getParameterKind() method
135 result[i + j] = getParameterKind(j); in toParameterKinds()
H A DResolvedJavaMethod.java244 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 DMethodHandleNode.java436 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 DMethodHandleNode.java436 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 DMethodHandleNode.java436 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 DMethodHandleNode.java436 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 DSnippetParameterInfo.java142 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 DSnippetParameterInfo.java142 JavaKind kind = method.getSignature().getParameterKind(i); in initNames()

123456