brighterscript 1.0.0-alpha.23 → 1.0.0-alpha.25

package/dist/Program.d.ts

@@ -1,41 +1,45 @@
-import type { CodeAction, CompletionItem, Position, Range, SignatureInformation, SymbolInformation } from 'vscode-languageserver';
-import { Location } from 'vscode-languageserver';
-import type { BsConfig } from './BsConfig';
+import type { CodeAction, Position, Range, SignatureInformation, Location } from 'vscode-languageserver';
+import type { BsConfig, FinalizedBsConfig } from './BsConfig';
 import { Scope } from './Scope';
-import { BrsFile } from './files/BrsFile';
-import { XmlFile } from './files/XmlFile';
-import type { BsDiagnostic, FileReference, FileObj, BscFile, SemanticToken, FileLink } from './interfaces';
+import type { BrsFile, ProvidedSymbolInfo } from './files/BrsFile';
+import type { XmlFile } from './files/XmlFile';
+import type { BsDiagnostic, FileObj, SemanticToken, FileLink, Hover } from './interfaces';
+import type { BscFile } from './files/BscFile';
 import { XmlScope } from './XmlScope';
 import { Logger } from './Logger';
 import PluginInterface from './PluginInterface';
-import type { FunctionStatement, Statement } from './parser/Statement';
-import type { SourceMapGenerator } from 'source-map';
-export interface SourceObj {
-    srcPath: string;
-    source: string;
-    definitions?: string;
-}
-export interface TranspileObj {
-    file: BscFile;
-    outputPath: string;
-}
+import type { FunctionStatement } from './parser/Statement';
+import { Editor } from './astUtils/Editor';
+import type { Statement } from './parser/AstNode';
+import type { FileData } from './files/LazyFileData';
+import type { UnresolvedSymbol } from './AstValidationSegmenter';
 export interface SignatureInfoObj {
     index: number;
     key: string;
     signature: SignatureInformation;
 }
 export declare class Program {
-    /**
-     * The root directory for this program
-     */
-    options: BsConfig;
     constructor(
     /**
      * The root directory for this program
      */
     options: BsConfig, logger?: Logger, plugins?: PluginInterface);
+    options: FinalizedBsConfig;
     logger: Logger;
+    /**
+     * An editor that plugins can use to modify program-level things during the build flow. Don't use this to edit files (they have their own `.editor`)
+     */
+    editor: Editor;
+    /**
+     * A factory that creates `File` instances
+     */
+    private fileFactory;
     private createGlobalScope;
+    private recursivelyAddNodeToSymbolTable;
+    /**
+     * Do all setup required for the global symbol table.
+     */
+    private populateGlobalSymbolTable;
     /**
      * A graph of all files and their dependencies.
      * For example:
@@ -44,6 +48,7 @@ export declare class Program {
      */
     private dependencyGraph;
     private diagnosticFilterer;
+    private diagnosticAdjuster;
     /**
      * A scope that contains all built-in global functions.
      * All scopes should directly or indirectly inherit from this scope
@@ -58,23 +63,31 @@ export declare class Program {
      * Should only be set from `this.validate()`
      */
     private diagnostics;
+    private fileSymbolInformation;
+    addFileSymbolInfo(file: BrsFile): void;
+    getFileSymbolInfo(file: BrsFile): {
+        provides: ProvidedSymbolInfo;
+        requires: UnresolvedSymbol[];
+    };
     /**
      * The path to bslib.brs (the BrightScript runtime for certain BrighterScript features)
      */
-    get bslibPkgPath(): "pkg:/source/roku_modules/bslib/bslib.brs" | "pkg:/source/roku_modules/rokucommunity_bslib/bslib.brs" | "pkg:/source/bslib.brs";
+    get bslibPkgPath(): string;
     get bslibPrefix(): "rokucommunity_bslib" | "bslib";
     /**
-     * A map of every file loaded ino this program, indexed by its lower-case pkgPath
+     * A map of every file loaded into this program, indexed by its original file location
      */
-    private pkgMap;
+    files: Record<string, BscFile>;
     /**
-     * A map of every file loaded into this program, indexed by its lower-case srcPath
+     * A map of every file loaded into this program, indexed by its destPath
      */
-    private files;
+    private destMap;
     /**
-     * Get a copy of the list of files currently loaded in the program
+     * Plugins can contribute multiple virtual files for a single physical file.
+     * This collection links the virtual files back to the physical file that produced them.
+     * The key is the standardized and lower-cased srcPath
      */
-    getAllFiles(): BscFile[];
+    private fileClusters;
     private scopes;
     protected addScope(scope: Scope): void;
     /**
@@ -91,6 +104,10 @@ export declare class Program {
         file: XmlFile;
         scope: XmlScope;
     };
+    /**
+     * Keeps a set of all the components that need to have their types updated during the current validation cycle
+     */
+    private componentSymbolsToUpdate;
     /**
      * Register (or replace) the reference to a component in the component map
      */
@@ -99,6 +116,18 @@ export declare class Program {
      * Remove the specified component from the components map
      */
     private unregisterComponent;
+    /**
+     * Adds a component described in an XML to the set of components that needs to be updated this validation cycle.
+     * @param xmlFile XML file with <component> tag
+     */
+    private addDeferredComponentTypeSymbolCreation;
+    private getComponentKey;
+    /**
+     * Updates the global symbol table with the first component in this.components to have the same name as the component in the file
+     * @param componentKey key getting a component from `this.components`
+     * @param componentName the unprefixed name of the component that will be added (e.g. 'MyLabel' NOT 'roSgNodeMyLabel')
+     */
+    private updateComponentSymbolInGlobalScope;
     /**
      * re-attach the dependency graph with a new key for any component who changed
      * their position in their own named array (only matters when there are multiple
@@ -118,15 +147,15 @@ export declare class Program {
     addDiagnostics(diagnostics: BsDiagnostic[]): void;
     /**
      * Determine if the specified file is loaded in this program right now.
-     * @param filePath
+     * @param filePath the absolute or relative path to the file
      * @param normalizePath should the provided path be normalized before use
      */
     hasFile(filePath: string, normalizePath?: boolean): boolean;
     /**
      * roku filesystem is case INsensitive, so find the scope by key case insensitive
-     * @param scopeName
+     * @param scopeName xml scope names are their `destPath`. Source scope is stored with the key `"source"`
      */
-    getScopeByName(scopeName: string): Scope;
+    getScopeByName(scopeName: string): Scope | undefined;
     /**
      * Return all scopes
      */
@@ -146,16 +175,34 @@ export declare class Program {
     /**
      * Load a file into the program. If that file already exists, it is replaced.
      * If file contents are provided, those are used, Otherwise, the file is loaded from the file system
-     * @param srcDestOrPkgPath the absolute path, or the pkg path (i.e. `pkg:/path/to/file.brs`) or the destPath (i.e. `path/to/file.brs` relative to `pkg:/`)
-     * @param fileContents the file contents
+     * @param srcDestOrPkgPath the absolute path, the pkg path (i.e. `pkg:/path/to/file.brs`), or the destPath (i.e. `path/to/file.brs` relative to `pkg:/`)
+     * @param fileData the file contents. omit or pass `undefined` to prevent loading the data at this time
      */
-    setFile<T extends BscFile>(srcDestOrPkgPath: string, fileContents: string): T;
+    setFile<T extends BscFile>(srcDestOrPkgPath: string, fileData?: FileData): T;
     /**
      * Load a file into the program. If that file already exists, it is replaced.
      * @param fileEntry an object that specifies src and dest for the file.
-     * @param fileContents the file contents. If not provided, the file will be loaded from disk
+     * @param fileData the file contents. omit or pass `undefined` to prevent loading the data at this time
+     */
+    setFile<T extends BscFile>(fileEntry: FileObj, fileData: FileData): T;
+    /**
+     * Given a srcPath, a destPath, or both, resolve whichever is missing, relative to rootDir.
+     * @param fileParam an object representing file paths
+     * @param rootDir must be a pre-normalized path
      */
-    setFile<T extends BscFile>(fileEntry: FileObj, fileContents: string): T;
+    private getPaths;
+    /**
+     * Remove any leading `pkg:/` found in the path
+     */
+    private removePkgPrefix;
+    /**
+     * Is this file a .brs file found somewhere within the `pkg:/source/` folder?
+     */
+    private isSourceBrsFile;
+    /**
+     * Is this file a .brs file found somewhere within the `pkg:/source/` folder?
+     */
+    private isComponentsXmlFile;
     /**
      * Ensure source scope is created.
      * Note: automatically called internally, and no-op if it exists already.
@@ -163,34 +210,39 @@ export declare class Program {
     createSourceScope(): void;
     /**
      * Remove a set of files from the program
-     * @param filePaths can be an array of srcPath or destPath strings
+     * @param srcPaths can be an array of srcPath or destPath strings
      * @param normalizePath should this function repair and standardize the filePaths? Passing false should have a performance boost if you can guarantee your paths are already sanitized
      */
     removeFiles(srcPaths: string[], normalizePath?: boolean): void;
     /**
      * Remove a file from the program
-     * @param filePath can be a srcPath, a pkgPath, or a destPath (same as pkgPath but without `pkg:/`)
+     * @param filePath can be a srcPath, a destPath, or a destPath with leading `pkg:/`
      * @param normalizePath should this function repair and standardize the path? Passing false should have a performance boost if you can guarantee your path is already sanitized
      */
-    removeFile(filePath: string, normalizePath?: boolean): void;
-    /**
-     * Remove all files from the program that are in the specified folder path (recursive)
-     * @param folderSrcPath The absolute path to the folder on disk
-     * @param normalizePath should the provided path be normalized before use?
-     */
-    removeFilesInFolder(folderSrcPath: string, normalizePath?: boolean): void;
+    removeFile(filePath: string, normalizePath?: boolean, keepSymbolInformation?: boolean): void;
+    lastValidationInfo: Map<string, {
+        symbolsNotDefinedInEveryScope: {
+            symbol: UnresolvedSymbol;
+            scope: Scope;
+        }[];
+        duplicateSymbolsInSameScope: {
+            symbol: UnresolvedSymbol;
+            scope: Scope;
+        }[];
+        symbolsNotConsistentAcrossScopes: {
+            symbol: UnresolvedSymbol;
+            scopes: Scope[];
+        }[];
+    }>;
     /**
      * Traverse the entire project, and validate all scopes
      */
     validate(): void;
+    private detectIncompatibleSymbolsAcrossScopes;
     /**
      * Flag all duplicate component names
      */
     private detectDuplicateComponentNames;
-    /**
-     * Determine at least one scope has the file
-     */
-    private fileIsIncludedInAnyScope;
     /**
      * Get the files for a list of filePaths
      * @param filePaths can be an array of srcPath or a destPath strings
@@ -199,63 +251,50 @@ export declare class Program {
     getFiles<T extends BscFile>(filePaths: string[], normalizePath?: boolean): T[];
     /**
      * Get the file at the given path
-     * @param filePath can be a srcPath, a pkgPath, or a destPath (same as pkgPath but without `pkg:/`)
+     * @param filePath can be a srcPath or a destPath
      * @param normalizePath should this function repair and standardize the path? Passing false should have a performance boost if you can guarantee your path is already sanitized
      */
     getFile<T extends BscFile>(filePath: string, normalizePath?: boolean): T;
     /**
      * Get a list of all scopes the file is loaded into
-     * @param file
+     * @param file the file
      */
-    getScopesForFile(file: XmlFile | BrsFile): Scope[];
+    getScopesForFile(file: BscFile | string): Scope[];
     /**
      * Get the first found scope for a file.
      */
-    getFirstScopeForFile(file: XmlFile | BrsFile): Scope;
+    getFirstScopeForFile(file: BscFile): Scope | undefined;
     getStatementsByName(name: string, originFile: BrsFile, namespaceName?: string): FileLink<Statement>[];
     getStatementsForXmlFile(scope: XmlScope, filterName?: string): FileLink<FunctionStatement>[];
     /**
      * Find all available completion items at the given position
-     * @param srcPath The absolute path to the source file on disk
-     * @param lineIndex
-     * @param columnIndex
+     * @param filePath can be a srcPath or a destPath
+     * @param position the position (line & column) where completions should be found
      */
-    getCompletions(srcPath: string, position: Position): CompletionItem[];
+    getCompletions(filePath: string, position: Position): import("vscode-languageserver").CompletionItem[];
     /**
      * Goes through each file and builds a list of workspace symbols for the program. Used by LanguageServer's onWorkspaceSymbol functionality
      */
-    getWorkspaceSymbols(): SymbolInformation[];
+    getWorkspaceSymbols(): import("vscode-languageserver").SymbolInformation[];
     /**
      * Given a position in a file, if the position is sitting on some type of identifier,
      * go to the definition of that identifier (where this thing was first defined)
-     * @param srcPath The absolute path to the source file on disk
      */
     getDefinition(srcPath: string, position: Position): Location[];
     /**
-     * @param srcPath The absolute path to the source file on disk
+     * Get hover information for a file and position
      */
-    getHover(srcPath: string, position: Position): Promise<import("vscode-languageserver-types").Hover>;
+    getHover(srcPath: string, position: Position): Hover[];
     /**
      * Compute code actions for the given file and range
-     * @param srcPath The absolute path to the source file on disk
      */
     getCodeActions(srcPath: string, range: Range): CodeAction[];
     /**
      * Get semantic tokens for the specified file
      */
-    getSemanticTokens(srcPath: string): SemanticToken[];
+    getSemanticTokens(srcPath: string): SemanticToken[] | undefined;
     getSignatureHelp(filepath: string, position: Position): SignatureInfoObj[];
-    private getPartialStatementInfo;
-    private getPartialItemCounts;
-    /**
-     * @param srcPath The absolute path to the source file on disk
-     */
     getReferences(srcPath: string, position: Position): Location[] | Promise<Location[]>;
-    /**
-     * Get a list of all script imports, relative to the specified pkgPath
-     * @param sourcePkgPath - the pkgPath of the source that wants to resolve script imports.
-     */
-    getScriptImportCompletions(sourcePkgPath: string, scriptImport: FileReference): CompletionItem[];
     /**
      * Transpile a single file and get the result as a string.
      * This does not write anything to the file system.
@@ -265,14 +304,31 @@ export declare class Program {
      * @param filePath can be a srcPath or a destPath
      */
     getTranspiledFileContents(filePath: string): Promise<FileTranspileResult>;
+    private getTranspiledFileContentsPipeline;
+    /**
+     * Get the absolute output path for a file
+     */
+    private getOutputPath;
+    private getStagingDir;
+    /**
+     * Prepare the program for building
+     * @param files the list of files that should be prepared
+     */
+    private prepare;
+    /**
+     * Generate the contents of every file
+     */
+    private serialize;
+    /**
+     * Write the entire project to disk
+     */
+    private write;
+    private buildPipeline;
     /**
-     * Internal function used to transpile files.
-     * This does not write anything to the file system
+     * Build the project. This transpiles/transforms/copies all files and moves them to the staging directory
+     * @param options the list of options used to build the program
      */
-    private _getTranspiledFileContents;
-    private beforeProgramTranspile;
-    transpile(fileEntries: FileObj[], stagingFolderPath: string): Promise<void>;
-    private afterProgramTranspile;
+    build(options?: ProgramBuildOptions): Promise<void>;
     /**
      * Find a list of files in the program that have a function with the given name (case INsensitive)
      */
@@ -281,17 +337,42 @@ export declare class Program {
      * Find a list of files in the program that have a class with the given name (case INsensitive)
      */
     findFilesForClass(className: string): BscFile[];
+    findFilesForNamespace(name: string): BscFile[];
+    findFilesForEnum(name: string): BscFile[];
+    private _manifest;
+    /**
+     * Modify a parsed manifest map by reading `bs_const` and injecting values from `options.manifest.bs_const`
+     * @param parsedManifest The manifest map to read from and modify
+     */
+    private buildBsConstsIntoParsedManifest;
+    /**
+     * Try to find and load the manifest into memory
+     * @param manifestFileObj A pointer to a potential manifest file object found during loading
+     * @param replaceIfAlreadyLoaded should we overwrite the internal `_manifest` if it already exists
+     */
+    loadManifest(manifestFileObj?: FileObj, replaceIfAlreadyLoaded?: boolean): void;
     /**
      * Get a map of the manifest information
      */
     getManifest(): Map<string, string>;
-    private _manifest;
     dispose(): void;
 }
 export interface FileTranspileResult {
     srcPath: string;
+    destPath: string;
     pkgPath: string;
     code: string;
-    map: SourceMapGenerator;
+    map: string;
     typedef: string;
 }
+export interface ProgramBuildOptions {
+    /**
+     * The directory where the final built files should be placed. This directory will be cleared before running
+     */
+    stagingDir?: string;
+    /**
+     * An array of files to build. If omitted, the entire list of files from the program will be used instead.
+     * Typically you will want to leave this blank
+     */
+    files?: BscFile[];
+}