launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sat, 22 Dec 2012 15:01:20 +0100
branchlauncher
changeset 364 91f5b1f604d8
parent 363 8b59e6f8c837
child 365 4c8388f797b2
permissions -rw-r--r--
Log also what is happening in the server
jaroslav@323
     1
/**
jaroslav@323
     2
 * Back 2 Browser Bytecode Translator
jaroslav@323
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@323
     4
 *
jaroslav@323
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@323
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@323
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@323
     8
 *
jaroslav@323
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@323
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@323
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@323
    12
 * GNU General Public License for more details.
jaroslav@323
    13
 *
jaroslav@323
    14
 * You should have received a copy of the GNU General Public License
jaroslav@323
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@323
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@323
    17
 */
jaroslav@323
    18
package org.apidesign.bck2brwsr.launcher;
jaroslav@323
    19
jaroslav@323
    20
import java.awt.Desktop;
jaroslav@331
    21
import java.io.IOException;
jaroslav@323
    22
import java.io.InputStream;
jaroslav@356
    23
import java.io.InterruptedIOException;
jaroslav@323
    24
import java.io.OutputStream;
jaroslav@323
    25
import java.io.Writer;
jaroslav@323
    26
import java.net.URI;
jaroslav@348
    27
import java.net.URISyntaxException;
jaroslav@323
    28
import java.net.URL;
jaroslav@348
    29
import java.util.ArrayList;
jaroslav@361
    30
import java.util.Arrays;
jaroslav@323
    31
import java.util.Enumeration;
jaroslav@348
    32
import java.util.LinkedHashSet;
jaroslav@348
    33
import java.util.List;
jaroslav@348
    34
import java.util.Set;
jaroslav@342
    35
import java.util.concurrent.CountDownLatch;
jaroslav@349
    36
import java.util.concurrent.TimeUnit;
jaroslav@362
    37
import java.util.logging.Level;
jaroslav@362
    38
import java.util.logging.Logger;
jaroslav@356
    39
import javax.script.Invocable;
jaroslav@356
    40
import javax.script.ScriptEngine;
jaroslav@356
    41
import javax.script.ScriptEngineManager;
jaroslav@356
    42
import javax.script.ScriptException;
jaroslav@331
    43
import static org.apidesign.bck2brwsr.launcher.Bck2BrwsrLauncher.copyStream;
jaroslav@323
    44
import org.apidesign.vm4brwsr.Bck2Brwsr;
jaroslav@323
    45
import org.glassfish.grizzly.PortRange;
jaroslav@323
    46
import org.glassfish.grizzly.http.server.HttpHandler;
jaroslav@323
    47
import org.glassfish.grizzly.http.server.HttpServer;
jaroslav@323
    48
import org.glassfish.grizzly.http.server.NetworkListener;
jaroslav@323
    49
import org.glassfish.grizzly.http.server.Request;
jaroslav@323
    50
import org.glassfish.grizzly.http.server.Response;
jaroslav@323
    51
import org.glassfish.grizzly.http.server.ServerConfiguration;
jaroslav@323
    52
jaroslav@323
    53
/**
jaroslav@357
    54
 * Lightweight server to launch Bck2Brwsr applications and tests.
jaroslav@357
    55
 * Supports execution in native browser as well as Java's internal 
jaroslav@357
    56
 * execution engine.
jaroslav@323
    57
 */
jaroslav@323
    58
