diff --git a/examples/ffi-jni-class-08-call.sx b/examples/ffi-jni-class-08-call.sx new file mode 100644 index 0000000..dd1fefa --- /dev/null +++ b/examples/ffi-jni-class-08-call.sx @@ -0,0 +1,31 @@ +// Phase 2 step 2.11 (PLAN-FFI.md): xfail then green for DSL call-site +// lowering — `inst.method(args)` on a `#jni_class`-typed value lowers +// to `#jni_call(T)(inst, "method", "(sig)Ret", args...)` with the +// descriptor auto-derived from the sx signature. +// +// `#jni_env(env)` brings env into lexical scope; the omitted-env +// `#jni_call` form (2.16b) picks it up directly. + +#import "modules/std.sx"; + +Activity :: #jni_class("android/app/Activity") { + getWindow :: (self: *Self) -> *void; +} + +g_should_call : bool = false; + +unused_jni :: (env: *void, act: *Activity) { + #jni_env(env) { + // Today: this fails — sema doesn't know `Activity` as a type, or + // the method dispatch doesn't recognize foreign-class members. + win := act.getWindow(); + } +} + +main :: () -> s32 { + if g_should_call { + unused_jni(null, null); + } + print("ok\n"); + 0; +} diff --git a/tests/expected/ffi-jni-class-08-call.exit b/tests/expected/ffi-jni-class-08-call.exit new file mode 100644 index 0000000..d00491f --- /dev/null +++ b/tests/expected/ffi-jni-class-08-call.exit @@ -0,0 +1 @@ +1 diff --git a/tests/expected/ffi-jni-class-08-call.txt b/tests/expected/ffi-jni-class-08-call.txt new file mode 100644 index 0000000..b09005d --- /dev/null +++ b/tests/expected/ffi-jni-class-08-call.txt @@ -0,0 +1 @@ +/Users/agra/projects/sx/examples/ffi-jni-class-08-call.sx:21:16: error: unresolved: 'getWindow'