ffi 1.2: parser coverage for #jni_call and #jni_static_call
99/99 regression tests pass (+ffi-jni-call-01-parse). Locks in the same parse-surface contract for the JNI intrinsics that ffi-objc-call-01-parse pins for the Obj-C side: #jni_call(*void)(null, null, "getWindow", "()Landroid/view/Window;"); #jni_static_call(s32)(null, null, "max", "(II)I", 3, 7); #jni_call(bool)(null, null, "isShown", "()Z"); All three lower through the shared `FfiIntrinsicCall` AST node added in 1.1; only the kind tag distinguishes them. `inline if false` keeps sema/codegen out of the picture until later phase-1 steps wire those in.
This commit is contained in:
24
examples/ffi-jni-call-01-parse.sx
Normal file
24
examples/ffi-jni-call-01-parse.sx
Normal file
@@ -0,0 +1,24 @@
|
||||
// Phase 1 step 1.2 (PLAN-FFI.md): parser coverage for `#jni_call`
|
||||
// and `#jni_static_call`. Same `#<intrinsic>(ReturnT)(args...)`
|
||||
// shape as `#objc_call`; lands green on the existing parse rule
|
||||
// (Phase 1.1 added all three).
|
||||
//
|
||||
// `inline if false` suppresses sema/codegen — the lowering arrives
|
||||
// in Phase 1.15+; this file pins the parse surface only.
|
||||
|
||||
#import "modules/std.sx";
|
||||
|
||||
main :: () -> s32 {
|
||||
inline if false {
|
||||
// Instance method: env, target, name, sig, args...
|
||||
#jni_call(*void)(null, null, "getWindow", "()Landroid/view/Window;");
|
||||
|
||||
// Static method: env, class, name, sig, args...
|
||||
#jni_static_call(s32)(null, null, "max", "(II)I", 3, 7);
|
||||
|
||||
// Returning a Java primitive (jboolean → sx bool).
|
||||
#jni_call(bool)(null, null, "isShown", "()Z");
|
||||
}
|
||||
print("parse-only ok\n");
|
||||
0;
|
||||
}
|
||||
1
tests/expected/ffi-jni-call-01-parse.exit
Normal file
1
tests/expected/ffi-jni-call-01-parse.exit
Normal file
@@ -0,0 +1 @@
|
||||
0
|
||||
1
tests/expected/ffi-jni-call-01-parse.txt
Normal file
1
tests/expected/ffi-jni-call-01-parse.txt
Normal file
@@ -0,0 +1 @@
|
||||
parse-only ok
|
||||
Reference in New Issue
Block a user