launcher/http/src/main/java/org/apidesign/bck2brwsr/launcher/impl/Console.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Tue, 19 Apr 2016 05:27:43 +0200
changeset 1928 b5ac0a273dfe
parent 1927 cff680298793
child 1964 668b8501d01f
permissions -rw-r--r--
Using new line
jaroslav@323
     1
/**
jaroslav@323
     2
 * Back 2 Browser Bytecode Translator
jaroslav@1787
     3
 * Copyright (C) 2012-2015 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@622
    18
package org.apidesign.bck2brwsr.launcher.impl;
jaroslav@323
    19
jaroslav@360
    20
import java.io.IOException;
jaroslav@360
    21
import java.io.InputStream;
jaroslav@802
    22
import java.io.UnsupportedEncodingException;
jaroslav@332
    23
import java.lang.reflect.InvocationTargetException;
jaroslav@323
    24
import java.lang.reflect.Method;
jaroslav@412
    25
import java.lang.reflect.Modifier;
jaroslav@332
    26
import java.net.URL;
jaroslav@360
    27
import java.util.Enumeration;
jaroslav@323
    28
import org.apidesign.bck2brwsr.core.JavaScriptBody;
jaroslav@323
    29
jaroslav@323
    30
/**
jaroslav@323
    31
 *
jaroslav@323
    32
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@323
    33
 */
jaroslav@1489
    34
@org.apidesign.bck2brwsr.core.Exported 
jaroslav@323
    35