public class Bck2BrwsrLauncher {
jaroslav@362
    59
    private static final Logger LOG = Logger.getLogger(Bck2BrwsrLauncher.class.getName());
jaroslav@348
    60
    private Set<ClassLoader> loaders = new LinkedHashSet<>();
jaroslav@348
    61
    private List<MethodInvocation> methods = new ArrayList<>();
jaroslav@349
    62
    private long timeOut;
jaroslav@356
    63
    private String sen;
jaroslav@357
    64
    private String showURL;
jaroslav@357
    65
    private final Res resources = new Res();
jaroslav@348
    66
    
jaroslav@348
    67
    
jaroslav@348
    68
    public MethodInvocation addMethod(Class<?> clazz, String method) {
jaroslav@348
    69
        loaders.add(clazz.getClassLoader());
jaroslav@348
    70
        MethodInvocation c = new MethodInvocation(clazz.getName(), method);
jaroslav@348
    71
        methods.add(c);
jaroslav@348
    72
        return c;
jaroslav@348
    73
    }
jaroslav@348
    74
    
jaroslav@349
    75
    public void setTimeout(long ms) {
jaroslav@349
    76
        timeOut = ms;
jaroslav@349
    77
    }
jaroslav@348
    78
    
jaroslav@356
    79
    public void setScriptEngineName(String sen) {
jaroslav@356
    80
        this.sen = sen;
jaroslav@356
    81
    }
jaroslav@357
    82
jaroslav@357
    83
    public void setStartPage(String startpage) {
jaroslav@357
    84
        if (!startpage.startsWith("/")) {
jaroslav@357
    85
            startpage = "/" + startpage;
jaroslav@357
    86
        }
jaroslav@357
    87
        this.showURL = startpage;
jaroslav@357
    88
    }
jaroslav@357
    89
jaroslav@357
    90
    public void addClassLoader(ClassLoader url) {
jaroslav@357
    91
        this.loaders.add(url);
jaroslav@357
    92
    }
jaroslav@356
    93
    
jaroslav@323
    94
    public static void main( String[] args ) throws Exception {
jaroslav@348
    95
        Bck2BrwsrLauncher l = new Bck2BrwsrLauncher();
jaroslav@357
    96
        l.setStartPage("org/apidesign/bck2brwsr/launcher/console.xhtml");
jaroslav@357
    97
        l.addClassLoader(Bck2BrwsrLauncher.class.getClassLoader());
jaroslav@348
    98
        l.execute();
jaroslav@357
    99
        System.in.read();
jaroslav@348
   100
    }
jaroslav@348
   101
jaroslav@348
   102
jaroslav@356
   103
    public void execute() throws IOException {
jaroslav@356
   104
        try {
jaroslav@356
   105
            if (sen != null) {
jaroslav@356
   106
                executeRhino();
jaroslav@357
   107
            } else if (showURL != null) {
jaroslav@357
   108
                HttpServer server = initServer();
jaroslav@357
   109
                server.getServerConfiguration().addHttpHandler(new Page(resources, null), "/");
jaroslav@357
   110
                launchServerAndBrwsr(server, showURL);
jaroslav@356
   111
            } else {
jaroslav@356
   112
                executeInBrowser();
jaroslav@356
   113
            }
jaroslav@356
   114
        } catch (InterruptedException ex) {
jaroslav@356
   115
            final InterruptedIOException iio = new InterruptedIOException(ex.getMessage());
jaroslav@356
   116
            iio.initCause(ex);
jaroslav@356
   117
            throw iio;
jaroslav@356
   118
        } catch (Exception ex) {
jaroslav@356
   119
            if (ex instanceof IOException) {
jaroslav@356
   120
                throw (IOException)ex;
jaroslav@356
   121
            }
jaroslav@356
   122
            if (ex instanceof RuntimeException) {
jaroslav@356
   123
                throw (RuntimeException)ex;
jaroslav@356
   124
            }
jaroslav@356
   125
            throw new IOException(ex);
jaroslav@356
   126
        }
jaroslav@356
   127
    }
jaroslav@356
   128
    
jaroslav@356
   129
    private void executeRhino() throws IOException, ScriptException, NoSuchMethodException {
jaroslav@356
   130
        StringBuilder sb = new StringBuilder();
jaroslav@356
   131
        Bck2Brwsr.generate(sb, new Res());
jaroslav@356
   132
jaroslav@356
   133
        ScriptEngineManager sem = new ScriptEngineManager();
jaroslav@356
   134
        ScriptEngine mach = sem.getEngineByExtension(sen);
jaroslav@356
   135
jaroslav@356
   136
        sb.append(
jaroslav@360
   137
              "\nvar vm = new bck2brwsr(org.apidesign.bck2brwsr.launcher.Console.read);"
jaroslav@356
   138
            + "\nfunction initVM() { return vm; };"
jaroslav@356
   139
            + "\n");
jaroslav@356
   140
jaroslav@356
   141
        Object res = mach.eval(sb.toString());
jaroslav@356
   142
        if (!(mach instanceof Invocable)) {
jaroslav@356
   143
            throw new IOException("It is invocable object: " + res);
jaroslav@356
   144
        }
jaroslav@356
   145
        Invocable code = (Invocable) mach;
jaroslav@356
   146
        
jaroslav@356
   147
        Object vm = code.invokeFunction("initVM");
jaroslav@356
   148
        Object console = code.invokeMethod(vm, "loadClass", Console.class.getName());
jaroslav@356
   149
jaroslav@356
   150
        final MethodInvocation[] cases = this.methods.toArray(new MethodInvocation[0]);
jaroslav@356
   151
        for (MethodInvocation mi : cases) {
jaroslav@356
   152
            mi.result = code.invokeMethod(console, 
jaroslav@356
   153
                "invoke__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2", 
jaroslav@356
   154
                mi.className, mi.methodName
jaroslav@356
   155
            ).toString();
jaroslav@356
   156
        }
jaroslav@356
   157
    }
jaroslav@356
   158
    
jaroslav@357
   159
    private HttpServer initServer() {
jaroslav@323
   160
        HttpServer server = HttpServer.createSimpleServer(".", new PortRange(8080, 65535));
jaroslav@357
   161
jaroslav@323
   162
        final ServerConfiguration conf = server.getServerConfiguration();
jaroslav@357
   163
        conf.addHttpHandler(new Page(resources, 
jaroslav@357
   164
            "org/apidesign/bck2brwsr/launcher/console.xhtml",
jaroslav@332
   165
            "org.apidesign.bck2brwsr.launcher.Console", "welcome", "false"
jaroslav@332
   166
        ), "/console");
jaroslav@348
   167
        conf.addHttpHandler(new VM(resources), "/bck2brwsr.js");
jaroslav@332
   168
        conf.addHttpHandler(new VMInit(), "/vm.js");
jaroslav@348
   169
        conf.addHttpHandler(new Classes(resources), "/classes/");
jaroslav@357
   170
        return server;
jaroslav@357
   171
    }
jaroslav@357
   172
    
jaroslav@357
   173
    private void executeInBrowser() throws InterruptedException, URISyntaxException, IOException {
jaroslav@357
   174
        final CountDownLatch wait = new CountDownLatch(1);
jaroslav@357
   175
        final MethodInvocation[] cases = this.methods.toArray(new MethodInvocation[0]);
jaroslav@357
   176
        
jaroslav@357
   177
        HttpServer server = initServer();
jaroslav@357
   178
        ServerConfiguration conf = server.getServerConfiguration();
jaroslav@357
   179
        conf.addHttpHandler(new Page(resources, 
jaroslav@357
   180
            "org/apidesign/bck2brwsr/launcher/harness.xhtml"
jaroslav@357
   181
        ), "/execute");
jaroslav@363
   182
        final int[] currentTest = { -1 };
jaroslav@332
   183
        conf.addHttpHandler(new HttpHandler() {
jaroslav@332
   184
            int cnt;
jaroslav@332
   185
            @Override
jaroslav@332
   186
            public void service(Request request, Response response) throws Exception {
jaroslav@342
   187
                String id = request.getParameter("request");
jaroslav@342
   188
                String value = request.getParameter("result");
jaroslav@364
   189
                
jaroslav@342
   190
                if (id != null && value != null) {
jaroslav@364
   191
                    LOG.log(Level.INFO, "Received result for case {0} = {1}", new Object[]{id, value});
jaroslav@342
   192
                    value = value.replace("%20", " ");
jaroslav@342
   193
                    cases[Integer.parseInt(id)].result = value;
jaroslav@342
   194
                }
jaroslav@363
   195
                currentTest[0] = cnt;
jaroslav@342
   196
                
jaroslav@342
   197
                if (cnt >= cases.length) {
jaroslav@342
   198
                    response.getWriter().write("");
jaroslav@342
   199
                    wait.countDown();
jaroslav@342
   200
                    cnt = 0;
jaroslav@342
   201
                    return;
jaroslav@342
   202
                }
jaroslav@342
   203
                
jaroslav@364
   204
                final String cn = cases[cnt].className;
jaroslav@364
   205
                final String mn = cases[cnt].methodName;
jaroslav@364
   206
                LOG.log(Level.INFO, "Request for {0} case. Sending {1}.{2}", new Object[]{cnt, cn, mn});
jaroslav@332
   207
                response.getWriter().write("{"
jaroslav@364
   208
                    + "className: '" + cn + "', "
jaroslav@364
   209
                    + "methodName: '" + mn + "', "
jaroslav@332
   210
                    + "request: " + cnt
jaroslav@332
   211
                    + "}");
jaroslav@342
   212
                cnt++;
jaroslav@332
   213
            }
jaroslav@342
   214
        }, "/data");
jaroslav@357
   215
jaroslav@357
   216
        launchServerAndBrwsr(server, "/execute");
jaroslav@323
   217
        
jaroslav@363
   218
        for (;;) {
jaroslav@363
   219
            int prev = currentTest[0];
jaroslav@363
   220
            if (wait.await(timeOut, TimeUnit.MILLISECONDS)) {
jaroslav@363
   221
                break;
jaroslav@363
   222
            }
jaroslav@363
   223
            if (prev == currentTest[0]) {
jaroslav@363
   224
                LOG.log(
jaroslav@363
   225
                    Level.WARNING, 
jaroslav@363
   226
                    "Timeout and no test has been executed meanwhile (at {0}). Giving up.", 
jaroslav@363
   227
                    currentTest[0]
jaroslav@363
   228
                );
jaroslav@363
   229
                break;
jaroslav@363
   230
            }
jaroslav@363
   231
            LOG.log(Level.INFO, 
jaroslav@363
   232
                "Timeout, but tests got from {0} to {1}. Trying again.", 
jaroslav@363
   233
                new Object[]{prev, currentTest[0]}
jaroslav@363
   234
            );
jaroslav@363
   235
        }
jaroslav@349
   236
        server.stop();
jaroslav@323
   237
    }
jaroslav@331
   238
    
jaroslav@342
   239
    static void copyStream(InputStream is, OutputStream os, String baseURL, String... params) throws IOException {
jaroslav@331
   240
        for (;;) {
jaroslav@331
   241
            int ch = is.read();
jaroslav@331
   242
            if (ch == -1) {
jaroslav@331
   243
                break;
jaroslav@331
   244
            }
jaroslav@331
   245
            if (ch == '$') {
jaroslav@331
   246
                int cnt = is.read() - '0';
jaroslav@342
   247
                if (cnt == 'U' - '0') {
jaroslav@342
   248
                    os.write(baseURL.getBytes());
jaroslav@342
   249
                }
jaroslav@331
   250
                if (cnt < params.length) {
jaroslav@331
   251
                    os.write(params[cnt].getBytes());
jaroslav@331
   252
                }
jaroslav@331
   253
            } else {
jaroslav@331
   254
                os.write(ch);
jaroslav@331
   255
            }
jaroslav@331
   256
        }
jaroslav@331
   257
    }
jaroslav@356
   258
jaroslav@357
   259
    private void launchServerAndBrwsr(HttpServer server, final String page) throws IOException, URISyntaxException, InterruptedException {
jaroslav@357
   260
        server.start();
jaroslav@357
   261
        NetworkListener listener = server.getListeners().iterator().next();
jaroslav@357
   262
        int port = listener.getPort();
jaroslav@357
   263
        
jaroslav@357
   264
        URI uri = new URI("http://localhost:" + port + page);
jaroslav@362
   265
        LOG.log(Level.INFO, "Showing {0}", uri);
jaroslav@357
   266
        try {
jaroslav@357
   267
            Desktop.getDesktop().browse(uri);
jaroslav@357
   268
        } catch (UnsupportedOperationException ex) {
jaroslav@357
   269
            String[] cmd = { 
jaroslav@357
   270
                "xdg-open", uri.toString()
jaroslav@357
   271
            };
jaroslav@362
   272
            LOG.log(Level.INFO, "Launching {0}", Arrays.toString(cmd));
jaroslav@361
   273
            final Process process = Runtime.getRuntime().exec(cmd);
jaroslav@361
   274
            InputStream stdout = process.getInputStream();
jaroslav@361
   275
            InputStream stderr = process.getErrorStream();
jaroslav@361
   276
            int res = process.waitFor();
jaroslav@362
   277
            LOG.log(Level.INFO, "Exit code: {0}", res);
jaroslav@361
   278
            drain("StdOut", stdout);
jaroslav@361
   279
            drain("StdErr", stderr);
jaroslav@357
   280
        }
jaroslav@361
   281
    }
jaroslav@361
   282
    
jaroslav@361
   283
    private static void drain(String name, InputStream is) throws IOException {
jaroslav@361
   284
        int av = is.available();
jaroslav@361
   285
        if (av > 0) {
jaroslav@362
   286
            StringBuilder sb = new StringBuilder();
jaroslav@362
   287
            sb.append("v== ").append(name).append(" ==v\n");
jaroslav@361
   288
            while (av-- > 0) {
jaroslav@362
   289
                sb.append((char)is.read());
jaroslav@361
   290
            }
jaroslav@362
   291
            sb.append("\n^== ").append(name).append(" ==^");
jaroslav@362
   292
            LOG.log(Level.INFO, sb.toString());
jaroslav@361
   293
        }
jaroslav@357
   294
    }
jaroslav@357
   295
jaroslav@348
   296
    private class Res implements Bck2Brwsr.Resources {
jaroslav@348
   297
        @Override
jaroslav@348
   298
        public InputStream get(String resource) throws IOException {
jaroslav@348
   299
            for (ClassLoader l : loaders) {
jaroslav@348
   300
                URL u = null;
jaroslav@348
   301
                Enumeration<URL> en = l.getResources(resource);
jaroslav@348
   302
                while (en.hasMoreElements()) {
jaroslav@348
   303
                    u = en.nextElement();
jaroslav@348
   304
                }
jaroslav@348
   305
                if (u != null) {
jaroslav@348
   306
                    return u.openStream();
jaroslav@348
   307
                }
jaroslav@348
   308
            }
jaroslav@348
   309
            throw new IOException("Can't find " + resource);
jaroslav@348
   310
        }
jaroslav@348
   311
    }
jaroslav@330
   312
jaroslav@332
   313
    private static class Page extends HttpHandler {
jaroslav@332
   314
        private final String resource;
jaroslav@331
   315
        private final String[] args;
jaroslav@357
   316
        private final Res res;
jaroslav@331
   317
        
jaroslav@357
   318
        public Page(Res res, String resource, String... args) {
jaroslav@357
   319
            this.res = res;
jaroslav@332
   320
            this.resource = resource;
jaroslav@331
   321
            this.args = args;
jaroslav@330
   322
        }
jaroslav@330
   323
jaroslav@330
   324
        @Override
jaroslav@330
   325
        public void service(Request request, Response response) throws Exception {
jaroslav@357
   326
            String r = resource;
jaroslav@357
   327
            if (r == null) {
jaroslav@357
   328
                r = request.getHttpHandlerPath();
jaroslav@357
   329
                if (r.startsWith("/")) {
jaroslav@357
   330
                    r = r.substring(1);
jaroslav@357
   331
                }
jaroslav@357
   332
            }
jaroslav@357
   333
            if (r.endsWith(".html") || r.endsWith(".xhtml")) {
jaroslav@357
   334
                response.setContentType("text/html");
jaroslav@357
   335
            }
jaroslav@330
   336
            OutputStream os = response.getOutputStream();
jaroslav@357
   337
            try (InputStream is = res.get(r)) {
jaroslav@357
   338
                copyStream(is, os, request.getRequestURL().toString(), args);
jaroslav@357
   339
            } catch (IOException ex) {
jaroslav@357
   340
                response.setDetailMessage(ex.getLocalizedMessage());
jaroslav@357
   341
                response.setError();
jaroslav@357
   342
                response.setStatus(404);
jaroslav@357
   343
            }
jaroslav@330
   344
        }
jaroslav@330
   345
    }
jaroslav@330
   346
jaroslav@330
   347
    private static class VM extends HttpHandler {
jaroslav@348
   348
        private final Res loader;
jaroslav@330
   349
jaroslav@348
   350
        public VM(Res loader) {
jaroslav@330
   351
            this.loader = loader;
jaroslav@330
   352
        }
jaroslav@330
   353
jaroslav@330
   354
        @Override
jaroslav@330
   355
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   356
            response.setCharacterEncoding("UTF-8");
jaroslav@330
   357
            response.setContentType("text/javascript");
jaroslav@330
   358
            Bck2Brwsr.generate(response.getWriter(), loader);
jaroslav@330
   359
        }
jaroslav@330
   360
    }
