2021-12-16 21:17:22 -08:00
|
|
|
// This file contains type definitions that are processed by the Closure Compiler but are
|
|
|
|
// not put into the JavaScript we include as part of the documentation. It is used for
|
|
|
|
// type checking. See README.md in this directory for more info.
|
|
|
|
|
|
|
|
/* eslint-disable */
|
|
|
|
var searchState;
|
|
|
|
function initSearch(searchIndex){}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @typedef {{
|
2021-12-20 15:42:08 +01:00
|
|
|
* name: string,
|
|
|
|
* fullPath: Array<string>,
|
|
|
|
* pathWithoutLast: Array<string>,
|
|
|
|
* pathLast: string,
|
|
|
|
* generics: Array<QueryElement>,
|
|
|
|
* }}
|
|
|
|
*/
|
|
|
|
var QueryElement;
|
|
|
|
|
2022-01-04 15:44:00 +01:00
|
|
|
/**
|
|
|
|
* @typedef {{
|
|
|
|
* pos: number,
|
|
|
|
* totalElems: number,
|
|
|
|
* typeFilter: (null|string),
|
|
|
|
* userQuery: string,
|
|
|
|
* }}
|
|
|
|
*/
|
|
|
|
var ParserState;
|
|
|
|
|
2021-12-20 15:42:08 +01:00
|
|
|
/**
|
|
|
|
* @typedef {{
|
|
|
|
* original: string,
|
2022-01-03 16:43:30 +01:00
|
|
|
* userQuery: string,
|
2021-12-20 15:42:08 +01:00
|
|
|
* typeFilter: number,
|
|
|
|
* elems: Array<QueryElement>,
|
|
|
|
* args: Array<QueryElement>,
|
|
|
|
* returned: Array<QueryElement>,
|
|
|
|
* foundElems: number,
|
2021-12-16 21:17:22 -08:00
|
|
|
* }}
|
|
|
|
*/
|
|
|
|
var ParsedQuery;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @typedef {{
|
|
|
|
* crate: string,
|
|
|
|
* desc: string,
|
|
|
|
* id: number,
|
|
|
|
* name: string,
|
|
|
|
* normalizedName: string,
|
|
|
|
* parent: (Object|null|undefined),
|
|
|
|
* path: string,
|
|
|
|
* ty: (Number|null|number),
|
|
|
|
* type: (Array<?>|null)
|
|
|
|
* }}
|
|
|
|
*/
|
|
|
|
var Row;
|
2022-01-04 15:44:00 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @typedef {{
|
|
|
|
* in_args: Array<Object>,
|
|
|
|
* returned: Array<Object>,
|
|
|
|
* others: Array<Object>,
|
|
|
|
* query: ParsedQuery,
|
|
|
|
* }}
|
|
|
|
*/
|
|
|
|
var ResultsTable;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @typedef {{
|
|
|
|
* 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;
|