brighterscript 1.0.0-alpha.24 → 1.0.0-alpha.26

package/dist/parser/Expression.d.ts

@@ -1,108 +1,82 @@
 import type { Token, Identifier } from '../lexer/Token';
-import type { Block, CommentStatement, FunctionStatement, LabelStatement, Statement } from './Statement';
+import type { Block, CommentStatement, FunctionStatement } from './Statement';
 import type { Range } from 'vscode-languageserver';
 import type { BrsTranspileState } from './BrsTranspileState';
 import { ParseMode } from './Parser';
 import type { WalkOptions, WalkVisitor } from '../astUtils/visitors';
-import { InternalWalkMode } from '../astUtils/visitors';
-import type { TranspileResult, TypedefProvider } from '../interfaces';
+import type { GetTypeOptions } from '../interfaces';
+import { type TranspileResult, type TypedefProvider } from '../interfaces';
 import { VoidType } from '../types/VoidType';
 import { DynamicType } from '../types/DynamicType';
-import type { BscType, SymbolContainer } from '../types/BscType';
-import { SymbolTable } from '../SymbolTable';
-import { ArrayType } from '../types/ArrayType';
+import type { BscType } from '../types/BscType';
 import { TypedFunctionType } from '../types/TypedFunctionType';
+import { AstNodeKind, Expression } from './AstNode';
+import { SourceNode } from 'source-map';
+import type { TranspileState } from './TranspileState';
+import { StringType } from '../types/StringType';
 export declare type ExpressionVisitor = (expression: Expression, parent: Expression) => void;