jaroslav@332
   361
    private static class VMInit extends HttpHandler {
jaroslav@332
   362
        public VMInit() {
jaroslav@332
   363
        }
jaroslav@332
   364
jaroslav@332
   365
        @Override
jaroslav@332
   366
        public void service(Request request, Response response) throws Exception {
jaroslav@332
   367
            response.setCharacterEncoding("UTF-8");
jaroslav@332
   368
            response.setContentType("text/javascript");
jaroslav@332
   369
            response.getWriter().append(
jaroslav@332
   370
                "function ldCls(res) {\n"
jaroslav@332
   371
                + "  var request = new XMLHttpRequest();\n"
jaroslav@357
   372
                + "  request.open('GET', '/classes/' + res, false);\n"
jaroslav@332
   373
                + "  request.send();\n"
jaroslav@332
   374
                + "  var arr = eval('(' + request.responseText + ')');\n"
jaroslav@332
   375
                + "  return arr;\n"
jaroslav@332
   376
                + "}\n"
jaroslav@332
   377
                + "var vm = new bck2brwsr(ldCls);\n");
jaroslav@332
   378
        }
jaroslav@332
   379
    }
jaroslav@330
   380
jaroslav@330
   381
    private static class Classes extends HttpHandler {
jaroslav@348
   382
        private final Res loader;
jaroslav@330
   383
jaroslav@348
   384
        public Classes(Res loader) {
jaroslav@330
   385
            this.loader = loader;
jaroslav@330
   386
        }
jaroslav@330
   387
jaroslav@330
   388
        @Override
jaroslav@330
   389
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   390
            String res = request.getHttpHandlerPath();
jaroslav@330
   391
            if (res.startsWith("/")) {
jaroslav@330
   392
                res = res.substring(1);
jaroslav@330
   393
            }
jaroslav@348
   394
            try (InputStream is = loader.get(res)) {
jaroslav@348
   395
                response.setContentType("text/javascript");
jaroslav@348
   396
                Writer w = response.getWriter();
jaroslav@348
   397
                w.append("[");
jaroslav@348
   398
                for (int i = 0;; i++) {
jaroslav@348
   399
                    int b = is.read();
jaroslav@348
   400
                    if (b == -1) {
jaroslav@348
   401
                        break;
jaroslav@348
   402
                    }
jaroslav@348
   403
                    if (i > 0) {
jaroslav@348
   404
                        w.append(", ");
jaroslav@348
   405
                    }
jaroslav@348
   406
                    if (i % 20 == 0) {
jaroslav@348
   407
                        w.write("\n");
jaroslav@348
   408
                    }
jaroslav@348
   409
                    if (b > 127) {
jaroslav@348
   410
                        b = b - 256;
jaroslav@348
   411
                    }
jaroslav@348
   412
                    w.append(Integer.toString(b));
jaroslav@348
   413
                }
jaroslav@348
   414
                w.append("\n]");
jaroslav@348
   415
            } catch (IOException ex) {
jaroslav@348
   416
                response.setError();
jaroslav@348
   417
                response.setDetailMessage(ex.getMessage());
jaroslav@330
   418
            }
jaroslav@330
   419
        }
jaroslav@330
   420
    }
jaroslav@342
   421
    
jaroslav@348
   422
    public static final class MethodInvocation {
jaroslav@342
   423
        final String className;
jaroslav@342
   424
        final String methodName;
jaroslav@342
   425
        String result;
jaroslav@342
   426
jaroslav@348
   427
        MethodInvocation(String className, String methodName) {
jaroslav@342
   428
            this.className = className;
jaroslav@342
   429
            this.methodName = methodName;
jaroslav@342
   430
        }
jaroslav@348
   431
jaroslav@348
   432
        @Override
jaroslav@348
   433
        public String toString() {
jaroslav@348
   434
            return result;
jaroslav@348
   435
        }
jaroslav@342
   436
    }
jaroslav@323
   437
}