Home
last modified time | relevance | path

Searched refs:redirectInfo (Results 1 – 9 of 9) sorted by relevance

/third_party/typescript/src/services/
DdocumentHighlights.ts42 …const redirect = find(sourceFilesToSearch, f => !!f.redirectInfo && f.redirectInfo.redirectTarget …
/third_party/typescript/src/compiler/
Dprogram.ts1756 …Debug.assert(!newSourceFile.redirectInfo, "Host should not return a redirect source file from `get…
1759 if (oldSourceFile.redirectInfo) {
1762 if (newSourceFile !== oldSourceFile.redirectInfo.unredirected) {
2876 redirect.redirectInfo = { redirectTarget, unredirected };
2882 get(this: SourceFile) { return this.redirectInfo!.redirectTarget.id; },
2883 … set(this: SourceFile, value: SourceFile["id"]) { this.redirectInfo!.redirectTarget.id = value; },
2886 get(this: SourceFile) { return this.redirectInfo!.redirectTarget.symbol; },
2887 …set(this: SourceFile, value: SourceFile["symbol"]) { this.redirectInfo!.redirectTarget.symbol = va…
3784 const redirectInfo = file && explainIfFileIsRedirectAndImpliedFormat(file); constant
3785 …= chainDiagnosticMessages(redirectInfo ? fileIncludeReasonDetails ? [fileIncludeReasonDetails, ...
Dwatch.ts248 if (file.redirectInfo) {
252 toFileName(file.redirectInfo.redirectTarget, fileNameConvertor)
Dtypes.ts4025 /* @internal */ redirectInfo?: RedirectInfo;
Dchecker.ts44799 if (file.redirectInfo) {
/third_party/typescript/src/testRunner/unittests/
DreuseProgramStructure.ts111 if (oldFile && oldFile.redirectInfo) {
112 oldFile = oldFile.redirectInfo.unredirected;
/third_party/typescript/src/compiler/factory/
DnodeFactory.ts5458 …const node = (source.redirectInfo ? Object.create(source.redirectInfo.redirectTarget) : baseFactor…
/third_party/typescript/lib/
DtypingsInstaller.js27041 …var node = (source.redirectInfo ? Object.create(source.redirectInfo.redirectTarget) : baseFactory.…
91525 if (file.redirectInfo) {
122167 …ts.Debug.assert(!newSourceFile.redirectInfo, "Host should not return a redirect source file from `…
122169 if (oldSourceFile.redirectInfo) {
122172 if (newSourceFile !== oldSourceFile.redirectInfo.unredirected) {
123151 redirect.redirectInfo = { redirectTarget: redirectTarget, unredirected: unredirected };
123157 get: function () { return this.redirectInfo.redirectTarget.id; },
123158 set: function (value) { this.redirectInfo.redirectTarget.id = value; },
123161 get: function () { return this.redirectInfo.redirectTarget.symbol; },
123162 set: function (value) { this.redirectInfo.redirectTarget.symbol = value; },
[all …]
Dtsc.js21841 …var node = (source.redirectInfo ? Object.create(source.redirectInfo.redirectTarget) : baseFactory.…
77201 if (file.redirectInfo) {
101345 …ts.Debug.assert(!newSourceFile.redirectInfo, "Host should not return a redirect source file from `…
101347 if (oldSourceFile.redirectInfo) {
101348 if (newSourceFile !== oldSourceFile.redirectInfo.unredirected) {
102207 redirect.redirectInfo = { redirectTarget: redirectTarget, unredirected: unredirected };
102213 get: function () { return this.redirectInfo.redirectTarget.id; },
102214 set: function (value) { this.redirectInfo.redirectTarget.id = value; },
102217 get: function () { return this.redirectInfo.redirectTarget.symbol; },
102218 set: function (value) { this.redirectInfo.redirectTarget.symbol = value; },
[all …]