diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-01-04 15:44:00 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-04-18 20:59:08 +0200 |
| commit | 264064df36e055c19af2c82145bbbe616b32fb02 (patch) | |
| tree | ae9031f6c90138a37624c8ccbd75be38a97a6795 /src/librustdoc/html/static/js/externs.js | |
| parent | 99c5394ecc92190db16fc8dce1260658cbeedeb1 (diff) | |
| download | rust-264064df36e055c19af2c82145bbbe616b32fb02.tar.gz rust-264064df36e055c19af2c82145bbbe616b32fb02.zip | |
* Greatly improve the rustdoc search parser source code
* Move all functions outside parseQuery
Diffstat (limited to 'src/librustdoc/html/static/js/externs.js')
| -rw-r--r-- | src/librustdoc/html/static/js/externs.js | 44 |
1 files changed, 38 insertions, 6 deletions
diff --git a/src/librustdoc/html/static/js/externs.js b/src/librustdoc/html/static/js/externs.js index 15665b1f31a..1fdd3068a03 100644 --- a/src/librustdoc/html/static/js/externs.js +++ b/src/librustdoc/html/static/js/externs.js @@ -8,7 +8,6 @@ function initSearch(searchIndex){} /** * @typedef {{ - * isExact: boolean, * name: string, * fullPath: Array<string>, * pathWithoutLast: Array<string>, @@ -20,18 +19,23 @@ var QueryElement; /** * @typedef {{ + * pos: number, + * totalElems: number, + * typeFilter: (null|string), + * userQuery: string, + * }} + */ +var ParserState; + +/** + * @typedef {{ * original: string, * userQuery: string, - * length: number, - * pos: number, * typeFilter: number, * elems: Array<QueryElement>, - * elemName: (string|null), * args: Array<QueryElement>, * returned: Array<QueryElement>, * foundElems: number, - * id: string, - * nameSplit: (string|null), * }} */ var ParsedQuery; @@ -50,3 +54,31 @@ var ParsedQuery; * }} */ var Row; + +/** + * @typedef {{ + * in_args: Array<Object>, + * returned: Array<Object>, + * others: Array<Object>, + * query: ParsedQuery, + * }} + */ +var ResultsTable; + +/** + * @typedef {{ + * crate: "std" + * desc: string, + * displayPath: string, + * fullPath: string, + * href: string, + * id: number, + * lev: number, + * name: string, + * normalizedName: string, + * parent: (Object|undefined), + * path: string, + * ty: number, + * }} + */ +var Results; |
