@zzzen/pyright-internal 1.2.0-dev.20230827 → 1.2.0-dev.20230910

package/dist/analyzer/program.js

@@ -28,7 +28,7 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Program = void 0;
+exports.Program = exports.ISourceFileFactory = void 0;
 const vscode_languageserver_1 = require("vscode-languageserver");
 const vscode_languageserver_textdocument_1 = require("vscode-languageserver-textdocument");
 const cancellationUtils_1 = require("../common/cancellationUtils");
@@ -54,7 +54,38 @@ const sourceMapper_1 = require("./sourceMapper");
 const tracePrinter_1 = require("./tracePrinter");
 const typeEvaluatorWithTracker_1 = require("./typeEvaluatorWithTracker");
 const typeStubWriter_1 = require("./typeStubWriter");
+const sourceFileInfo_1 = require("./sourceFileInfo");
 const _maxImportDepth = 256;
+var ISourceFileFactory;
+(function (ISourceFileFactory) {
+    function is(obj) {
+        return obj.createSourceFile !== undefined;
+    }
+    ISourceFileFactory.is = is;
+})(ISourceFileFactory = exports.ISourceFileFactory || (exports.ISourceFileFactory = {}));
+// Track edit mode related information.
+class EditModeTracker {
+    constructor() {
+        this._isEditMode = false;
+        this._mutatedFiles = [];
+    }
+    get isEditMode() {
+        return this._isEditMode;
+    }
+    addMutatedFiles(file) {
+        this._mutatedFiles.push(file);
+    }
+    enable() {
+        this._isEditMode = true;
+        this._mutatedFiles = [];
+    }
+    disable() {
+        this._isEditMode = false;
+        const files = this._mutatedFiles;
+        this._mutatedFiles = [];
+        return files;
+    }
+}
 // Container for all of the files that are being analyzed. Files
 // can fall into one or more of the following categories:
 //  Tracked - specified by the config options
