diff --git a/src/ir/jni_descriptor.test.zig b/src/ir/jni_descriptor.test.zig index 21d0a83..85b269e 100644 --- a/src/ir/jni_descriptor.test.zig +++ b/src/ir/jni_descriptor.test.zig @@ -69,6 +69,21 @@ test "void return is V (null type_node)" { try std.testing.expectEqualStrings("V", buf.items); } +test "*void resolves to java/lang/Object (opaque jobject)" { + const a = std.testing.allocator; + var arena = std.heap.ArenaAllocator.init(a); + defer arena.deinit(); + const aa = arena.allocator(); + + const void_te = try makeTypeExpr(aa, "void"); + const ptr = try makePointer(aa, void_te); + + var buf: std.ArrayList(u8) = .empty; + defer buf.deinit(a); + try desc.writeType(a, &buf, .{ .enclosing_path = "anything" }, ptr); + try std.testing.expectEqualStrings("Ljava/lang/Object;", buf.items); +} + test "*Self resolves to enclosing class L-form" { const a = std.testing.allocator; var arena = std.heap.ArenaAllocator.init(a); diff --git a/src/ir/jni_descriptor.zig b/src/ir/jni_descriptor.zig index c0b2085..2d51278 100644 --- a/src/ir/jni_descriptor.zig +++ b/src/ir/jni_descriptor.zig @@ -79,12 +79,16 @@ pub fn writeType( try writeType(allocator, buf, ctx, arr.element_type); }, .pointer_type_expr => |ptr| { - // *Self → L;, *Foo → L; + // *Self → L;, *Foo → L;, + // *void → Ljava/lang/Object; (opaque jobject — common when + // users don't have a precise Java type for the value). const inner = ptr.pointee_type; if (inner.data != .type_expr) return DeriveError.UnsupportedType; const target_name = inner.data.type_expr.name; const target_path: []const u8 = if (std.mem.eql(u8, target_name, "Self")) ctx.enclosing_path + else if (std.mem.eql(u8, target_name, "void")) + "java/lang/Object" else if (ctx.classes) |reg| reg.get(target_name) orelse return DeriveError.UnknownClassAlias else diff --git a/src/ir/lower.zig b/src/ir/lower.zig index 938c682..733f66c 100644 --- a/src/ir/lower.zig +++ b/src/ir/lower.zig @@ -10,6 +10,7 @@ const unescape = @import("../unescape.zig"); const parser_mod = @import("../parser.zig"); const interp_mod = @import("interp.zig"); const errors = @import("../errors.zig"); +const jni_descriptor = @import("jni_descriptor.zig"); const TypeId = types.TypeId; const StringId = types.StringId; @@ -97,6 +98,7 @@ pub const Lowering = struct { current_source_file: ?[]const u8 = null, // source file of function currently being lowered sel_register_name_fid: ?FuncId = null, // lazily-declared `sel_registerName` extern (non-literal selector fallback) jni_env_stack: std.ArrayList(Ref) = std.ArrayList(Ref).empty, // lexical `#jni_env(env)` Ref stack — top is current scope's env for omitted-env `#jni_call` + foreign_class_map: std.StringHashMap(*const ast.ForeignClassDecl) = std.StringHashMap(*const ast.ForeignClassDecl).init(std.heap.page_allocator), // sx alias → ForeignClassDecl (jni_class / objc_class / swift_class / ... — registered in scan pass) type_bindings: ?std.StringHashMap(TypeId) = null, // generic type param bindings ($T → concrete TypeId) current_match_tags: ?[]const u64 = null, // type tags for current match arm (for runtime dispatch) force_block_value: bool = false, // set by lowerBlockValue to extract if-else values @@ -361,6 +363,9 @@ pub const Lowering = struct { .impl_block => { self.registerImplBlock(&decl.data.impl_block, is_imported, decl); }, + .foreign_class_decl => { + self.registerForeignClassDecl(&decl.data.foreign_class_decl); + }, .namespace_decl => |ns| { if (self.main_file != null) { self.lowerDecls(ns.decls); @@ -498,6 +503,9 @@ pub const Lowering = struct { .impl_block => { self.registerImplBlock(&decl.data.impl_block, is_imported, decl); }, + .foreign_class_decl => { + self.registerForeignClassDecl(&decl.data.foreign_class_decl); + }, .namespace_decl => |ns| { if (self.main_file != null) { self.scanDecls(ns.decls); @@ -3930,6 +3938,96 @@ pub const Lowering = struct { } }, ret_ty); } + /// Lower an `inst.method(args)` call where `inst`'s type is a foreign-class + /// alias declared by `#jni_class("...") { ... }` (or its parallel forms). + /// JNI runtimes lower directly to `jni_msg_send` with a descriptor derived + /// from the method's sx signature; Obj-C / Swift runtimes are deferred to + /// Phase 3/4 and currently surface a clear diagnostic. + fn lowerForeignMethodCall( + self: *Lowering, + fcd: *const ast.ForeignClassDecl, + method_name: []const u8, + target: Ref, + method_args: []const Ref, + span: ast.Span, + ) Ref { + var found_method: ?ast.ForeignMethodDecl = null; + for (fcd.members) |m| { + switch (m) { + .method => |md| { + if (std.mem.eql(u8, md.name, method_name)) { + found_method = md; + break; + } + }, + else => {}, + } + } + const method = found_method orelse { + if (self.diagnostics) |d| { + d.addFmt(.err, span, "no method '{s}' on foreign class '{s}'", .{ method_name, fcd.name }); + } + return Ref.none; + }; + + if (fcd.runtime != .jni_class and fcd.runtime != .jni_interface) { + if (self.diagnostics) |d| { + d.addFmt(.err, span, "method calls on '{s}' runtime not yet supported (Phase 3/4)", .{@tagName(fcd.runtime)}); + } + return Ref.none; + } + + if (self.jni_env_stack.items.len == 0) { + if (self.diagnostics) |d| { + d.addFmt(.err, span, "method call on '{s}' requires an enclosing '#jni_env' scope", .{fcd.name}); + } + return Ref.none; + } + const env_ref = self.jni_env_stack.items[self.jni_env_stack.items.len - 1]; + + // Build a ClassRegistry snapshot so descriptor derivation can + // resolve `*Foo` cross-class refs to their foreign paths. + var registry = jni_descriptor.ClassRegistry.init(self.alloc); + defer registry.deinit(); + var it = self.foreign_class_map.iterator(); + while (it.next()) |entry| { + registry.put(entry.key_ptr.*, entry.value_ptr.*.foreign_path) catch {}; + } + + const desc_str = jni_descriptor.deriveMethod(self.alloc, .{ + .enclosing_path = fcd.foreign_path, + .classes = ®istry, + }, method) catch |err| { + if (self.diagnostics) |d| { + d.addFmt(.err, span, "JNI descriptor derivation failed for '{s}.{s}': {s}", .{ fcd.name, method.name, @errorName(err) }); + } + return Ref.none; + }; + + const name_sid = self.module.types.internString(method_name); + const name_ref = self.builder.constString(name_sid); + const sig_sid = self.module.types.internString(desc_str); + const sig_ref = self.builder.constString(sig_sid); + + const ret_ty = if (method.return_type) |rt| self.resolveType(rt) else .void; + + const cache_key: inst_mod.CacheKey = .{ + .name_str = method_name, + .sig_str = desc_str, + }; + + const args_owned = self.alloc.dupe(Ref, method_args) catch unreachable; + return self.builder.emit(.{ .jni_msg_send = .{ + .env = env_ref, + .target = target, + .name = name_ref, + .sig = sig_ref, + .args = args_owned, + .is_static = method.is_static, + .cache_key = cache_key, + } }, ret_ty); + } + // ── Calls ─────────────────────────────────────────────────────── fn lowerCall(self: *Lowering, c: *const ast.Call) Ref { @@ -4494,8 +4592,18 @@ pub const Lowering = struct { method_args.append(self.alloc, a) catch unreachable; } - // Try to resolve the method by struct type name + // Foreign-class DSL: `inst.method(args)` where `inst`'s + // type is an alias declared by `#jni_class("...") { ... }` + // (or its parallel forms). Routes to the JNI dispatch + // shape, descriptor derived from the sx signature. const struct_name = self.getStructTypeName(obj_ty); + if (struct_name) |sname_for_foreign| { + if (self.foreign_class_map.get(sname_for_foreign)) |fcd| { + return self.lowerForeignMethodCall(fcd, fa.field, obj, args.items, c.callee.span); + } + } + + // Try to resolve the method by struct type name if (struct_name) |sname| { // Try direct qualified name: StructName.method const qualified = std.fmt.allocPrint(self.alloc, "{s}.{s}", .{ sname, fa.field }) catch fa.field; @@ -8004,6 +8112,15 @@ pub const Lowering = struct { } } + /// Register a foreign-class declaration. The alias goes into + /// `foreign_class_map` for method-dispatch lookup. The underlying + /// type (e.g. `*Activity`) is resolved via the existing struct + /// fallback in `type_bridge.resolveTypeName` (which interns unknown + /// named types as 0-field structs). + fn registerForeignClassDecl(self: *Lowering, fcd: *const ast.ForeignClassDecl) void { + self.foreign_class_map.put(fcd.name, fcd) catch {}; + } + /// Register an impl block: register its methods as TypeName.method in fn_ast_map. fn registerImplBlock(self: *Lowering, ib: *const ast.ImplBlock, is_imported: bool, decl: *const Node) void { // Parameterised-protocol impl (e.g. `impl Into(Block) for Closure() -> void`): diff --git a/tests/expected/ffi-jni-class-08-call.exit b/tests/expected/ffi-jni-class-08-call.exit index d00491f..573541a 100644 --- a/tests/expected/ffi-jni-class-08-call.exit +++ b/tests/expected/ffi-jni-class-08-call.exit @@ -1 +1 @@ -1 +0 diff --git a/tests/expected/ffi-jni-class-08-call.ir b/tests/expected/ffi-jni-class-08-call.ir new file mode 100644 index 0000000..a9bf4ad --- /dev/null +++ b/tests/expected/ffi-jni-class-08-call.ir @@ -0,0 +1,293 @@ + +@context = internal global { { ptr, ptr, ptr }, ptr } zeroinitializer +@g_should_call = internal global i1 false +@str = private unnamed_addr constant [10 x i8] c"getWindow\00", align 1 +@str.1 = private unnamed_addr constant [21 x i8] c"()Ljava/lang/Object;\00", align 1 +@SX_JNI_CLS_getWindow____Ljava_lang_Object_ = internal global ptr null +@SX_JNI_MID_getWindow____Ljava_lang_Object_ = internal global ptr null +@str.2 = private unnamed_addr constant [4 x i8] c"ok\0A\00", align 1 +@str.3 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 + +; Function Attrs: nounwind +declare void @out(ptr) #0 + +declare ptr @malloc(i64) + +declare ptr @memcpy(ptr, ptr, i64) + +declare ptr @memset(ptr, i32, i64) + +declare void @free(ptr) + +; Function Attrs: nounwind +declare void @GPA.create(ptr sret({ ptr, ptr, ptr }), ptr) #0 + +; Function Attrs: nounwind +define internal ptr @GPA.alloc(ptr %0, i64 %1) #0 { +entry: + %alloca = alloca ptr, align 8 + store ptr %0, ptr %alloca, align 8 + %allocaN = alloca i64, align 8 + store i64 %1, ptr %allocaN, align 8 + %load = load ptr, ptr %alloca, align 8 + %gep = getelementptr inbounds { i64 }, ptr %load, i32 0, i32 0 + %loadN = load i64, ptr %gep, align 8 + %add = add i64 %loadN, 1 + store i64 %add, ptr %gep, align 8 + %loadN = load i64, ptr %allocaN, align 8 + %malloc = call ptr @malloc(i64 %loadN) + ret ptr %malloc +} + +; Function Attrs: nounwind +define internal void @GPA.dealloc(ptr %0, ptr %1) #0 { +entry: + %alloca = alloca ptr, align 8 + store ptr %0, ptr %alloca, align 8 + %allocaN = alloca ptr, align 8 + store ptr %1, ptr %allocaN, align 8 + %load = load ptr, ptr %alloca, align 8 + %gep = getelementptr inbounds { i64 }, ptr %load, i32 0, i32 0 + %loadN = load i64, ptr %gep, align 8 + %sub = sub i64 %loadN, 1 + store i64 %sub, ptr %gep, align 8 + %loadN = load ptr, ptr %allocaN, align 8 + call void @free(ptr %loadN) + ret void +} + +; Function Attrs: nounwind +declare void @Arena.add_chunk(ptr, i64) #0 + +; Function Attrs: nounwind +declare void @Arena.create(ptr sret({ ptr, ptr, ptr }), ptr, ptr, i64) #0 + +; Function Attrs: nounwind +declare void @Arena.reset(ptr) #0 + +; Function Attrs: nounwind +declare void @Arena.deinit(ptr) #0 + +; Function Attrs: nounwind +declare ptr @Arena.alloc(ptr, i64) #0 + +; Function Attrs: nounwind +declare void @Arena.dealloc(ptr, ptr) #0 + +; Function Attrs: nounwind +declare void @BufAlloc.create(ptr sret({ ptr, ptr, ptr }), ptr, ptr, i64) #0 + +; Function Attrs: nounwind +declare void @BufAlloc.reset(ptr) #0 + +; Function Attrs: nounwind +declare ptr @BufAlloc.alloc(ptr, i64) #0 + +; Function Attrs: nounwind +declare void @BufAlloc.dealloc(ptr, ptr) #0 + +; Function Attrs: nounwind +define internal { ptr, i64 } @cstring(i64 %0) #0 { +entry: + %alloca = alloca i64, align 8 + store i64 %0, ptr %alloca, align 8 + %load = load i64, ptr %alloca, align 8 + %add = add i64 %load, 1 + %heap = call ptr @malloc(i64 %add) + %allocaN = alloca ptr, align 8 + store ptr %heap, ptr %allocaN, align 8 + %loadN = load ptr, ptr %allocaN, align 8 + %loadN = load i64, ptr %alloca, align 8 + %addN = add i64 %loadN, 1 + %1 = call ptr @memset(ptr %loadN, i32 0, i64 %addN) + %allocaN = alloca { ptr, i64 }, align 8 + store { ptr, i64 } undef, ptr %allocaN, align 8 + %loadN = load ptr, ptr %allocaN, align 8 + %gep = getelementptr inbounds { ptr, i64 }, ptr %allocaN, i32 0, i32 0 + %pti = ptrtoint ptr %loadN to i64 + store i64 %pti, ptr %gep, align 8 + %loadN = load i64, ptr %alloca, align 8 + %gepN = getelementptr inbounds { ptr, i64 }, ptr %allocaN, i32 0, i32 1 + store i64 %loadN, ptr %gepN, align 8 + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + ret { ptr, i64 } %loadN +} + +; Function Attrs: nounwind +declare ptr @int_to_string(i64) #0 + +; Function Attrs: nounwind +declare ptr @bool_to_string(i1) #0 + +; Function Attrs: nounwind +declare ptr @float_to_string(double) #0 + +; Function Attrs: nounwind +declare void @hex_group(ptr, i64, i64) #0 + +; Function Attrs: nounwind +declare ptr @int_to_hex_string(i64) #0 + +; Function Attrs: nounwind +define internal { ptr, i64 } @concat({ ptr, i64 } %0, { ptr, i64 } %1) #0 { +entry: + %alloca = alloca { ptr, i64 }, align 8 + store { ptr, i64 } %0, ptr %alloca, align 8 + %allocaN = alloca { ptr, i64 }, align 8 + store { ptr, i64 } %1, ptr %allocaN, align 8 + %load = load { ptr, i64 }, ptr %alloca, align 8 + %len = extractvalue { ptr, i64 } %load, 1 + %allocaN = alloca i64, align 8 + store i64 %len, ptr %allocaN, align 8 + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + %lenN = extractvalue { ptr, i64 } %loadN, 1 + %allocaN = alloca i64, align 8 + store i64 %lenN, ptr %allocaN, align 8 + %loadN = load i64, ptr %allocaN, align 8 + %loadN = load i64, ptr %allocaN, align 8 + %add = add i64 %loadN, %loadN + %call = call { ptr, i64 } @cstring(i64 %add) + %allocaN = alloca { ptr, i64 }, align 8 + store { ptr, i64 } %call, ptr %allocaN, align 8 + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + %dptr = extractvalue { ptr, i64 } %loadN, 0 + %loadN = load { ptr, i64 }, ptr %alloca, align 8 + %dptrN = extractvalue { ptr, i64 } %loadN, 0 + %loadN = load i64, ptr %allocaN, align 8 + %2 = call ptr @memcpy(ptr %dptr, ptr %dptrN, i64 %loadN) + %loadN = load i64, ptr %allocaN, align 8 + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + %igp.data = extractvalue { ptr, i64 } %loadN, 0 + %igp.ptr = getelementptr i8, ptr %igp.data, i64 %loadN + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + %dptrN = extractvalue { ptr, i64 } %loadN, 0 + %loadN = load i64, ptr %allocaN, align 8 + %3 = call ptr @memcpy(ptr %igp.ptr, ptr %dptrN, i64 %loadN) + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + ret { ptr, i64 } %loadN +} + +; Function Attrs: nounwind +define internal { ptr, i64 } @substr({ ptr, i64 } %0, i64 %1, i64 %2) #0 { +entry: + %alloca = alloca { ptr, i64 }, align 8 + store { ptr, i64 } %0, ptr %alloca, align 8 + %allocaN = alloca i64, align 8 + store i64 %1, ptr %allocaN, align 8 + %allocaN = alloca i64, align 8 + store i64 %2, ptr %allocaN, align 8 + %load = load i64, ptr %allocaN, align 8 + %call = call { ptr, i64 } @cstring(i64 %load) + %allocaN = alloca { ptr, i64 }, align 8 + store { ptr, i64 } %call, ptr %allocaN, align 8 + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + %dptr = extractvalue { ptr, i64 } %loadN, 0 + %loadN = load i64, ptr %allocaN, align 8 + %loadN = load { ptr, i64 }, ptr %alloca, align 8 + %igp.data = extractvalue { ptr, i64 } %loadN, 0 + %igp.ptr = getelementptr i8, ptr %igp.data, i64 %loadN + %loadN = load i64, ptr %allocaN, align 8 + %3 = call ptr @memcpy(ptr %dptr, ptr %igp.ptr, i64 %loadN) + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + ret { ptr, i64 } %loadN +} + +; Function Attrs: nounwind +declare ptr @any_to_string([2 x i64]) #0 + +; Function Attrs: nounwind +declare ptr @build_format(ptr) #0 + +; Function Attrs: nounwind +define internal void @unused_jni(ptr %0, ptr %1) #0 { +entry: + %alloca = alloca ptr, align 8 + store ptr %0, ptr %alloca, align 8 + %allocaN = alloca ptr, align 8 + store ptr %1, ptr %allocaN, align 8 + %load = load ptr, ptr %alloca, align 8 + %loadN = load ptr, ptr %allocaN, align 8 + %jni.ifs = load ptr, ptr %load, align 8 + %jni.cached.mid = load ptr, ptr @SX_JNI_MID_getWindow____Ljava_lang_Object_, align 8 + %jni.is.cached = icmp ne ptr %jni.cached.mid, null + br i1 %jni.is.cached, label %jni.cont, label %jni.miss + +jni.miss: ; preds = %entry + %2 = getelementptr inbounds ptr, ptr %jni.ifs, i32 31 + %jni.GetObjectClass = load ptr, ptr %2, align 8 + %jni.cls = call ptr %jni.GetObjectClass(ptr %load, ptr %loadN) + %3 = getelementptr inbounds ptr, ptr %jni.ifs, i32 21 + %jni.NewGlobalRef = load ptr, ptr %3, align 8 + %jni.global.cls = call ptr %jni.NewGlobalRef(ptr %load, ptr %jni.cls) + store ptr %jni.global.cls, ptr @SX_JNI_CLS_getWindow____Ljava_lang_Object_, align 8 + %4 = getelementptr inbounds ptr, ptr %jni.ifs, i32 33 + %jni.GetMethodID = load ptr, ptr %4, align 8 + %jni.fresh.mid = call ptr %jni.GetMethodID(ptr %load, ptr %jni.global.cls, ptr @str, ptr @str.1) + store ptr %jni.fresh.mid, ptr @SX_JNI_MID_getWindow____Ljava_lang_Object_, align 8 + br label %jni.cont + +jni.cont: ; preds = %jni.miss, %entry + %jni.mid = phi ptr [ %jni.cached.mid, %entry ], [ %jni.fresh.mid, %jni.miss ] + %5 = getelementptr inbounds ptr, ptr %jni.ifs, i32 34 + %jni.callfn = load ptr, ptr %5, align 8 + %jni.ret = call ptr %jni.callfn(ptr %load, ptr %loadN, ptr %jni.mid) + %allocaN = alloca ptr, align 8 + store ptr %jni.ret, ptr %allocaN, align 8 + ret void +} + +; Function Attrs: nounwind +define i32 @main() #0 { +entry: + %alloca = alloca { i64 }, align 8 + store { i64 } zeroinitializer, ptr %alloca, align 8 + %si = insertvalue { ptr, ptr, ptr } undef, ptr %alloca, 0 + %siN = insertvalue { ptr, ptr, ptr } %si, ptr @__thunk_GPA_Allocator_alloc, 1 + %siN = insertvalue { ptr, ptr, ptr } %siN, ptr @__thunk_GPA_Allocator_dealloc, 2 + %siN = insertvalue { { ptr, ptr, ptr }, ptr } undef, { ptr, ptr, ptr } %siN, 0 + %siN = insertvalue { { ptr, ptr, ptr }, ptr } %siN, ptr null, 1 + store { { ptr, ptr, ptr }, ptr } %siN, ptr @context, align 8 + %gload = load i1, ptr @g_should_call, align 1 + br i1 %gload, label %if.then.0, label %if.merge.1 + +if.then.0: ; preds = %entry + call void @unused_jni(ptr null, ptr null) + br label %if.merge.1 + +if.merge.1: ; preds = %if.then.0, %entry + %allocaN = alloca { ptr, i64 }, align 8 + %gep = getelementptr inbounds { ptr, i64 }, ptr %allocaN, i32 0, i32 0 + store ptr null, ptr %gep, align 8 + %gepN = getelementptr inbounds { ptr, i64 }, ptr %allocaN, i32 0, i32 1 + store i64 0, ptr %gepN, align 8 + %allocaN = alloca { ptr, i64 }, align 8 + store { ptr, i64 } { ptr @str.2, i64 3 }, ptr %allocaN, align 8 + %allocaN = alloca { ptr, i64 }, align 8 + store { ptr, i64 } { ptr @str.3, i64 0 }, ptr %allocaN, align 8 + %load = load { ptr, i64 }, ptr %allocaN, align 8 + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + %call = call { ptr, i64 } @substr({ ptr, i64 } %loadN, i64 0, i64 3) + %callN = call { ptr, i64 } @concat({ ptr, i64 } %load, { ptr, i64 } %call) + store { ptr, i64 } %callN, ptr %allocaN, align 8 + %loadN = load { ptr, i64 }, ptr %allocaN, align 8 + %str.ptr = extractvalue { ptr, i64 } %loadN, 0 + %str.len = extractvalue { ptr, i64 } %loadN, 1 + %0 = call i64 @write(i32 1, ptr %str.ptr, i64 %str.len) + ret i32 0 +} + +; Function Attrs: nounwind +define internal ptr @__thunk_GPA_Allocator_alloc(ptr %0, i64 %1) #0 { +entry: + %call = call ptr @GPA.alloc(ptr %0, i64 %1) + ret ptr %call +} + +; Function Attrs: nounwind +define internal void @__thunk_GPA_Allocator_dealloc(ptr %0, ptr %1) #0 { +entry: + call void @GPA.dealloc(ptr %0, ptr %1) + ret void +} + +declare i64 @write(i32, ptr, i64) diff --git a/tests/expected/ffi-jni-class-08-call.txt b/tests/expected/ffi-jni-class-08-call.txt index b09005d..9766475 100644 --- a/tests/expected/ffi-jni-class-08-call.txt +++ b/tests/expected/ffi-jni-class-08-call.txt @@ -1 +1 @@ -/Users/agra/projects/sx/examples/ffi-jni-class-08-call.sx:21:16: error: unresolved: 'getWindow' +ok