public class Console {
jaroslav@622
    36
    private Console() {
jaroslav@622
    37
    }
jaroslav@517
    38
    static {
jaroslav@517
    39
        turnAssetionStatusOn();
jaroslav@517
    40
    }
jaroslav@323
    41
    
jaroslav@323
    42
    @JavaScriptBody(args = {"id", "attr"}, body = 
jaroslav@1927
    43
        "var e = window.document.getElementById(id);" +
jaroslav@1927
    44
        "return e ? e[attr].toString() : null;"
jaroslav@1927
    45
    )
jaroslav@323
    46
    private static native Object getAttr(String id, String attr);
jaroslav@916
    47
    @JavaScriptBody(args = {"elem", "attr"}, body = 
jaroslav@1927
    48
        "return elem ? elem[attr].toString() : null;")
jaroslav@916
    49
    private static native Object getAttr(Object elem, String attr);
jaroslav@323
    50
jaroslav@323
    51
    @JavaScriptBody(args = {"id", "attr", "value"}, body = 
jaroslav@1927
    52
        "var e = window.document.getElementById(id);\n"
jaroslav@1927
    53
      + "if (e) e[attr] = value;"
jaroslav@1927
    54
    )
jaroslav@323
    55
    private static native void setAttr(String id, String attr, Object value);
jaroslav@916
    56
    @JavaScriptBody(args = {"elem", "attr", "value"}, body = 
jaroslav@1927
    57
        "if (elem) elem[attr] = value;")
jaroslav@916
    58
    private static native void setAttr(Object id, String attr, Object value);
jaroslav@366
    59
    
jaroslav@1860
    60
    @net.java.html.js.JavaScriptBody(args = {}, body = "return new Date().getTime()")
jaroslav@1860
    61
    private static native double getTime();
jaroslav@1860
    62
jaroslav@1827
    63
    @net.java.html.js.JavaScriptBody(args = {  }, body = 
jaroslav@1928
    64
        "if (!document.getElementById('bck2brwsr.fragment')) return;\n"
jaroslav@1927
    65
      + "var a = document.createElement('a');\n"
jaroslav@1827
    66
      + "a.innerHTML = 'Cancel: closing in 10s...';\n"
jaroslav@1827
    67
      + "a.href = '#';\n"
jaroslav@1827
    68
      + "var closing = window.setTimeout(function() { window.close(); }, 10000);\n"
jaroslav@1827
    69
      + "a.onclick = function() { clearTimeout(closing); document.body.removeChild(a); };\n"
jaroslav@1827
    70
      + "document.body.appendChild(a);\n" +
jaroslav@1827
    71
        "return;\n"
jaroslav@1827
    72
    )
jaroslav@1827
    73
    static native void closeWindow();
jaroslav@342
    74
jaroslav@916
    75
    private static Object textArea;
jaroslav@916
    76
    private static Object statusArea;
jaroslav@916
    77
    
jaroslav@343
    78
    private static void log(String newText) {
jaroslav@916
    79
        if (textArea == null) {
jaroslav@916
    80
            return;
jaroslav@916
    81
        }
jaroslav@343
    82
        String attr = "value";
jaroslav@916
    83
        setAttr(textArea, attr, getAttr(textArea, attr) + "\n" + newText);
jaroslav@916
    84
        setAttr(textArea, "scrollTop", getAttr(textArea, "scrollHeight"));
jaroslav@342
    85
    }
jaroslav@323
    86
    
jaroslav@916
    87
    private static void beginTest(Case c) {
jaroslav@916
    88
        Object[] arr = new Object[2];
jaroslav@916
    89
        beginTest(c.getClassName() + "." + c.getMethodName(), c, arr);
jaroslav@916
    90
        textArea = arr[0];
jaroslav@916
    91
        statusArea = arr[1];
jaroslav@916
    92
    }
jaroslav@916
    93
    
jaroslav@916
    94
    private static void finishTest(Case c, Object res) {
jaroslav@916
    95
        if ("null".equals(res)) {
jaroslav@922
    96
            setAttr(statusArea, "innerHTML", "Success");
jaroslav@916
    97
        } else {
jaroslav@922
    98
            setAttr(statusArea, "innerHTML", "Result " + res);
jaroslav@916
    99
        }
jaroslav@916
   100
        statusArea = null;
jaroslav@916
   101
        textArea = null;
jaroslav@916
   102
    }
jaroslav@916
   103
jaroslav@916
   104
    @JavaScriptBody(args = { "test", "c", "arr" }, body = 
jaroslav@916
   105
          "var ul = window.document.getElementById('bck2brwsr.result');\n"
jaroslav@916
   106
        + "var li = window.document.createElement('li');\n"
jaroslav@922
   107
        + "var span = window.document.createElement('span');"
jaroslav@916
   108
        + "span.innerHTML = test + ' - ';\n"
jaroslav@922
   109
        + "var details = window.document.createElement('a');\n"
jaroslav@922
   110
        + "details.innerHTML = 'Details';\n"
jaroslav@922
   111
        + "details.href = '#';\n"
jaroslav@916
   112
        + "var p = window.document.createElement('p');\n"
jaroslav@916
   113
        + "var status = window.document.createElement('a');\n"
jaroslav@916
   114
        + "status.innerHTML = 'running';"
jaroslav@922
   115
        + "details.onclick = function() { li.appendChild(p); li.removeChild(details); status.innerHTML = 'Run Again'; status.href = '#'; };\n"
jaroslav@916
   116
        + "status.onclick = function() { c.again__V_3Ljava_lang_Object_2(arr); }\n"
jaroslav@916
   117
        + "var pre = window.document.createElement('textarea');\n"
jaroslav@922
   118
        + "pre.cols = 100;"
jaroslav@922
   119
        + "pre.rows = 10;"
jaroslav@916
   120
        + "li.appendChild(span);\n"
jaroslav@916
   121
        + "li.appendChild(status);\n"
jaroslav@922
   122
        + "var span = window.document.createElement('span');"
jaroslav@922
   123
        + "span.innerHTML = ' ';\n"
jaroslav@922
   124
        + "li.appendChild(span);\n"
jaroslav@922
   125
        + "li.appendChild(details);\n"
jaroslav@916
   126
        + "p.appendChild(pre);\n"
jaroslav@1927
   127
        + "if (ul) ul.appendChild(li);\n"
jaroslav@916
   128
        + "arr[0] = pre;\n"
jaroslav@916
   129
        + "arr[1] = status;\n"
jaroslav@916
   130
    )
jaroslav@916
   131
    private static native void beginTest(String test, Case c, Object[] arr);
jaroslav@916
   132
    
jaroslav@519
   133
    @JavaScriptBody(args = { "url", "callback", "arr" }, body = ""
jaroslav@519
   134
        + "var request = new XMLHttpRequest();\n"
jaroslav@519
   135
        + "request.open('GET', url, true);\n"
jaroslav@800
   136
        + "request.setRequestHeader('Content-Type', 'text/plain; charset=utf-8');\n"
jaroslav@519
   137
        + "request.onreadystatechange = function() {\n"
jaroslav@519
   138
        + "  if (this.readyState!==4) return;\n"
jaroslav@519
   139
        + "  arr[0] = this.responseText;\n"
jaroslav@519
   140
        + "  callback.run__V();\n"
jaroslav@519
   141
        + "};"
jaroslav@519
   142
        + "request.send();"
jaroslav@519
   143
    )
jaroslav@519
   144
    private static native void loadText(String url, Runnable callback, String[] arr) throws IOException;
jaroslav@332
   145
    
jaroslav@519
   146
    public static void harness(String url) throws IOException {
jaroslav@343
   147
        log("Connecting to " + url);
jaroslav@519
   148
        Request r = new Request(url);
jaroslav@519
   149
    }
jaroslav@519
   150
    
jaroslav@519
   151
    private static class Request implements Runnable {
jaroslav@519
   152
        private final String[] arr = { null };
jaroslav@519
   153
        private final String url;
jaroslav@939
   154
        private Case c;
jaroslav@942
   155
        private int retries;
jaroslav@519
   156
jaroslav@519
   157
        private Request(String url) throws IOException {
jaroslav@519
   158
            this.url = url;
jaroslav@519
   159
            loadText(url, this, arr);
jaroslav@519
   160
        }
jaroslav@939
   161
        private Request(String url, String u) throws IOException {
jaroslav@939
   162
            this.url = url;
jaroslav@939
   163
            loadText(u, this, arr);
jaroslav@939
   164
        }
jaroslav@519
   165
        
jaroslav@519
   166
        @Override
jaroslav@519
   167
        public void run() {
jaroslav@519
   168
            try {
jaroslav@939
   169
                if (c == null) {
jaroslav@939
   170
                    String data = arr[0];
jaroslav@939
   171
jaroslav@939
   172
                    if (data == null) {
jaroslav@939
   173
                        log("Some error exiting");
jaroslav@939
   174
                        closeWindow();
jaroslav@939
   175
                        return;
jaroslav@939
   176
                    }
jaroslav@939
   177
jaroslav@939
   178
                    if (data.isEmpty()) {
jaroslav@939
   179
                        log("No data, exiting");
jaroslav@939
   180
                        closeWindow();
jaroslav@939
   181
                        return;
jaroslav@939
   182
                    }
jaroslav@939
   183
jaroslav@939
   184
                    c = Case.parseData(data);
jaroslav@939
   185
                    beginTest(c);
jaroslav@940
   186
                    log("Got \"" + data + "\"");
jaroslav@940
   187
                } else {
jaroslav@942
   188
                    log("Processing \"" + arr[0] + "\" for " + retries + " time");
jaroslav@939
   189
                }
jaroslav@1752
   190
                Object result = retries++ >= 100 ? "java.lang.InterruptedException:timeout(" + retries + ")" : c.runTest();
jaroslav@1860
   191
                String reply = "?request=" + c.getRequestId() + "&time=" + c.time + "&result=" + result;
jaroslav@1860
   192
                log("Sending back: ..." + reply);
jaroslav@939
   193
                finishTest(c, result);
jaroslav@519
   194
                
jaroslav@1860
   195
                String u = url + reply;
jaroslav@939
   196
                new Request(url, u);
jaroslav@939
   197
            } catch (Exception ex) {
jaroslav@939
   198
                if (ex instanceof InterruptedException) {
jaroslav@940
   199
                    log("Re-scheduling in 100ms");
jaroslav@940
   200
                    schedule(this, 100);
jaroslav@519
   201
                    return;
jaroslav@519
   202
                }
jaroslav@707
   203
                log(ex.getClass().getName() + ":" + ex.getMessage());
jaroslav@342
   204
            }
jaroslav@332
   205
        }
jaroslav@332
   206
    }
jaroslav@356
   207
    
jaroslav@802
   208
    private static String encodeURL(String r) throws UnsupportedEncodingException {
jaroslav@802
   209
        final String SPECIAL = "%$&+,/:;=?@";
jaroslav@381
   210
        StringBuilder sb = new StringBuilder();
jaroslav@802
   211
        byte[] utf8 = r.getBytes("UTF-8");
jaroslav@802
   212
        for (int i = 0; i < utf8.length; i++) {
jaroslav@802
   213
            int ch = utf8[i] & 0xff;
jaroslav@802
   214
            if (ch < 32 || ch > 127 || SPECIAL.indexOf(ch) >= 0) {
jaroslav@802
   215
                final String numbers = "0" + Integer.toHexString(ch);
jaroslav@802
   216
                sb.append("%").append(numbers.substring(numbers.length() - 2));
jaroslav@381
   217
            } else {
jaroslav@381
   218
                if (ch == 32) {
jaroslav@381
   219
                    sb.append("+");
jaroslav@381
   220
                } else {
jaroslav@381
   221
                    sb.append((char)ch);
jaroslav@381
   222
                }
jaroslav@381
   223
            }
jaroslav@381
   224
        }
jaroslav@381
   225
        return sb.toString();
jaroslav@381
   226
    }
jaroslav@381
   227
    
jaroslav@939
   228
    static String invoke(String clazz, String method) throws 
jaroslav@939
   229
    ClassNotFoundException, InvocationTargetException, IllegalAccessException, 
jaroslav@939
   230
    InstantiationException, InterruptedException {
jaroslav@1908
   231
        final Object r = new Case(null).invokeMethod(clazz, method, null);
jaroslav@356
   232
        return r == null ? "null" : r.toString().toString();
jaroslav@356
   233
    }
jaroslav@323
   234
jaroslav@360
   235
    /** Helper method that inspects the classpath and loads given resource
jaroslav@360
   236
     * (usually a class file). Used while running tests in Rhino.
jaroslav@360
   237
     * 
jaroslav@360
   238
     * @param name resource name to find
jaroslav@360
   239
     * @return the array of bytes in the given resource
jaroslav@360
   240
     * @throws IOException I/O in case something goes wrong
jaroslav@360
   241
     */
jaroslav@1375
   242
    public static byte[] read(String name, int skip) throws IOException {
jaroslav@360
   243
        URL u = null;
jaroslav@1375
   244
        if (!name.endsWith(".class")) {
jaroslav@1375
   245
            u = getResource(name, skip);
jaroslav@1375
   246
        } else {
jaroslav@1375
   247
            Enumeration<URL> en = Console.class.getClassLoader().getResources(name);
jaroslav@1375
   248
            while (en.hasMoreElements()) {
jaroslav@1375
   249
                u = en.nextElement();
jaroslav@1375
   250
            }
jaroslav@360
   251
        }
jaroslav@360
   252
        if (u == null) {
jaroslav@1363
   253
            if (name.endsWith(".class")) {
jaroslav@1363
   254
                throw new IOException("Can't find " + name);
jaroslav@1363
   255
            } else {
jaroslav@1363
   256
                return null;
jaroslav@1363
   257
            }
jaroslav@360
   258
        }
jaroslav@360
   259
        try (InputStream is = u.openStream()) {
jaroslav@360
   260
            byte[] arr;
jaroslav@360
   261
            arr = new byte[is.available()];
jaroslav@360
   262
            int offset = 0;
jaroslav@360
   263
            while (offset < arr.length) {
jaroslav@360
   264
                int len = is.read(arr, offset, arr.length - offset);
jaroslav@360
   265
                if (len == -1) {
jaroslav@360
   266
                    throw new IOException("Can't read " + name);
jaroslav@360
   267
                }
jaroslav@360
   268
                offset += len;
jaroslav@360
   269
            }
jaroslav@360
   270
            return arr;
jaroslav@360
   271
        }
jaroslav@360
   272
    }
jaroslav@360
   273
   
jaroslav@1375
   274
    private static URL getResource(String resource, int skip) throws IOException {
jaroslav@1375
   275
        URL u = null;
jaroslav@1375
   276
        Enumeration<URL> en = Console.class.getClassLoader().getResources(resource);
jaroslav@1375
   277
        while (en.hasMoreElements()) {
jaroslav@1375
   278
            final URL now = en.nextElement();
jaroslav@1375
   279
            if (--skip < 0) {
jaroslav@1375
   280
                u = now;
jaroslav@1375
   281
                break;
jaroslav@1375
   282
            }
jaroslav@1375
   283
        }
jaroslav@1375
   284
        return u;
jaroslav@1375
   285
    }
jaroslav@1375
   286
    
jaroslav@1572
   287
    @JavaScriptBody(args = {}, body = "vm['java_lang_Class'](false)['desiredAssertionStatus'] = true;")
jaroslav@517
   288
    private static void turnAssetionStatusOn() {
jaroslav@517
   289
    }
jaroslav@939
   290
jaroslav@939
   291
    @JavaScriptBody(args = {"r", "time"}, body =
jaroslav@940
   292
        "return window.setTimeout(function() { r.run__V(); }, time);")
jaroslav@940
   293
    private static native Object schedule(Runnable r, int time);
jaroslav@342
   294
    
jaroslav@342
   295
    private static final class Case {
jaroslav@342
   296
        private final Object data;
jaroslav@939
   297
        private Object inst;
jaroslav@1860
   298
        private double time;
jaroslav@342
   299
jaroslav@342
   300
        private Case(Object data) {
jaroslav@342
   301
            this.data = data;
jaroslav@342
   302
        }
jaroslav@342
   303
        
jaroslav@342
   304
        public static Case parseData(String s) {
jaroslav@342
   305
            return new Case(toJSON(s));
jaroslav@342
   306
        }
jaroslav@342
   307
        
jaroslav@342
   308
        public String getMethodName() {
jaroslav@342
   309
            return value("methodName", data);
jaroslav@342
   310
        }
jaroslav@342
   311
jaroslav@342
   312
        public String getClassName() {
jaroslav@342
   313
            return value("className", data);
jaroslav@342
   314
        }
jaroslav@342
   315
        
jaroslav@342
   316
        public String getRequestId() {
jaroslav@342
   317
            return value("request", data);
jaroslav@342
   318
        }
jaroslav@526
   319
jaroslav@526
   320
        public String getHtmlFragment() {
jaroslav@526
   321
            return value("html", data);
jaroslav@526
   322
        }
jaroslav@1908
   323
jaroslav@1908
   324
        public String[] getArgs() {
jaroslav@1908
   325
            return values("args", data);
jaroslav@1908
   326
        }
jaroslav@342
   327
        
jaroslav@916
   328
        void again(Object[] arr) {
jaroslav@916
   329
            try {
jaroslav@916
   330
                textArea = arr[0];
jaroslav@916
   331
                statusArea = arr[1];
jaroslav@916
   332
                setAttr(textArea, "value", "");
jaroslav@916
   333
                runTest();
jaroslav@916
   334
            } catch (Exception ex) {
jaroslav@916
   335
                log(ex.getClass().getName() + ":" + ex.getMessage());
jaroslav@916
   336
            }
jaroslav@916
   337
        }
jaroslav@916
   338
jaroslav@939
   339
        private Object runTest() throws IllegalAccessException, 
jaroslav@939
   340
        IllegalArgumentException, ClassNotFoundException, UnsupportedEncodingException, 
jaroslav@939
   341
        InvocationTargetException, InstantiationException, InterruptedException {
jaroslav@916
   342
            if (this.getHtmlFragment() != null) {
jaroslav@916
   343
                setAttr("bck2brwsr.fragment", "innerHTML", this.getHtmlFragment());
jaroslav@916
   344
            }
jaroslav@916
   345
            log("Invoking " + this.getClassName() + '.' + this.getMethodName() + " as request: " + this.getRequestId());
jaroslav@1908
   346
            Object result = invokeMethod(this.getClassName(), this.getMethodName(), this.getArgs());
jaroslav@916
   347
            setAttr("bck2brwsr.fragment", "innerHTML", "");
jaroslav@916
   348
            log("Result: " + result);
jaroslav@916
   349
            result = encodeURL("" + result);
jaroslav@916
   350
            return result;
jaroslav@916
   351
        }
jaroslav@939
   352
jaroslav@1908
   353
        private Object invokeMethod(String clazz, String method, String[] args)
jaroslav@939
   354
        throws ClassNotFoundException, InvocationTargetException,
jaroslav@939
   355
        InterruptedException, IllegalAccessException, IllegalArgumentException,
jaroslav@939
   356
        InstantiationException {
jaroslav@939
   357
            Method found = null;
jaroslav@1908
   358
            if (args == null) {
jaroslav@1908
   359
                args = new String[0];
jaroslav@1908
   360
            }
jaroslav@939
   361
            Class<?> c = Class.forName(clazz);
jaroslav@939
   362
            for (Method m : c.getMethods()) {
jaroslav@1908
   363
                if (m.getName().equals(method) && m.getParameterTypes().length == args.length) {
jaroslav@939
   364
                    found = m;
jaroslav@939
   365
                }
jaroslav@939
   366
            }
jaroslav@939
   367
            Object res;
jaroslav@939
   368
            if (found != null) {
jaroslav@939
   369
                try {
jaroslav@1860
   370
                    double now;
jaroslav@939
   371
                    if ((found.getModifiers() & Modifier.STATIC) != 0) {
jaroslav@1860
   372
                        now = getTime();
jaroslav@1908
   373
                        res = found.invoke(null, (Object[]) args);
jaroslav@939
   374
                    } else {
jaroslav@939
   375
                        if (inst == null) {
jaroslav@939
   376
                            inst = c.newInstance();
jaroslav@939
   377
                        }
jaroslav@1860
   378
                        now = getTime();
jaroslav@1908
   379
                        res = found.invoke(inst, (Object[]) args);
jaroslav@939
   380
                    }
jaroslav@1860
   381
                    double took = Math.round((float)(getTime() - now));
jaroslav@1860
   382
                    time += took;
jaroslav@939
   383
                } catch (Throwable ex) {
jaroslav@939
   384
                    if (ex instanceof InvocationTargetException) {
jaroslav@939
   385
                        ex = ((InvocationTargetException) ex).getTargetException();
jaroslav@939
   386
                    }
jaroslav@939
   387
                    if (ex instanceof InterruptedException) {
jaroslav@939
   388
                        throw (InterruptedException)ex;
jaroslav@939
   389
                    }
jaroslav@939
   390
                    res = ex.getClass().getName() + ":" + ex.getMessage();
jaroslav@939
   391
                }
jaroslav@939
   392
            } else {
jaroslav@939
   393
                res = "Can't find method " + method + " in " + clazz;
jaroslav@939
   394
            }
jaroslav@939
   395
            return res;
jaroslav@939
   396
        }
jaroslav@916
   397
        
jaroslav@342
   398
        @JavaScriptBody(args = "s", body = "return eval('(' + s + ')');")
jaroslav@342
   399
        private static native Object toJSON(String s);
jaroslav@342
   400
        
jaroslav@526
   401
        @JavaScriptBody(args = {"p", "d"}, body = 
jaroslav@526
   402
              "var v = d[p];\n"
jaroslav@526
   403
            + "if (typeof v === 'undefined') return null;\n"
jaroslav@526
   404
            + "return v.toString();"
jaroslav@526
   405
        )
jaroslav@342
   406
        private static native String value(String p, Object d);
jaroslav@1908
   407
jaroslav@1908
   408
        @JavaScriptBody(args = {"p", "d"}, body =
jaroslav@1908
   409
              "var v = d[p];\n"
jaroslav@1908
   410
            + "if (typeof v === 'undefined') return null;\n"
jaroslav@1908
   411
            + "return v;"
jaroslav@1908
   412
        )
jaroslav@1908
   413
        private static native String[] values(String p, Object d);
jaroslav@342
   414
    }
jaroslav@323
   415
}