Home
last modified time | relevance | path

Searched refs:readFileCache (Results 1 – 7 of 7) sorted by relevance

/third_party/typescript/src/compiler/
Dprogram.ts215 const readFileCache = new Map<string, string | false>(); constant
222 const value = readFileCache.get(key);
228 readFileCache.set(key, newValue !== undefined ? newValue : false);
233 const value = readFileCache.get(key);
269 const value = readFileCache.get(key);
271 readFileCache.delete(key);
/third_party/typescript/lib/
Dtsc.js87213 var readFileCache = new ts.Map();
87219 var value = readFileCache.get(key);
87226 readFileCache.set(key, newValue !== undefined ? newValue : false);
87231 var value = readFileCache.get(key);
87263 var value = readFileCache.get(key);
87265 readFileCache.delete(key);
DtypingsInstaller.js106230 var readFileCache = new ts.Map();
106236 var value = readFileCache.get(key);
106243 readFileCache.set(key, newValue !== undefined ? newValue : false);
106248 var value = readFileCache.get(key);
106282 var value = readFileCache.get(key);
106284 readFileCache.delete(key);
Dtypescript.js106435 var readFileCache = new ts.Map();
106441 var value = readFileCache.get(key);
106448 readFileCache.set(key, newValue !== undefined ? newValue : false);
106453 var value = readFileCache.get(key);
106487 var value = readFileCache.get(key);
106489 readFileCache.delete(key);
DtypescriptServices.js106435 var readFileCache = new ts.Map();
106441 var value = readFileCache.get(key);
106448 readFileCache.set(key, newValue !== undefined ? newValue : false);
106453 var value = readFileCache.get(key);
106487 var value = readFileCache.get(key);
106489 readFileCache.delete(key);
Dtsserverlibrary.js106435 var readFileCache = new ts.Map();
106441 var value = readFileCache.get(key);
106448 readFileCache.set(key, newValue !== undefined ? newValue : false);
106453 var value = readFileCache.get(key);
106487 var value = readFileCache.get(key);
106489 readFileCache.delete(key);
Dtsserver.js106241 var readFileCache = new ts.Map();
106247 var value = readFileCache.get(key);
106254 readFileCache.set(key, newValue !== undefined ? newValue : false);
106259 var value = readFileCache.get(key);
106293 var value = readFileCache.get(key);
106295 readFileCache.delete(key);