(queryId, query, spans, extraInfo)
| 414 | |
| 415 | let prevQuery; |
| 416 | function doQuery(queryId, query, spans, extraInfo) { |
| 417 | eve = makeEveAnalyzer(); |
| 418 | let editorDb = new EditorDatabase(spans, extraInfo); |
| 419 | eve.unregisterDatabase("editor"); |
| 420 | eve.registerDatabase("editor", editorDb); |
| 421 | let changes = eve.createChanges(); |
| 422 | if(prevQuery) { |
| 423 | changes.unstoreObject(prevQuery.queryId, prevQuery.query, "analyzer", "session"); |
| 424 | } |
| 425 | changes.storeObject(queryId, query, "analyzer", "session"); |
| 426 | eve.executeActions([], changes); |
| 427 | prevQuery = {queryId, query}; |
| 428 | return eve; |
| 429 | } |
| 430 | |
| 431 | export function tokenInfo(evaluation: Evaluation, tokenId: string, spans: any[], extraInfo: any) { |
| 432 | let queryId = `query|${tokenId}`; |
no test coverage detected