proxy

(proxy [ClassOrInterface...] [args...] methods...)

Builds one host object: of only interfaces, implementing every one of them; with a class first, extending that superclass (and any interfaces after it), made with the constructor the argument vector chooses.

Each (method [params...] body...) becomes a dispatch arm chosen by the method's name, so a name two interfaces declare runs the one body. An interface-only method receives the Java arguments only -- there is no this. Calling an interface method the proxy leaves out raises no proxy method: <name>.

With a superclass, each body also binds this to the proxy object, and (proxy-super method args...) calls the superclass implementation. A named method runs its body -- toString/equals/hashCode included -- while a method left out is inherited when the class implements it, and refused with the method's name when it is called and nothing implements it. A second class in the vector, a duplicate method, a final superclass and a non-vector argument vector are refused by name, and field writes (set!) are refused too. Runs on the interpreter and the JVM only -- the wasm backends reject java:.