-/** A BrightScript expression */
-export declare abstract class Expression {
-    /**
-     * The starting and ending location of the expression.
-     */
-    abstract range: Range;
-    abstract transpile(state: BrsTranspileState): TranspileResult;
-    /**
-     * When being considered by the walk visitor, this describes what type of element the current class is.
-     */
-    visitMode: InternalWalkMode;
-    abstract walk(visitor: WalkVisitor, options: WalkOptions): any;
-    /**
-     * The parent node for this expression. This is set dynamically during `onFileValidate`, and should not be set directly.
-     */
-    parent?: Statement | Expression;
-    /**
-     * Get the closest symbol table for this node. Should be overridden in children that directly contain a symbol table
-     */
-    getSymbolTable(): SymbolTable;
-}
 export declare class BinaryExpression extends Expression {
+    constructor(options: {
+        left: Expression;
+        operator: Token;
+        right: Expression;
+    });
+    tokens: {
+        operator: Token;
+    };
     left: Expression;
-    operator: Token;
     right: Expression;
-    constructor(left: Expression, operator: Token, right: Expression);
+    readonly kind = AstNodeKind.BinaryExpression;
     readonly range: Range;
-    transpile(state: BrsTranspileState): (string | import("source-map").SourceNode)[];
+    transpile(state: BrsTranspileState): (string | SourceNode)[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 export declare class CallExpression extends Expression {
+    static MaximumArguments: number;
+    constructor(options: {
+        callee: Expression;
+        openingParen: Token;
+        args?: Expression[];
+        closingParen: Token;
+    });
     readonly callee: Expression;
-    /**
-     * Can either be `(`, or `?(` for optional chaining
-     */
-    readonly openingParen: Token;
-    readonly closingParen: Token;
     readonly args: Expression[];
-    /**
-     * The namespace that currently wraps this call expression. This is NOT the namespace of the callee...that will be represented in the callee expression itself.
-     */
-    readonly namespaceName: NamespacedVariableNameExpression;
-    static MaximumArguments: number;
-    constructor(callee: Expression, 
-    /**
-     * Can either be `(`, or `?(` for optional chaining
-     */
-    openingParen: Token, closingParen: Token, args: Expression[], 
-    /**
-     * The namespace that currently wraps this call expression. This is NOT the namespace of the callee...that will be represented in the callee expression itself.
-     */
-    namespaceName: NamespacedVariableNameExpression);
+    tokens: {
+        /**
+         * Can either be `(`, or `?(` for optional chaining - defaults to '('
+         */
+        readonly openingParen?: Token;
+        readonly closingParen?: Token;
+    };
+    readonly kind = AstNodeKind.CallExpression;
     readonly range: Range;
-    transpile(state: BrsTranspileState, nameOverride?: string): any[];
+    transpile(state: BrsTranspileState, nameOverride?: string): (string | SourceNode)[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): any;
 }
 export declare class FunctionExpression extends Expression implements TypedefProvider {
+    constructor(options: {
+        functionType?: Token;
+        leftParen?: Token;
+        parameters?: FunctionParameterExpression[];
+        rightParen?: Token;
+        as?: Token;
+        returnTypeExpression?: TypeExpression;
+        body: Block;
+        endFunctionType?: Token;
+    });
+    readonly kind = AstNodeKind.FunctionExpression;
     readonly parameters: FunctionParameterExpression[];
     body: Block;
-    readonly functionType: Token | null;
-    end: Token;
-    readonly leftParen: Token;
-    readonly rightParen: Token;
-    readonly asToken?: Token;
-    readonly returnType?: TypeExpression;
-    /**
-     * If this function is enclosed within another function, this will reference that parent function
-     */
-    readonly parentFunction?: FunctionExpression;
-    readonly namespaceName?: NamespacedVariableNameExpression;
-    readonly parentSymbolTable?: SymbolTable;
-    constructor(parameters: FunctionParameterExpression[], body: Block, functionType: Token | null, end: Token, leftParen: Token, rightParen: Token, asToken?: Token, returnType?: TypeExpression, 
-    /**
-     * If this function is enclosed within another function, this will reference that parent function
-     */
-    parentFunction?: FunctionExpression, namespaceName?: NamespacedVariableNameExpression, parentSymbolTable?: SymbolTable);
-    symbolTable: SymbolTable;
-    getSymbolTable(): SymbolTable;
-    get range(): Range;
-    /**
-     * The range of the function
-     */
-    cacheRange(): Range;
-    private _range;
-    labelStatements: LabelStatement[];
-    private _returnType;
-    /**
-     * The type this function returns
-     */
-    getReturnType(): BscType;
+    returnTypeExpression?: TypeExpression;
+    readonly tokens: {
+        functionType?: Token;
+        endFunctionType?: Token;
+        leftParen?: Token;
+        rightParen?: Token;
+        as?: Token;
+    };
     /**
      * The list of function calls that are declared within this function scope. This excludes CallExpressions
      * declared in child functions
@@ -112,117 +86,134 @@ export declare class FunctionExpression extends Expression implements TypedefPro
      * If this function is part of a FunctionStatement, this will be set. Otherwise this will be undefined
      */
     functionStatement?: FunctionStatement;
+    getLeadingTrivia(): Token[];
     /**
-     * A list of all child functions declared directly within this function
+     * The range of the function, starting at the 'f' in function or 's' in sub (or the open paren if the keyword is missing),
+     * and ending with the last n' in 'end function' or 'b' in 'end sub'
      */
-    childFunctionExpressions: FunctionExpression[];
-    /**
-    * The range of the function declaration, starting at the 'f' in function or 's' in sub (or the open paren if the keyword is missing),
-    * and ending with the last character in the returnTypeToken, or the 's' in 'as', or the rightParen
-    */
-    get functionDeclarationRange(): Range;
+    get range(): Range;
     transpile(state: BrsTranspileState, name?: Identifier, includeBody?: boolean): any[];
-    getTypedef(state: BrsTranspileState, name?: Identifier): any[];
+    getTypedef(state: BrsTranspileState): SourceNode[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
-    getFunctionType(): TypedFunctionType;
+    getType(options: GetTypeOptions): TypedFunctionType;
 }
 export declare class FunctionParameterExpression extends Expression {
-    name: Identifier;
-    private typeInContext;
-    equalsToken?: Token;
+    constructor(options: {
+        name: Identifier;
+        equals?: Token;
+        defaultValue?: Expression;
+        as?: Token;
+        typeExpression?: TypeExpression;
+    });
+    readonly kind = AstNodeKind.FunctionParameterExpression;
+    tokens: {
+        name: Identifier;
+        equals?: Token;
+        as?: Token;
+    };
     defaultValue?: Expression;
-    asToken?: Token;
-    type?: TypeExpression;
-    readonly namespaceName?: NamespacedVariableNameExpression;
-    constructor(name: Identifier, typeInContext: BscType, equalsToken?: Token, defaultValue?: Expression, asToken?: Token, type?: TypeExpression, namespaceName?: NamespacedVariableNameExpression);
-    readonly range: Range;
-    getType(): BscType;
+    typeExpression?: TypeExpression;
+    getType(options: GetTypeOptions): BscType;
+    get range(): Range;
     transpile(state: BrsTranspileState): any[];
-    walk(visitor: WalkVisitor, options: WalkOptions): void;
-    get isOptional(): boolean;
-}
-export declare class NamespacedVariableNameExpression extends Expression {
-    readonly expression: DottedGetExpression | VariableExpression;
-    constructor(expression: DottedGetExpression | VariableExpression);
-    readonly range: Range;
-    transpile(state: BrsTranspileState): import("source-map").SourceNode[];
-    getNameParts(): string[];
-    getName(parseMode?: ParseMode): string;
+    getTypedef(state: BrsTranspileState): TranspileResult;
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class DottedGetExpression extends Expression {
+    constructor(options: {
+        obj: Expression;
+        name: Identifier;
+        /**
+         * Can either be `.`, or `?.` for optional chaining - defaults in transpile to '.'
+         */
+        dot?: Token;
+    });
+    readonly tokens: {
+        name: Identifier;
+        dot?: Token;
+    };
     readonly obj: Expression;
-    readonly name: Identifier;
-    /**
-     * Can either be `.`, or `?.` for optional chaining
-     */
-    readonly dot: Token;
-    constructor(obj: Expression, name: Identifier, 
-    /**
-     * Can either be `.`, or `?.` for optional chaining
-     */
-    dot: Token);
+    readonly kind = AstNodeKind.DottedGetExpression;
     readonly range: Range;
-    transpile(state: BrsTranspileState): (string | import("source-map").SourceNode)[];
+    transpile(state: BrsTranspileState): (string | SourceNode)[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
+    getName(parseMode: ParseMode): string;
 }
 export declare class XmlAttributeGetExpression extends Expression {
+    constructor(options: {
+        obj: Expression;
+        /**
+         * Can either be `@`, or `?@` for optional chaining - defaults to '@'
+         */
+        at?: Token;
+        name: Identifier;
+    });
+    readonly kind = AstNodeKind.XmlAttributeGetExpression;
+    tokens: {
+        name: Identifier;
+        at?: Token;
+    };
     readonly obj: Expression;
-    readonly name: Identifier;
-    /**
-     * Can either be `@`, or `?@` for optional chaining
-     */
-    readonly at: Token;
-    constructor(obj: Expression, name: Identifier, 
-    /**
-     * Can either be `@`, or `?@` for optional chaining
-     */
-    at: Token);
     readonly range: Range;
-    transpile(state: BrsTranspileState): (string | import("source-map").SourceNode)[];
+    transpile(state: BrsTranspileState): (string | SourceNode)[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class IndexedGetExpression extends Expression {
+    constructor(options: {
+        obj: Expression;
+        indexes: Expression[];
+        /**
+         * Can either be `[` or `?[`. If `?.[` is used, this will be `[` and `optionalChainingToken` will be `?.` - defaults to '[' in transpile
+         */
+        openingSquare?: Token;
+        closingSquare?: Token;
+        questionDot?: Token;
+    });
+    readonly kind = AstNodeKind.IndexedGetExpression;
     obj: Expression;
-    index: Expression;
-    /**
-     * Can either be `[` or `?[`. If `?.[` is used, this will be `[` and `optionalChainingToken` will be `?.`
-     */
-    openingSquare: Token;
-    closingSquare: Token;
-    questionDotToken?: Token;
-    constructor(obj: Expression, index: Expression, 
-    /**
-     * Can either be `[` or `?[`. If `?.[` is used, this will be `[` and `optionalChainingToken` will be `?.`
-     */
-    openingSquare: Token, closingSquare: Token, questionDotToken?: Token);
+    indexes: Expression[];
+    tokens: {
+        /**
+         * Can either be `[` or `?[`. If `?.[` is used, this will be `[` and `optionalChainingToken` will be `?.` - defaults to '[' in transpile
+         */
+        openingSquare?: Token;
+        closingSquare?: Token;
+        questionDot?: Token;
+    };
     readonly range: Range;
-    transpile(state: BrsTranspileState): (string | import("source-map").SourceNode)[];
+    transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 export declare class GroupingExpression extends Expression {
+    constructor(options: {
+        leftParen?: Token;
+        rightParen?: Token;
+        expression: Expression;
+    });
     readonly tokens: {
-        left: Token;
-        right: Token;
+        leftParen?: Token;
+        rightParen?: Token;
     };
     expression: Expression;
-    constructor(tokens: {
-        left: Token;
-        right: Token;
-    }, expression: Expression);
+    readonly kind = AstNodeKind.GroupingExpression;
     readonly range: Range;
-    transpile(state: BrsTranspileState): (string | import("source-map").SourceNode)[];
+    transpile(state: BrsTranspileState): TranspileResult;
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 export declare class LiteralExpression extends Expression {
-    token: Token;
-    constructor(token: Token);
-    readonly range: Range;
-    /**
-     * The (data) type of this expression
-     */
-    type: BscType;
-    transpile(state: BrsTranspileState): import("source-map").SourceNode[];
+    constructor(options: {
+        value: Token;
+    });
+    tokens: {
+        value: Token;
+    };
+    readonly kind = AstNodeKind.LiteralExpression;
+    get range(): Range;
+    getType(options?: GetTypeOptions): DynamicType | import("../types").ObjectType | StringType | import("../types").IntegerType | import("../types").BooleanType | import("../types").FloatType | import("../types").DoubleType | import("../types").LongIntegerType | VoidType | import("../types/FunctionType").FunctionType;
+    transpile(state: BrsTranspileState): SourceNode[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 /**
@@ -230,76 +221,120 @@ export declare class LiteralExpression extends Expression {
  * during template string transpile by identifying these expressions explicitly and skipping the bslib_toString around them
  */
 export declare class EscapedCharCodeLiteralExpression extends Expression {
-    readonly token: Token & {
-        charCode: number;
-    };
-    constructor(token: Token & {
-        charCode: number;
+    constructor(options: {
+        value: Token & {
+            charCode: number;
+        };
     });
+    readonly kind = AstNodeKind.EscapedCharCodeLiteralExpression;
+    tokens: {
+        value: Token & {
+            charCode: number;
+        };
+    };
     readonly range: Range;
-    transpile(state: BrsTranspileState): import("source-map").SourceNode[];
+    transpile(state: BrsTranspileState): SourceNode[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class ArrayLiteralExpression extends Expression {
+    constructor(options: {
+        elements: Array<Expression | CommentStatement>;
+        open?: Token;
+        close?: Token;
+    });
     readonly elements: Array<Expression | CommentStatement>;
-    readonly open: Token;
-    readonly close: Token;
-    readonly hasSpread: boolean;
-    constructor(elements: Array<Expression | CommentStatement>, open: Token, close: Token, hasSpread?: boolean);
+    readonly tokens: {
+        open?: Token;
+        close?: Token;
+    };
+    readonly kind = AstNodeKind.ArrayLiteralExpression;
     readonly range: Range;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 export declare class AAMemberExpression extends Expression {
-    keyToken: Token;
-    colonToken: Token;
+    constructor(options: {
+        key: Token;
+        colon?: Token;
+        /** The expression evaluated to determine the member's initial value. */
+        value: Expression;
+        comma?: Token;
+    });
+    readonly kind = AstNodeKind.AAMemberExpression;
+    range: Range;
+    tokens: {
+        key: Token;
+        colon?: Token;
+        comma?: Token;
+    };
     /** The expression evaluated to determine the member's initial value. */
     value: Expression;
-    type: BscType;
-    constructor(keyToken: Token, colonToken: Token, 
-    /** The expression evaluated to determine the member's initial value. */
-    value: Expression, type: BscType);
-    readonly range: Range;
-    commaToken?: Token;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
-export declare class AALiteralExpression extends Expression implements SymbolContainer {
+export declare class AALiteralExpression extends Expression {
+    constructor(options: {
+        elements: Array<AAMemberExpression | CommentStatement>;
+        open?: Token;
+        close?: Token;
+    });
     readonly elements: Array<AAMemberExpression | CommentStatement>;
-    readonly open: Token;
-    readonly close: Token;
-    readonly functionExpression: FunctionExpression;
-    constructor(elements: Array<AAMemberExpression | CommentStatement>, open: Token, close: Token, functionExpression: FunctionExpression);
+    readonly tokens: {
+        open?: Token;
+        close?: Token;
+    };
+    readonly kind = AstNodeKind.AALiteralExpression;
     readonly range: Range;
-    readonly symbolTable: SymbolTable;
-    readonly memberTable: SymbolTable;
-    buildSymbolTable(): void;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 export declare class UnaryExpression extends Expression {
-    operator: Token;
-    right: Expression;
-    constructor(operator: Token, right: Expression);
+    constructor(options: {
+        operator: Token;
+        right: Expression;
+    });
+    readonly kind = AstNodeKind.UnaryExpression;
     readonly range: Range;
-    transpile(state: BrsTranspileState): (string | import("source-map").SourceNode)[];
+    tokens: {
+        operator: Token;
+    };
+    right: Expression;
+    transpile(state: BrsTranspileState): (string | SourceNode)[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 export declare class VariableExpression extends Expression {
-    name: Identifier;
-    namespaceName: NamespacedVariableNameExpression;
-    constructor(name: Identifier, namespaceName: NamespacedVariableNameExpression);
+    constructor(options: {
+        name: Identifier;
+    });
+    readonly tokens: {
+        name: Identifier;
+    };
+    readonly kind = AstNodeKind.VariableExpression;
     readonly range: Range;
-    getName(parseMode: ParseMode): string;
+    getName(parseMode?: ParseMode): string;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 export declare class SourceLiteralExpression extends Expression {
-    readonly token: Token;
-    constructor(token: Token);
+    constructor(options: {
+        value: Token;
+    });
     readonly range: Range;
+    readonly kind = AstNodeKind.SourceLiteralExpression;
+    readonly tokens: {
+        value: Token;
+    };
+    /**
+     * Find the index of the function in its parent
+     */
+    private findFunctionIndex;
     private getFunctionName;
-    transpile(state: BrsTranspileState): import("source-map").SourceNode[];
+    transpile(state: BrsTranspileState): SourceNode[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 /**
@@ -308,69 +343,112 @@ export declare class SourceLiteralExpression extends Expression {
  * do more type checking.
  */
 export declare class NewExpression extends Expression {
-    readonly newKeyword: Token;
-    readonly call: CallExpression;
-    constructor(newKeyword: Token, call: CallExpression);
+    constructor(options: {
+        new?: Token;
+        call: CallExpression;
+    });
+    readonly kind = AstNodeKind.NewExpression;
     readonly range: Range;
+    readonly tokens: {
+        new?: Token;
+    };
+    readonly call: CallExpression;
     /**
      * The name of the class to initialize (with optional namespace prefixed)
      */
-    get className(): NamespacedVariableNameExpression;
-    get namespaceName(): NamespacedVariableNameExpression;
-    transpile(state: BrsTranspileState): any[];
+    get className(): DottedGetExpression | VariableExpression;
+    transpile(state: BrsTranspileState): (string | SourceNode)[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): any;
 }
 export declare class CallfuncExpression extends Expression {
+    constructor(options: {
+        callee: Expression;
+        operator?: Token;
+        methodName: Identifier;
+        openingParen?: Token;
+        args?: Expression[];
+        closingParen?: Token;
+    });
     readonly callee: Expression;
-    readonly operator: Token;
-    readonly methodName: Identifier;
-    readonly openingParen: Token;
     readonly args: Expression[];
-    readonly closingParen: Token;
-    constructor(callee: Expression, operator: Token, methodName: Identifier, openingParen: Token, args: Expression[], closingParen: Token);
+    readonly tokens: {
+        operator: Token;
+        methodName: Identifier;
+        openingParen?: Token;
+        closingParen?: Token;
+    };
+    readonly kind = AstNodeKind.CallfuncExpression;
     readonly range: Range;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
 /**
  * Since template strings can contain newlines, we need to concatenate multiple strings together with chr() calls.
  * This is a single expression that represents the string contatenation of all parts of a single quasi.
  */
 export declare class TemplateStringQuasiExpression extends Expression {
+    constructor(options: {
+        expressions: Array<LiteralExpression | EscapedCharCodeLiteralExpression>;
+    });
     readonly expressions: Array<LiteralExpression | EscapedCharCodeLiteralExpression>;
-    constructor(expressions: Array<LiteralExpression | EscapedCharCodeLiteralExpression>);
+    readonly kind = AstNodeKind.TemplateStringQuasiExpression;
     readonly range: Range;
     transpile(state: BrsTranspileState, skipEmptyStrings?: boolean): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class TemplateStringExpression extends Expression {
-    readonly openingBacktick: Token;
+    constructor(options: {
+        openingBacktick?: Token;
+        quasis: TemplateStringQuasiExpression[];
+        expressions: Expression[];
+        closingBacktick?: Token;
+    });
+    readonly kind = AstNodeKind.TemplateStringExpression;
+    readonly tokens: {
+        openingBacktick?: Token;
+        closingBacktick?: Token;
+    };
     readonly quasis: TemplateStringQuasiExpression[];
     readonly expressions: Expression[];
-    readonly closingBacktick: Token;
-    constructor(openingBacktick: Token, quasis: TemplateStringQuasiExpression[], expressions: Expression[], closingBacktick: Token);
     readonly range: Range;
+    getType(options: GetTypeOptions): StringType;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class TaggedTemplateStringExpression extends Expression {
-    readonly tagName: Identifier;
-    readonly openingBacktick: Token;
+    constructor(options: {
+        tagName: Identifier;
+        openingBacktick?: Token;
+        quasis: TemplateStringQuasiExpression[];
+        expressions: Expression[];
+        closingBacktick?: Token;
+    });
+    readonly kind = AstNodeKind.TaggedTemplateStringExpression;
+    tokens: {
+        tagName: Identifier;
+        openingBacktick?: Token;
+        closingBacktick?: Token;
+    };
     readonly quasis: TemplateStringQuasiExpression[];
     readonly expressions: Expression[];
-    readonly closingBacktick: Token;
-    constructor(tagName: Identifier, openingBacktick: Token, quasis: TemplateStringQuasiExpression[], expressions: Expression[], closingBacktick: Token);
     readonly range: Range;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class AnnotationExpression extends Expression {
-    readonly atToken: Token;
-    readonly nameToken: Token;
-    constructor(atToken: Token, nameToken: Token);
+    constructor(options: {
+        at?: Token;
+        name: Token;
+        call?: CallExpression;
+    });
+    readonly kind = AstNodeKind.AnnotationExpression;
+    readonly tokens: {
+        at: Token;
+        name: Token;
+    };
     get range(): Range;
-    cacheRange(): Range;
-    private _range;
     name: string;
     call: CallExpression;
     /**
@@ -378,99 +456,114 @@ export declare class AnnotationExpression extends Expression {
      * @param strict If false, keep Expression objects not corresponding to JS types
      */
     getArguments(strict?: boolean): ExpressionValue[];
+    getLeadingTrivia(): Token[];
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
-    getTypedef(state: BrsTranspileState): any[];
+    getTypedef(state: BrsTranspileState): (string | SourceNode)[];
 }
 export declare class TernaryExpression extends Expression {
+    constructor(options: {
+        test: Expression;
+        questionMark?: Token;
+        consequent?: Expression;
+        colon?: Token;
+        alternate?: Expression;
+    });
+    readonly kind = AstNodeKind.TernaryExpression;
+    range: Range;
+    readonly tokens: {
+        questionMark?: Token;
+        colon?: Token;
+    };
     readonly test: Expression;
-    readonly questionMarkToken: Token;
     readonly consequent?: Expression;
-    readonly colonToken?: Token;
     readonly alternate?: Expression;
-    constructor(test: Expression, questionMarkToken: Token, consequent?: Expression, colonToken?: Token, alternate?: Expression);
-    readonly range: Range;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class NullCoalescingExpression extends Expression {
+    constructor(options: {
+        consequent: Expression;
+        questionQuestion?: Token;
+        alternate: Expression;
+    });
+    readonly kind = AstNodeKind.NullCoalescingExpression;
+    readonly range: Range;
+    tokens: {
+        questionQuestion?: Token;
+    };
     consequent: Expression;
-    questionQuestionToken: Token;
     alternate: Expression;
-    constructor(consequent: Expression, questionQuestionToken: Token, alternate: Expression);
-    readonly range: Range;
     transpile(state: BrsTranspileState): any[];
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
 export declare class RegexLiteralExpression extends Expression {
+    constructor(options: {
+        regexLiteral: Token;
+    });
+    readonly kind = AstNodeKind.RegexLiteralExpression;
     tokens: {
         regexLiteral: Token;
     };
-    constructor(tokens: {
-        regexLiteral: Token;
-    });
-    readonly range: Range;
+    get range(): Range;
     transpile(state: BrsTranspileState): TranspileResult;
     walk(visitor: WalkVisitor, options: WalkOptions): void;
 }
-export declare class TypeExpression extends Expression {
-    private tokens;
-    namespaceName?: NamespacedVariableNameExpression;
-    constructor(tokens: {
-        type?: Token;
-    }, namespaceName?: NamespacedVariableNameExpression);
-    readonly range: Range;
-    private _type;
-    /**
-     * The this TypeExpression refers to
-     */
-    get type(): BscType;
-    /**
-     * Derive a BscType from the type token
-     * Can deal with multiple brackets to make multidimensional arrays, eg. float[][]
-     * Defaults to `DynamicType`
-     */
-    getType(parseMode?: ParseMode): DynamicType | BscType | import("../types/FloatType").FloatType | import("../types/IntegerType").IntegerType | import("../types/DoubleType").DoubleType | import("../types/LongIntegerType").LongIntegerType | import("../types/StringType").StringType | import("../types/BooleanType").BooleanType | import("../types/FunctionType").FunctionType | import("../types/InvalidType").InvalidType | VoidType;
-    /**
-     * Is this a valid, (eg. known) type?
-     */
-    isValidType(parseMode?: ParseMode): boolean;
+declare type ExpressionValue = string | number | boolean | Expression | ExpressionValue[] | {
+    [key: string]: ExpressionValue;
+};
+export declare class TypeExpression extends Expression implements TypedefProvider {
+    constructor(options: {
+        /**
+         * The standard AST expression that represents the type for this TypeExpression.
+         */
+        expression: Expression;
+    });
+    readonly kind = AstNodeKind.TypeExpression;
     /**
-     * Gives a human readable string that says the type
-     * @returns text to display to show the type
+     * The standard AST expression that represents the type for this TypeExpression.
      */
-    getText(): string;
+    expression: Expression;
+    range: Range;
     transpile(state: BrsTranspileState): TranspileResult;
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
+    getTypedef(state: TranspileState): (string | SourceNode)[];
+    getName(parseMode?: ParseMode): string;
+    getNameParts(): string[];
 }
-export declare class ArrayTypeExpression extends TypeExpression {
-    innerTypes: TypeExpression[];
-    private bracketTokens;
-    namespaceName?: NamespacedVariableNameExpression;
-    constructor(innerTypes: TypeExpression[], // this is an array so that in the future when we support union types
-    bracketTokens: {
+export declare class TypeCastExpression extends Expression {
+    constructor(options: {
+        obj: Expression;
+        as?: Token;
+        typeExpression?: TypeExpression;
+    });
+    readonly kind = AstNodeKind.TypeCastExpression;
+    obj: Expression;
+    tokens: {
+        as?: Token;
+    };
+    typeExpression?: TypeExpression;
+    range: Range;
+    transpile(state: BrsTranspileState): TranspileResult;
+    walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
+}
+export declare class TypedArrayExpression extends Expression {
+    constructor(options: {
+        innerType: Expression;
         leftBracket?: Token;
         rightBracket?: Token;
-    }, namespaceName?: NamespacedVariableNameExpression);
-    readonly range: Range;
-    private get defaultTypeExpression();
-    /**
-     * Derive a BscType from the type token
-     * Returns an array type with the inner types based on the inner type expressions
-     */
-    getType(parseMode?: ParseMode): ArrayType;
-    /**
-     * Is this a valid, (eg. known) type?
-     */
-    isValidType(parseMode?: ParseMode): boolean;
-    /**
-     * Gives a human readable string that says the type
-     * @returns text to display to show the type
-     */
-    getText(): string;
+    });
+    tokens: {
+        leftBracket?: Token;
+        rightBracket?: Token;
+    };
+    innerType: Expression;
+    readonly kind = AstNodeKind.TypedArrayExpression;
+    range: Range;
+    transpile(state: BrsTranspileState): TranspileResult;
     walk(visitor: WalkVisitor, options: WalkOptions): void;
+    getType(options: GetTypeOptions): BscType;
 }
-declare type ExpressionValue = string | number | boolean | Expression | ExpressionValue[] | {
-    [key: string]: ExpressionValue;
-};
 export {};