test/langtools/jdk/javadoc/doclet/testSearchScript/javadoc-search.js
author hannesw
Wed, 27 Nov 2019 13:08:16 +0100
changeset 59294 48b88b9c11eb
parent 54619 b43cc3b9ef40
permissions -rw-r--r--
8223378: CSS solution for navbar problem with <a> elements is not ideal Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     1
/*
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     2
 * Copyright (c) 2019, Oracle and/or its affiliates. All rights reserved.
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     4
 *
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     7
 * published by the Free Software Foundation.
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     8
 *
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    13
 * accompanied this code).
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    14
 *
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    18
 *
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    21
 * questions.
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    22
 */
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    23
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    24
var moduleSearchIndex;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    25
var packageSearchIndex;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    26
var typeSearchIndex;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    27
var memberSearchIndex;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    28
var tagSearchIndex;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    29
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    30
var clargs = arguments;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    31
var search;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    32
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    33
function loadIndexFiles(docsPath) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    34
    tryLoad(docsPath, "module-search-index.js");
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    35
    tryLoad(docsPath, "package-search-index.js");
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    36
    tryLoad(docsPath, "type-search-index.js");
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    37
    tryLoad(docsPath, "member-search-index.js");
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    38
    tryLoad(docsPath, "tag-search-index.js");
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    39
    load(docsPath + "/search.js");
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    40
}
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    41
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    42
function tryLoad(docsPath, file) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    43
    try {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    44
        load(docsPath + "/" + file);
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    45
    } catch (e) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    46
        print(e);
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    47
    }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    48
}
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    49
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    50
var $ = function(f) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    51
    if (typeof f === "function") {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    52
        f();
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    53
    } else {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    54
        return {
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    55
            val: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    56
                return this;
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    57
            },
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    58
            prop: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    59
                return this;
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    60
            },
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    61
            addClass: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    62
                return this;
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    63
            },
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    64
            removeClass: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    65
                return this;
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    66
            },
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    67
            on: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    68
                return this;
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    69
            },
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    70
            focus: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    71
                return this;
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    72
            },
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    73
            blur: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    74
                return this;
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    75
            },
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    76
            click: function() {
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    77
                return this;
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    78
            },
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    79
            catcomplete: function(o) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    80
                o.close = function() {};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    81
                search = function(term) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    82
                    var resultList = null;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    83
                    o.source({
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    84
                            term: term
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    85
                        },
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    86
                        function(result) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    87
                            resultList = renderMenu(result);
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    88
                        }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    89
                    );
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    90
                    return resultList;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    91
                };
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    92
                for (var i = 0; i < clargs.length; i++) {
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    93
                    search(clargs[i]);
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    94
                }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    95
            },
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    96
            "0": {
59294
48b88b9c11eb 8223378: CSS solution for navbar problem with <a> elements is not ideal
hannesw
parents: 54619
diff changeset
    97
                setSelectionRange: function() {
54619
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    98
                    return this;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
    99
                }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   100
            }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   101
        }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   102
    }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   103
};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   104
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   105
$.each = function(arr, f) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   106
    for (var i = 0; i < arr.length; i++) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   107
        f(i, arr[i]);
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   108
    }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   109
};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   110
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   111
$.widget = function(a, b, c) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   112
};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   113
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   114
$.ui = {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   115
    autocomplete: {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   116
        escapeRegex: function(re) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   117
            return re.replace(/[-[\]{}()*+?.,\\^$|#\s]/g, '\\$&');
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   118
        }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   119
    }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   120
};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   121
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   122
var console = {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   123
    log: function() {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   124
        print.apply(this, arguments);
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   125
    }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   126
};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   127
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   128
var renderMenu = function(items) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   129
    var result = new java.util.ArrayList();
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   130
    var currentCategory = "";
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   131
    $.each(items, function(index, item) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   132
        var li;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   133
        if (item.l !== noResult.l && item.category !== currentCategory) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   134
            // print(item.category);
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   135
            currentCategory = item.category;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   136
        }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   137
        result.add(renderItem(item));
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   138
    });
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   139
    return result;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   140
};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   141
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   142
var renderItem = function(item) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   143
    var label;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   144
    if (item.category === catModules) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   145
        label = item.l;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   146
    } else if (item.category === catPackages) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   147
        label = (item.m)
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   148
                ? item.m + "/" + item.l
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   149
                : item.l;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   150
    } else if (item.category === catTypes) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   151
        label = (item.p)
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   152
                ? item.p + "." + item.l
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   153
                : item.l;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   154
    } else if (item.category === catMembers) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   155
        label = item.p + "." + item.c + "." + item.l;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   156
    } else if (item.category === catSearchTags) {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   157
        label = item.l;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   158
    } else {
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   159
        label = item.l;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   160
    }
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   161
    return label;
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   162
};
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   163
b43cc3b9ef40 8220497: Improve Javadoc search feature and add test coverage
hannesw
parents:
diff changeset
   164