@@ -62,13 +93,13 @@ const _maxImportDepth = 256;
 //  Opened - temporarily opened in the editor
 //  Shadowed - implementation file that shadows a type stub file
 class Program {
-    constructor(initialImportResolver, initialConfigOptions, _serviceProvider, logTracker, _disableChecker, cacheManager, id) {
-        this._serviceProvider = _serviceProvider;
+    constructor(initialImportResolver, initialConfigOptions, serviceProvider, logTracker, _disableChecker, cacheManager, id) {
+        this.serviceProvider = serviceProvider;
         this._disableChecker = _disableChecker;
         this._sourceFileList = [];
         this._sourceFileMap = new Map();
         this._parsedFileCount = 0;
-        this._isEditMode = false;
+        this._editModeTracker = new EditModeTracker();
         this._lookUpImport = (filePathOrModule, options) => {
             var _a;
             let sourceFileInfo;
@@ -83,12 +114,11 @@ class Program {
                     importedSymbols: undefined,
                 });
                 if (importResult.isImportFound && !importResult.isNativeLib && importResult.resolvedPaths.length > 0) {
-                    let resolvedPath = importResult.resolvedPaths[importResult.resolvedPaths.length - 1];
+                    const resolvedPath = importResult.resolvedPaths[importResult.resolvedPaths.length - 1];
                     if (resolvedPath) {
                         // See if the source file already exists in the program.
                         sourceFileInfo = this.getSourceFileInfo(resolvedPath);
                         if (!sourceFileInfo) {
-                            resolvedPath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, resolvedPath);
                             // Start tracking the source file.
                             this.addTrackedFile(resolvedPath);
                             sourceFileInfo = this.getSourceFileInfo(resolvedPath);
@@ -138,11 +168,11 @@ class Program {
                 isInPyTypedPackage: fileInfo.isInPyTypedPackage,
             };
         };
-        this._console = _serviceProvider.tryGet(serviceProviderExtensions_1.ServiceKeys.console) || new console_1.StandardConsole();
+        this._console = serviceProvider.tryGet(serviceProviderExtensions_1.ServiceKeys.console) || new console_1.StandardConsole();
         this._logTracker = logTracker !== null && logTracker !== void 0 ? logTracker : new logTracker_1.LogTracker(this._console, 'FG');
         this._importResolver = initialImportResolver;
         this._configOptions = initialConfigOptions;
-        this._sourceFileFactory = _serviceProvider.sourceFileFactory();
+        this._sourceFileFactory = serviceProvider.sourceFileFactory();
         this._cacheManager = cacheManager !== null && cacheManager !== void 0 ? cacheManager : new cacheManager_1.CacheManager();
         this._cacheManager.registerCacheOwner(this);
         this._createNewEvaluator();
@@ -174,28 +204,26 @@ class Program {
         this._cacheManager.unregisterCacheOwner(this);
     }
     enterEditMode() {
-        // Keep track of edit mode so we can apply it to new source files.
-        this._isEditMode = true;
-        // Tell all source files we're in edit mode.
-        this._sourceFileList.forEach((sourceFile) => {
-            sourceFile.sourceFile.enterEditMode();
-        });
+        this._editModeTracker.enable();
     }
     exitEditMode() {
-        // Tell all source files we're no longer in edit mode. Gather
-        // up all of their edits.
+        // Stop applying edit mode to new source files.
+        const mutatedFiles = this._editModeTracker.disable();
+        const filesToDelete = new Set();
         const edits = [];
-        this._sourceFileList.forEach((sourceFile) => {
-            const newContents = sourceFile.sourceFile.exitEditMode();
+        // Tell all source files we're no longer in edit mode. Gather
+        // up all of their edits and find files that no longer needed.
+        mutatedFiles.forEach((fileInfo) => {
+            if (fileInfo.isCreatedInEditMode) {
+                filesToDelete.add(fileInfo);
+            }
+            const newContents = fileInfo.restore();
             if (newContents) {
-                // This means this source file was modified. We need to recompute its imports after
-                // we put it back to how it was.
-                this._updateSourceFileImports(sourceFile, this.configOptions);
                 // Create a text document so we can compute the edits.
-                const textDocument = vscode_languageserver_textdocument_1.TextDocument.create(sourceFile.sourceFile.getFilePath(), 'python', 1, sourceFile.sourceFile.getFileContent() || '');
+                const textDocument = vscode_languageserver_textdocument_1.TextDocument.create(fileInfo.sourceFile.getFilePath(), 'python', 1, fileInfo.sourceFile.getFileContent() || '');
                 // Add an edit action to the list.
                 edits.push({
-                    filePath: sourceFile.sourceFile.getFilePath(),
+                    filePath: fileInfo.sourceFile.getFilePath(),
                     range: {
                         start: { line: 0, character: 0 },
                         end: { line: textDocument.lineCount, character: 0 },
@@ -204,8 +232,19 @@ class Program {
                 });
             }
         });
-        // Stop applying edit mode to new source files.
-        this._isEditMode = false;
+        // Delete files added while in edit mode
+        if (filesToDelete.size > 0) {
+            // delete from the back to make sure index is valid.
+            for (let i = this._sourceFileList.length - 1; i >= 0; i--) {
+                const v = this._sourceFileList[i];
+                if (filesToDelete.has(v)) {
+                    // We don't need to care about file diagnostics since in edit mode
+                    // checker won't run.
+                    v.sourceFile.prepareForClose();
+                    this._removeSourceFileFromListAndMap(v.sourceFile.getFilePath(), i);
+                }
+            }
+        }
         return edits;
     }
     setConfigOptions(configOptions) {
@@ -227,12 +266,12 @@ class Program {
             // We need to determine which files to remove from the existing file list.
             const newFileMap = new Map();
             filePaths.forEach((path) => {
-                newFileMap.set((0, pathUtils_1.normalizePathCase)(this.fileSystem, path), path);
+                newFileMap.set(path, path);
             });
             // Files that are not in the tracked file list are
             // marked as no longer tracked.
             this._sourceFileList.forEach((oldFile) => {
-                const filePath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, oldFile.sourceFile.getFilePath());
+                const filePath = oldFile.sourceFile.getFilePath();
                 if (!newFileMap.has(filePath)) {
                     oldFile.isTracked = false;
                 }
@@ -279,20 +318,11 @@ class Program {
             sourceFileInfo.isTracked = true;
             return sourceFileInfo.sourceFile;
         }
-        const sourceFile = this._sourceFileFactory.createSourceFile(this.fileSystem, filePath, importName, isThirdPartyImport, isInPyTypedPackage, this._isEditMode, this._console, this._logTracker);
-        sourceFileInfo = {
-            sourceFile,
+        const sourceFile = this._sourceFileFactory.createSourceFile(this.fileSystem, filePath, importName, isThirdPartyImport, isInPyTypedPackage, this._editModeTracker, this._console, this._logTracker);
+        sourceFileInfo = new sourceFileInfo_1.SourceFileInfo(sourceFile, 
+        /* isTypeshedFile */ false, isThirdPartyImport, isInPyTypedPackage, this._editModeTracker, {
             isTracked: true,
-            isOpenByClient: false,
-            isTypeshedFile: false,
-            isThirdPartyImport,
-            isThirdPartyPyTypedPresent: isInPyTypedPackage,
-            diagnosticsVersion: undefined,
-            imports: [],
-            importedBy: [],
-            shadows: [],
-            shadowedBy: [],
-        };
+        });
         this._addToSourceFileListAndMap(sourceFileInfo);
         return sourceFile;
     }
@@ -303,22 +333,16 @@ class Program {
             const importName = this._getImportNameForFile(filePath);
             const sourceFile = this._sourceFileFactory.createSourceFile(this.fileSystem, filePath, importName, 
             /* isThirdPartyImport */ false, 
-            /* isInPyTypedPackage */ false, this._isEditMode, this._console, this._logTracker, options === null || options === void 0 ? void 0 : options.realFilePath, (_a = options === null || options === void 0 ? void 0 : options.ipythonMode) !== null && _a !== void 0 ? _a : sourceFile_1.IPythonMode.None);
+            /* isInPyTypedPackage */ false, this._editModeTracker, this._console, this._logTracker, options === null || options === void 0 ? void 0 : options.realFilePath, (_a = options === null || options === void 0 ? void 0 : options.ipythonMode) !== null && _a !== void 0 ? _a : sourceFile_1.IPythonMode.None);
             const chainedFilePath = options === null || options === void 0 ? void 0 : options.chainedFilePath;
-            sourceFileInfo = {
-                sourceFile,
+            sourceFileInfo = new sourceFileInfo_1.SourceFileInfo(sourceFile, 
+            /* isTypeshedFile */ false, 
+            /* isThirdPartyImport */ false, 
+            /* isThirdPartyPyTypedPresent */ false, this._editModeTracker, {
                 isTracked: (_b = options === null || options === void 0 ? void 0 : options.isTracked) !== null && _b !== void 0 ? _b : false,
                 chainedSourceFile: chainedFilePath ? this.getSourceFileInfo(chainedFilePath) : undefined,
                 isOpenByClient: true,
-                isTypeshedFile: false,
-                isThirdPartyImport: false,
-                isThirdPartyPyTypedPresent: false,
-                diagnosticsVersion: undefined,
-                imports: [],
-                importedBy: [],
-                shadows: [],
-                shadowedBy: [],
-            };
+            });
             this._addToSourceFileListAndMap(sourceFileInfo);
         }
         else {
@@ -447,9 +471,8 @@ class Program {
         return this._configOptions.functionSignatureDisplay;
     }
     containsSourceFileIn(folder) {
-        const normalizedFolder = (0, pathUtils_1.normalizePathCase)(this.fileSystem, folder);
         for (const normalizedSourceFilePath of this._sourceFileMap.keys()) {
-            if (normalizedSourceFilePath.startsWith(normalizedFolder)) {
+            if (normalizedSourceFilePath.startsWith(folder)) {
                 return true;
             }
         }
@@ -479,7 +502,7 @@ class Program {
         return this._sourceFileList;
     }
     getSourceFileInfo(filePath) {
-        return this._sourceFileMap.get((0, pathUtils_1.normalizePathCase)(this.fileSystem, filePath));
+        return this._sourceFileMap.get(filePath);
     }
     getBoundSourceFileInfo(filePath, content, force) {
         const sourceFileInfo = this.getSourceFileInfo(filePath);
@@ -552,7 +575,7 @@ class Program {
     // This will allow the callback to execute a type evaluator with an associated
     // cancellation token and provide a mutable program. Should already be in edit mode when called.
     runEditMode(callback, token) {
-        if (this._isEditMode) {
+        if (this._editModeTracker.isEditMode) {
             return this._runEvaluatorWithCancellationToken(token, () => callback(this));
         }
     }
@@ -742,7 +765,7 @@ class Program {
     }
     clone() {
         var _a, _b;
-        const program = new Program(this._importResolver, this._configOptions, this._serviceProvider, new logTracker_1.LogTracker(this._console, 'Cloned'));
+        const program = new Program(this._importResolver, this._configOptions, this.serviceProvider, new logTracker_1.LogTracker(this._console, 'Cloned'));
         // Cloned program will use whatever user files the program currently has.
         const userFiles = this.getUserFiles();
         program.setTrackedFiles(userFiles.map((i) => i.sourceFile.getFilePath()));
@@ -852,7 +875,7 @@ class Program {
                     if (indexToRemove < 0) {
                         return;
                     }
-                    importedFile.importedBy.splice(indexToRemove, 1);
+                    importedFile.mutate((s) => s.importedBy.splice(indexToRemove, 1));
                     // See if we need to remove the imported file because it
                     // is no longer needed. If its index is >= i, it will be
                     // removed when we get to it.
@@ -875,9 +898,9 @@ class Program {
                 });
                 // Remove any shadowed files corresponding to this file.
                 fileInfo.shadowedBy.forEach((shadowedFile) => {
-                    shadowedFile.shadows = shadowedFile.shadows.filter((f) => f !== fileInfo);
+                    shadowedFile.mutate((s) => (s.shadows = s.shadows.filter((f) => f !== fileInfo)));
                 });
-                fileInfo.shadowedBy = [];
+                fileInfo.mutate((s) => (s.shadowedBy = []));
             }
             else {
                 // If we're showing the user errors only for open files, clear
@@ -918,7 +941,7 @@ class Program {
         if (fileInfo.isTracked || fileInfo.isOpenByClient || fileInfo.shadows.length > 0) {
             return true;
         }
-        const filePath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, fileInfo.sourceFile.getFilePath());
+        const filePath = fileInfo.sourceFile.getFilePath();
         // Avoid infinite recursion.
         if (recursionSet.has(filePath)) {
             return false;
@@ -1050,7 +1073,7 @@ class Program {
             }
             else {
                 const filePath = sourceFileInfo.chainedSourceFile.sourceFile.getFilePath();
-                newImportPathMap.set((0, pathUtils_1.normalizePathCase)(this.fileSystem, filePath), {
+                newImportPathMap.set(filePath, {
                     path: filePath,
                     isTypeshedFile: false,
                     isThirdPartyImport: false,
@@ -1065,7 +1088,7 @@ class Program {
                         const filePath = importResult.resolvedPaths[importResult.resolvedPaths.length - 1];
                         if (filePath) {
                             const thirdPartyTypeInfo = getThirdPartyImportInfo(importResult);
-                            newImportPathMap.set((0, pathUtils_1.normalizePathCase)(this.fileSystem, filePath), {
+                            newImportPathMap.set(filePath, {
                                 path: filePath,
                                 isTypeshedFile: !!importResult.isStdlibTypeshedFile || !!importResult.isThirdPartyTypeshedFile,
                                 isThirdPartyImport: thirdPartyTypeInfo.isThirdPartyImport,
@@ -1078,7 +1101,7 @@ class Program {
                     if (this._isImportAllowed(sourceFileInfo, importResult, implicitImport.isStubFile)) {
                         if (!implicitImport.isNativeLib) {
                             const thirdPartyTypeInfo = getThirdPartyImportInfo(importResult);
-                            newImportPathMap.set((0, pathUtils_1.normalizePathCase)(this.fileSystem, implicitImport.path), {
+                            newImportPathMap.set(implicitImport.path, {
                                 path: implicitImport.path,
                                 isTypeshedFile: !!importResult.isStdlibTypeshedFile || !!importResult.isThirdPartyTypeshedFile,
                                 isThirdPartyImport: thirdPartyTypeInfo.isThirdPartyImport,
@@ -1118,11 +1141,12 @@ class Program {
         });
         const updatedImportMap = new Map();
         sourceFileInfo.imports.forEach((importInfo) => {
-            const oldFilePath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, importInfo.sourceFile.getFilePath());
+            const oldFilePath = importInfo.sourceFile.getFilePath();
             // A previous import was removed.
             if (!newImportPathMap.has(oldFilePath)) {
-                importInfo.importedBy = importInfo.importedBy.filter((fi) => (0, pathUtils_1.normalizePathCase)(this.fileSystem, fi.sourceFile.getFilePath()) !==
-                    (0, pathUtils_1.normalizePathCase)(this.fileSystem, sourceFileInfo.sourceFile.getFilePath()));
+                importInfo.mutate((s) => {
+                    s.importedBy = s.importedBy.filter((fi) => fi.sourceFile.getFilePath() !== sourceFileInfo.sourceFile.getFilePath());
+                });
             }
             else {
                 updatedImportMap.set(oldFilePath, importInfo);
@@ -1136,33 +1160,21 @@ class Program {
                 let importedFileInfo = this.getSourceFileInfo(importInfo.path);
                 if (!importedFileInfo) {
                     const importName = this._getImportNameForFile(importInfo.path);
-                    const sourceFile = new sourceFile_1.SourceFile(this.fileSystem, importInfo.path, importName, importInfo.isThirdPartyImport, importInfo.isPyTypedPresent, this._isEditMode, this._console, this._logTracker);
-                    importedFileInfo = {
-                        sourceFile,
-                        isTracked: false,
-                        isOpenByClient: false,
-                        isTypeshedFile: importInfo.isTypeshedFile,
-                        isThirdPartyImport: importInfo.isThirdPartyImport,
-                        isThirdPartyPyTypedPresent: importInfo.isPyTypedPresent,
-                        diagnosticsVersion: undefined,
-                        imports: [],
-                        importedBy: [],
-                        shadows: [],
-                        shadowedBy: [],
-                    };
+                    const sourceFile = new sourceFile_1.SourceFile(this.fileSystem, importInfo.path, importName, importInfo.isThirdPartyImport, importInfo.isPyTypedPresent, this._editModeTracker, this._console, this._logTracker);
+                    importedFileInfo = new sourceFileInfo_1.SourceFileInfo(sourceFile, importInfo.isTypeshedFile, importInfo.isThirdPartyImport, importInfo.isPyTypedPresent, this._editModeTracker);
                     this._addToSourceFileListAndMap(importedFileInfo);
                     filesAdded.push(importedFileInfo);
                 }
-                importedFileInfo.importedBy.push(sourceFileInfo);
+                importedFileInfo.mutate((s) => s.importedBy.push(sourceFileInfo));
                 updatedImportMap.set(normalizedImportPath, importedFileInfo);
             }
         });
         // Update the imports list. It should now map the set of imports
         // specified by the source file.
-        sourceFileInfo.imports = [];
+        sourceFileInfo.mutate((s) => (s.imports = []));
         newImportPathMap.forEach((_, path) => {
             if (this.getSourceFileInfo(path)) {
-                sourceFileInfo.imports.push(this.getSourceFileInfo(path));
+                sourceFileInfo.mutate((s) => s.imports.push(this.getSourceFileInfo(path)));
             }
         });
         // Resolve the builtins import for the file. This needs to be
@@ -1184,11 +1196,11 @@ class Program {
         return filesAdded;
     }
     _removeSourceFileFromListAndMap(filePath, indexToRemove) {
-        this._sourceFileMap.delete((0, pathUtils_1.normalizePathCase)(this.fileSystem, filePath));
+        this._sourceFileMap.delete(filePath);
         this._sourceFileList.splice(indexToRemove, 1);
     }
     _addToSourceFileListAndMap(fileInfo) {
-        const filePath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, fileInfo.sourceFile.getFilePath());
+        const filePath = fileInfo.sourceFile.getFilePath();
         // We should never add a file with the same path twice.
         (0, debug_1.assert)(!this._sourceFileMap.has(filePath));
         this._sourceFileList.push(fileInfo);
@@ -1234,10 +1246,10 @@ class Program {
             shadowFileInfo = this.addInterimFile(shadowImplPath);
         }
         if (!shadowFileInfo.shadows.includes(stubFile)) {
-            shadowFileInfo.shadows.push(stubFile);
+            shadowFileInfo.mutate((s) => s.shadows.push(stubFile));
         }
         if (!stubFile.shadowedBy.includes(shadowFileInfo)) {
-            stubFile.shadowedBy.push(shadowFileInfo);
+            stubFile.mutate((s) => s.shadowedBy.push(shadowFileInfo));
         }
         return shadowFileInfo.sourceFile;
     }
@@ -1245,20 +1257,11 @@ class Program {
         const importName = this._getImportNameForFile(filePath);
         const sourceFile = this._sourceFileFactory.createSourceFile(this.fileSystem, filePath, importName, 
         /* isThirdPartyImport */ false, 
-        /* isInPyTypedPackage */ false, this._isEditMode, this._console, this._logTracker);
-        const sourceFileInfo = {
-            sourceFile,
-            isTracked: false,
-            isOpenByClient: false,
-            isTypeshedFile: false,
-            isThirdPartyImport: false,
-            isThirdPartyPyTypedPresent: false,
-            diagnosticsVersion: undefined,
-            imports: [],
-            importedBy: [],
-            shadows: [],
-            shadowedBy: [],
-        };
+        /* isInPyTypedPackage */ false, this._editModeTracker, this._console, this._logTracker);
+        const sourceFileInfo = new sourceFileInfo_1.SourceFileInfo(sourceFile, 
+        /* isTypeshedFile */ false, 
+        /* isThirdPartyImport */ false, 
+        /* isThirdPartyPyTypedPresent */ false, this._editModeTracker);
         return sourceFileInfo;
     }
     _createNewEvaluator() {
@@ -1522,7 +1525,7 @@ class Program {
     _getImportsRecursive(file, closureMap, recursionCount) {
         // If the file is already in the closure map, we found a cyclical
         // dependency. Don't recur further.
-        const filePath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, file.sourceFile.getFilePath());
+        const filePath = file.sourceFile.getFilePath();
         if (closureMap.has(filePath)) {
             return;
         }
@@ -1556,7 +1559,7 @@ class Program {
         if (sourceFileInfo.sourceFile.isNoCircularDependencyConfirmed()) {
             return false;
         }
-        const filePath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, sourceFileInfo.sourceFile.getFilePath());
+        const filePath = sourceFileInfo.sourceFile.getFilePath();
         filesVisited.set(filePath, sourceFileInfo);
         let detectedCycle = false;
         if (dependencyMap.has(filePath)) {
@@ -1609,7 +1612,7 @@ class Program {
         firstSourceFile.sourceFile.addCircularDependency(this.configOptions, circDep);
     }
     _markFileDirtyRecursive(sourceFileInfo, markSet, forceRebinding = false) {
-        const filePath = (0, pathUtils_1.normalizePathCase)(this.fileSystem, sourceFileInfo.sourceFile.getFilePath());
+        const filePath = sourceFileInfo.sourceFile.getFilePath();
         // Don't mark it again if it's already been visited.
         if (markSet.has(filePath)) {
             return;
@@ -1623,6 +1626,7 @@ class Program {
             this._markFileDirtyRecursive(dep, markSet, forceRebinding);
         });
         // Change in the current file could impact checker result of chainedSourceFile such as unused symbols.
+        let reevaluationRequired = false;
         let chainedSourceFile = sourceFileInfo.chainedSourceFile;
         while (chainedSourceFile) {
             if (chainedSourceFile.sourceFile.isCheckingRequired()) {
@@ -1630,9 +1634,17 @@ class Program {
                 // as well. Stop here.
                 return;
             }
+            reevaluationRequired = true;
             chainedSourceFile.sourceFile.markReanalysisRequired(/* forceRebinding */ false);
             chainedSourceFile = chainedSourceFile.chainedSourceFile;
         }
+        // If the checker is going to run again, we have to recreate the type evaulator so
+        // that it actually reevaluates all the nodes (instead of using the cache).
+        // This is necessary because the original file change may not recreate the TypeEvaluator.
+        // For example, it might be a file delete.
+        if (reevaluationRequired) {
+            this._createNewEvaluator();
+        }
     }
 }
 exports.Program = Program;