public inbox for kawa@sourceware.org
 help / color / mirror / Atom feed
From: Phil Eaton <phil@eatonphil.com>
To: Per Bothner <per@bothner.com>
Cc: kawa mailing list <kawa@sourceware.org>
Subject: Re: Receiver class does not define or inherit an implementation of the resolved method
Date: Mon, 30 Aug 2021 19:18:52 -0400	[thread overview]
Message-ID: <CAByiw+pFhzNN4xwn2j_8zfaoj0Q5a3UdvbmjQb6rJ2cubSYGEA@mail.gmail.com> (raw)
In-Reply-To: <CAByiw+qxsFhPbN3wyvLoGeM08U1rx5pf-Qgf-FQ0z8RDSU_udg@mail.gmail.com>

I spoke too soon. The issue is that I truly do need both of these methods
to be called `apply` not `apply` and `apply$1`.

For what it's worth this kind of redefinition of the same method worked for
me in ABCL lisp. So I know it's definitely possible to express in Java.

On Mon, Aug 30, 2021 at 7:09 PM Phil Eaton <phil@eatonphil.com> wrote:

> Aha! It gave my second apply method a different suffix. By reordering
> these two methods the whole thing somehow works.
>
> $ javap main\$0.class
> Compiled from "main.scm"
> public class main$0 implements io.jooby.Route$Handler {
>   main$frame this$0;
>   public java.lang.CharSequence apply(io.jooby.Context);
>   public java.lang.Object apply$1(io.jooby.Context);
>   public main$0(main$frame);
> }
>
>
> It's weird but I'll take it.
>
>
>
> On Mon, Aug 30, 2021 at 12:40 PM Per Bothner <per@bothner.com> wrote:
>
>> On 8/29/21 12:03 PM, Phil Eaton wrote:> Still new to Kawa. I'm trying to
>> implement an interface (
>> > io.jooby.Route$Handler
>> > <
>> https://github.com/jooby-project/jooby/blob/2.x/jooby/src/main/java/io/jooby/Route.java#L247
>> >).
>> > It only has a single non-default method, apply.
>> >
>> > Here's what I've got
>> >
>> > (define (route app method path handler)
>> >    (let ((handler (object (io.jooby.Route$Handler)
>> >                           #| This method exists just to stop Jooby from
>> > trying to introspect Java code that doesn't exist because this isn't
>> > written in Java. |#
>> >                           ((apply (ctx ::io.jooby.Context)) ::string
>> >                            #!null)
>> >                           ((apply (ctx ::io.jooby.Context))
>> > ::java.lang.Object
>> >                            (handler ctx)))))
>> >      (app:route method path handler)))
>> >
>> >
>> > But when this gets exercised, I get:
>> >
>> > [worker-1-3] ERROR io.jooby.Jooby - GET /hello-world 500 Server Error
>> > java.lang.AbstractMethodError: Receiver class main$0 does not define or
>> > inherit an implementation of the resolved method 'abstract
>> java.lang.Object
>> > apply(io.jooby.Context)' of interface io.jooby.Route$Handler.
>>
>> I don't see anything obviously wrong.  One thing to try is instead of an
>> anonymous class (with object) use a named class (with
>> define-simple-class).
>> The anonymous class is more convenient of course there is some extra
>> "magic"
>> (such as invisible fields) that might complicate things.
>>
>> > Also on a tangent, I was excited about the lambda shorthand for single
>> > method objects. Like I said this interface only has a single non-default
>> > method: apply. But I tried just calling `(app:route method handler)`
>> > without wrapping it in the io.jooby.Route$Handler object but it still
>> > failed. I guess it couldn't figure out this one method.
>>
>> Kawa has to be able to figure out at compile time that a specific
>> class/interface
>> is required before it can convert the lambda to an object.  (As far as I
>> can
>> remember, doing this conversion at run-time isn't implemented, and would
>> be
>> fairly complicated.)  So you may need to add some more type-specifiers.
>>
>> I suggest using javap to look at the generated classes, to see what is
>> going on.
>> --
>>         --Per Bothner
>> per@bothner.com   http://per.bothner.com/
>>
>

  reply	other threads:[~2021-08-30 23:19 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-08-29 19:03 Phil Eaton
2021-08-30 16:40 ` Per Bothner
2021-08-30 23:09   ` Phil Eaton
2021-08-30 23:18     ` Phil Eaton [this message]
2021-09-07 10:59       ` spellcard199
2021-09-07 13:02         ` Phil Eaton
2021-09-07 17:58           ` spellcard199
2021-09-07 19:35             ` Phil Eaton
2021-09-08 14:14               ` spellcard199
2021-09-08 14:20                 ` spellcard199
2021-09-07 19:31           ` Per Bothner
2021-09-07 19:45             ` Phil Eaton
2021-09-07 20:13               ` Per Bothner

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAByiw+pFhzNN4xwn2j_8zfaoj0Q5a3UdvbmjQb6rJ2cubSYGEA@mail.gmail.com \
    --to=phil@eatonphil.com \
    --cc=kawa@sourceware.org \
    --cc=per@bothner.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).