@artel/artc 0.6.25213 → 0.6.25215

package/build/types/emitter/Transformer.d.ts

@@ -1,7 +1,6 @@
 import { DebugStack } from './DebugStack.js';
-import { blockStatementTransformationResult, expressionTransformationResult, packageMemberDeclarationTransformationResult, simpleTransformationResult, statementTransformationResult, typeAccessExpressionTransformationResult, typeMemberDeclarationTransformationResult } from './Internal.js';
+import { VariableEntity } from './Entities.js';
 import * as ir from './ir/index.js';
-import { TransformationContinuationAction } from './TransformationContinuationAction.js';
 export declare class Transformer {
     readonly config: TransformationConfig;
     protected readonly _debugStack: DebugStack;
@@ -29,7 +28,7 @@ export declare class Transformer {
     transformNestedMethodDeclarationStatementChildren(statement: ir.NestedMethodDeclarationStatement): void;
     transformNestedMethodDeclaration(declaration: ir.NestedMethodDeclaration): ir.NestedMethodDeclaration;
     transformValueParameterDeclaration(declaration: ir.ValueParameterDeclaration): ir.ValueParameterDeclaration;
-    transformNodeWithSimpleTransformationResult<T>(node: T, transform: (node: T) => simpleTransformationResult.Type<T> | undefined): {
+    transformNodeWithGeneralTransformationResult<T>(node: T, transform: (node: T) => NodeTransformationResult<T> | undefined): {
         transformedNode: T;
         action: TransformationContinuationAction;
     };
@@ -77,7 +76,6 @@ export declare class Transformer {
     transformIntegerLiteralChildren(_expression: ir.IntegerLiteral): void;
     transformHelperMethodCallExpressionChildren(expression: ir.HelperMethodCallExpression): void;
     transformIsExpressionChildren(expression: ir.IsExpression): void;
-    transformNotExpressionChildren(expression: ir.NotExpression): void;
     transformNumericLiteralChildren(_expression: ir.NumericLiteral): void;
     transformMethodLiteralChildren(expression: ir.MethodLiteral): void;
     transformPrefixUnaryExpressionChildren(expression: ir.PrefixUnaryExpression): void;
@@ -114,97 +112,160 @@ export declare class Transformer {
     private transformArrayWithErrorBoundary;
     private createLocalVariableDeclarations;
 }
-interface TransformationConfig {
-    transformAssertionExpression?(expression: ir.AssertionExpression): expressionTransformationResult.Type;
-    transformAssumptionExpression?(expression: ir.AssumptionExpression): expressionTransformationResult.Type;
-    transformAsExpression?(expression: ir.AsExpression): expressionTransformationResult.Type;
-    transformBinaryExpression?(expression: ir.BinaryExpression): expressionTransformationResult.Type;
-    transformCallExpression?(expression: ir.CallExpression): expressionTransformationResult.Type;
-    transformIndexedAccessExpression?(expression: ir.IndexedAccessExpression): expressionTransformationResult.Type;
-    transformIsExpression?(expression: ir.IsExpression): expressionTransformationResult.Type;
-    transformNotExpression?(expression: ir.NotExpression): expressionTransformationResult.Type;
-    transformMethodLiteral?(expression: ir.MethodLiteral): expressionTransformationResult.Type;
-    transformPrefixUnaryExpression?(expression: ir.PrefixUnaryExpression): expressionTransformationResult.Type;
-    transformReferenceExpression?(expression: ir.ReferenceExpression): expressionTransformationResult.Type;
-    transformTernaryExpression?(expression: ir.TernaryExpression): expressionTransformationResult.Type;
-    transformArrayLiteral?(expression: ir.ArrayLiteral): expressionTransformationResult.Type;
-    transformTypeAccessExpression?(expression: ir.TypeAccessExpression): typeAccessExpressionTransformationResult.TypeAccessExpressionTransformationResult;
-    transformVariableAccessExpression?(expression: ir.VariableAccessExpression): expressionTransformationResult.Type;
-    transformMethodAccessExpression?(expression: ir.MethodAccessExpression): expressionTransformationResult.Type;
-    transformVariantAccessExpression?(expression: ir.VariantAccessExpression): expressionTransformationResult.Type;
-    transformTypeVariableAccessExpression?(expression: ir.TypeVariableAccessExpression): expressionTransformationResult.Type;
-    transformTypeMethodAccessExpression?(expression: ir.TypeMethodAccessExpression): expressionTransformationResult.Type;
-    transformTextTemplateLiteral?(expression: ir.TextTemplateLiteral): expressionTransformationResult.Type;
-    transformCharLiteral?(expression: ir.CharLiteral): expressionTransformationResult.Type;
-    transformTextLiteral?(expression: ir.TextLiteral): expressionTransformationResult.Type;
-    transformBooleanLiteral?(expression: ir.BooleanLiteral): expressionTransformationResult.Type;
-    transformIntegerLiteral?(expression: ir.IntegerLiteral): expressionTransformationResult.Type;
-    transformNumericLiteral?(expression: ir.NumericLiteral): expressionTransformationResult.Type;
-    transformMeasureLiteral?(expression: ir.MeasureLiteral): expressionTransformationResult.Type;
-    transformNoneLiteral?(expression: ir.NoneLiteral): expressionTransformationResult.Type;
-    transformThisExpression?(expression: ir.ThisExpression): expressionTransformationResult.Type;
-    transformBaseExpression?(expression: ir.BaseExpression): expressionTransformationResult.Type;
-    transformHelperMethodCallExpression?(expression: ir.HelperMethodCallExpression): expressionTransformationResult.Type;
-    transformConstructorCallExpression?(expression: ir.ConstructorCallExpression): expressionTransformationResult.Type;
-    transformInlineJsExpression?(expression: ir.InlineJsExpression): expressionTransformationResult.Type;
-    transformAssignmentExpression?(expression: ir.AssignmentExpression): expressionTransformationResult.Type;
-    transformCommaExpression?(expression: ir.CommaExpression): expressionTransformationResult.Type;
-    transformOwnConstructorCallExpression?(expression: ir.OwnConstructorCallExpression): expressionTransformationResult.Type;
-    transformBaseConstructorCallExpression?(expression: ir.BaseConstructorCallExpression): expressionTransformationResult.Type;
-    transformJsIndexedAccessExpression?(expression: ir.JsIndexedAccessExpression): expressionTransformationResult.Type;
-    transformJsObjectLiteral?(expression: ir.JsObjectLiteral): expressionTransformationResult.Type;
-    transformJsPropertyAccessExpression?(expression: ir.JsPropertyAccessExpression): expressionTransformationResult.Type;
-    transformJsFunctionLiteral?(expression: ir.JsFunctionLiteral): expressionTransformationResult.Type;
-    transformJsTypeOfExpression?(expression: ir.JsTypeOfExpression): expressionTransformationResult.Type;
-    transformJsInstanceOfExpression?(expression: ir.JsInstanceOfExpression): expressionTransformationResult.Type;
-    transformJsIdentifierExpression?(expression: ir.JsIdentifierExpression): expressionTransformationResult.Type;
-    transformDereferenceExpression?(expression: ir.DereferenceExpression): expressionTransformationResult.Type;
-    transformBlockStatement?(statement: ir.BlockStatement): blockStatementTransformationResult.Type;
-    transformBreakLoopStatement?(statement: ir.BreakLoopStatement): statementTransformationResult.Type;
-    transformContinueLoopStatement?(statement: ir.ContinueLoopStatement): statementTransformationResult.Type;
-    transformDisposeStatement?(statement: ir.DisposeStatement): statementTransformationResult.Type;
-    transformRunStatement?(statement: ir.RunStatement): statementTransformationResult.Type;
-    transformEmptyStatement?(statement: ir.EmptyStatement): statementTransformationResult.Type;
-    transformErrorStatement?(statement: ir.ErrorStatement): statementTransformationResult.Type;
-    transformExpressionStatement?(statement: ir.ExpressionStatement): statementTransformationResult.Type;
-    transformForStatement?(statement: ir.ForStatement): statementTransformationResult.Type;
-    transformIfStatement?(statement: ir.IfStatement): statementTransformationResult.Type;
-    transformNestedMethodDeclarationStatement?(statement: ir.NestedMethodDeclarationStatement): statementTransformationResult.Type;
-    transformLocalVariableDeclarationStatement?(statement: ir.LocalVariableDeclarationStatement): statementTransformationResult.Type;
-    transformLoopStatement?(statement: ir.LoopStatement): statementTransformationResult.Type;
-    transformReturnStatement?(statement: ir.ReturnStatement): statementTransformationResult.Type;
-    transformSwitchStatement?(statement: ir.SwitchStatement): statementTransformationResult.Type;
-    transformWhileStatement?(statement: ir.WhileStatement): statementTransformationResult.Type;
-    transformYieldStatement?(statement: ir.YieldStatement): statementTransformationResult.Type;
-    transformAssignmentStatement?(statement: ir.AssignmentStatement): statementTransformationResult.Type;
-    transformTryCatchFinallyStatement?(statement: ir.TryCatchFinallyStatement): statementTransformationResult.Type;
-    transformEsModuleImportDirectiveStatement?(statement: ir.EsModuleImportDirectiveStatement): statementTransformationResult.Type;
-    transformCjsModuleImportDirectiveStatement?(statement: ir.CjsModuleImportDirectiveStatement): statementTransformationResult.Type;
-    transformJsNamespaceDestructuringStatement?(statement: ir.JsNamespaceDestructuringStatement): statementTransformationResult.Type;
-    transformPackageMethodDeclaration?(declaration: ir.PackageMethodDeclaration): packageMemberDeclarationTransformationResult.PackageMemberDeclarationTransformationResult;
-    transformPackageTypeDeclaration?(declaration: ir.PackageTypeDeclaration): packageMemberDeclarationTransformationResult.PackageMemberDeclarationTransformationResult;
-    transformPackageVariableDeclaration?(declaration: ir.PackageVariableDeclaration): packageMemberDeclarationTransformationResult.PackageMemberDeclarationTransformationResult;
-    transformPackageVariableGetterDeclaration?(declaration: ir.PackageVariableGetterDeclaration): packageMemberDeclarationTransformationResult.PackageMemberDeclarationTransformationResult;
-    transformPackageVariableSetterDeclaration?(declaration: ir.PackageVariableSetterDeclaration): packageMemberDeclarationTransformationResult.PackageMemberDeclarationTransformationResult;
-    transformPackageVariantTypeDeclaration?(declaration: ir.PackageVariantTypeDeclaration): packageMemberDeclarationTransformationResult.PackageMemberDeclarationTransformationResult;
-    transformTypeVariableDeclaration?(declaration: ir.TypeVariableDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeMethodDeclaration?(declaration: ir.TypeMethodDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeConstructorDeclaration?(declaration: ir.TypeConstructorDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeDestructorDeclaration?(declaration: ir.TypeDestructorDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeIndexedGetterDeclaration?(declaration: ir.TypeIndexedGetterDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeIndexedSetterDeclaration?(declaration: ir.TypeIndexedSetterDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeDereferencedVariableGetterDeclaration?(declaration: ir.TypeDereferencedVariableGetterDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeDereferencedVariableSetterDeclaration?(declaration: ir.TypeDereferencedVariableSetterDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeVariableGetterDeclaration?(declaration: ir.TypeVariableGetterDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformTypeVariableSetterDeclaration?(declaration: ir.TypeVariableSetterDeclaration): typeMemberDeclarationTransformationResult.Type;
-    transformNestedMethodDeclaration?(declaration: ir.NestedMethodDeclaration): simpleTransformationResult.Type<ir.NestedMethodDeclaration>;
-    transformLocalVariableDeclaration?(declaration: ir.LocalVariableDeclaration): simpleTransformationResult.Type<ir.LocalVariableDeclaration>;
-    transformValueParameterDeclaration?(declaration: ir.ValueParameterDeclaration): simpleTransformationResult.Type<ir.ValueParameterDeclaration>;
-    transformCaseClause?(declaration: ir.CaseClause): simpleTransformationResult.Type<ir.CaseClause>;
-    transformVariantDeclaration?(declaration: ir.VariantDeclaration): simpleTransformationResult.Type<ir.VariantDeclaration>;
-    transformCallArguments?(declaration: ir.CallArguments): simpleTransformationResult.Type<ir.CallArguments>;
-    transformOnErrorClause?(clause: ir.OnErrorClause): simpleTransformationResult.Type<ir.OnErrorClause>;
-    transformFinallyClause?(clause: ir.FinallyClause): simpleTransformationResult.Type<ir.FinallyClause>;
-    transformJsObjectLiteralProperty?(clause: ir.JsObjectLiteralProperty): simpleTransformationResult.Type<ir.JsObjectLiteralProperty>;
+export interface TransformationConfig {
+    transformAssertionExpression?(expression: ir.AssertionExpression): ExpressionTransformationResult;
+    transformAssumptionExpression?(expression: ir.AssumptionExpression): ExpressionTransformationResult;
+    transformAsExpression?(expression: ir.AsExpression): ExpressionTransformationResult;
+    transformBinaryExpression?(expression: ir.BinaryExpression): ExpressionTransformationResult;
+    transformCallExpression?(expression: ir.CallExpression): ExpressionTransformationResult;
+    transformIndexedAccessExpression?(expression: ir.IndexedAccessExpression): ExpressionTransformationResult;
+    transformIsExpression?(expression: ir.IsExpression): ExpressionTransformationResult;
+    transformMethodLiteral?(expression: ir.MethodLiteral): ExpressionTransformationResult;
+    transformPrefixUnaryExpression?(expression: ir.PrefixUnaryExpression): ExpressionTransformationResult;
+    transformReferenceExpression?(expression: ir.ReferenceExpression): ExpressionTransformationResult;
+    transformTernaryExpression?(expression: ir.TernaryExpression): ExpressionTransformationResult;
+    transformArrayLiteral?(expression: ir.ArrayLiteral): ExpressionTransformationResult;
+    transformTypeAccessExpression?(expression: ir.TypeAccessExpression): TypeAccessExpressionTransformationResult;
+    transformVariableAccessExpression?(expression: ir.VariableAccessExpression): ExpressionTransformationResult;
+    transformMethodAccessExpression?(expression: ir.MethodAccessExpression): ExpressionTransformationResult;
+    transformVariantAccessExpression?(expression: ir.VariantAccessExpression): ExpressionTransformationResult;
+    transformTypeVariableAccessExpression?(expression: ir.TypeVariableAccessExpression): ExpressionTransformationResult;
+    transformTypeMethodAccessExpression?(expression: ir.TypeMethodAccessExpression): ExpressionTransformationResult;
+    transformTextTemplateLiteral?(expression: ir.TextTemplateLiteral): ExpressionTransformationResult;
+    transformCharLiteral?(expression: ir.CharLiteral): ExpressionTransformationResult;
+    transformTextLiteral?(expression: ir.TextLiteral): ExpressionTransformationResult;
+    transformBooleanLiteral?(expression: ir.BooleanLiteral): ExpressionTransformationResult;
+    transformIntegerLiteral?(expression: ir.IntegerLiteral): ExpressionTransformationResult;
+    transformNumericLiteral?(expression: ir.NumericLiteral): ExpressionTransformationResult;
+    transformMeasureLiteral?(expression: ir.MeasureLiteral): ExpressionTransformationResult;
+    transformNoneLiteral?(expression: ir.NoneLiteral): ExpressionTransformationResult;
+    transformThisExpression?(expression: ir.ThisExpression): ExpressionTransformationResult;
+    transformBaseExpression?(expression: ir.BaseExpression): ExpressionTransformationResult;
+    transformHelperMethodCallExpression?(expression: ir.HelperMethodCallExpression): ExpressionTransformationResult;
+    transformConstructorCallExpression?(expression: ir.ConstructorCallExpression): ExpressionTransformationResult;
+    transformInlineJsExpression?(expression: ir.InlineJsExpression): ExpressionTransformationResult;
+    transformAssignmentExpression?(expression: ir.AssignmentExpression): ExpressionTransformationResult;
+    transformCommaExpression?(expression: ir.CommaExpression): ExpressionTransformationResult;
+    transformOwnConstructorCallExpression?(expression: ir.OwnConstructorCallExpression): ExpressionTransformationResult;
+    transformBaseConstructorCallExpression?(expression: ir.BaseConstructorCallExpression): ExpressionTransformationResult;
+    transformJsIndexedAccessExpression?(expression: ir.JsIndexedAccessExpression): ExpressionTransformationResult;
+    transformJsObjectLiteral?(expression: ir.JsObjectLiteral): ExpressionTransformationResult;
+    transformJsPropertyAccessExpression?(expression: ir.JsPropertyAccessExpression): ExpressionTransformationResult;
+    transformJsFunctionLiteral?(expression: ir.JsFunctionLiteral): ExpressionTransformationResult;
+    transformJsTypeOfExpression?(expression: ir.JsTypeOfExpression): ExpressionTransformationResult;
+    transformJsInstanceOfExpression?(expression: ir.JsInstanceOfExpression): ExpressionTransformationResult;
+    transformJsIdentifierExpression?(expression: ir.JsIdentifierExpression): ExpressionTransformationResult;
+    transformDereferenceExpression?(expression: ir.DereferenceExpression): ExpressionTransformationResult;
+    transformBlockStatement?(statement: ir.BlockStatement): StatementTransformationResult;
+    transformBreakLoopStatement?(statement: ir.BreakLoopStatement): StatementTransformationResult;
+    transformContinueLoopStatement?(statement: ir.ContinueLoopStatement): StatementTransformationResult;
+    transformDisposeStatement?(statement: ir.DisposeStatement): StatementTransformationResult;
+    transformRunStatement?(statement: ir.RunStatement): StatementTransformationResult;
+    transformEmptyStatement?(statement: ir.EmptyStatement): StatementTransformationResult;
+    transformErrorStatement?(statement: ir.ErrorStatement): StatementTransformationResult;
+    transformExpressionStatement?(statement: ir.ExpressionStatement): StatementTransformationResult;
+    transformForStatement?(statement: ir.ForStatement): StatementTransformationResult;
+    transformIfStatement?(statement: ir.IfStatement): StatementTransformationResult;
+    transformNestedMethodDeclarationStatement?(statement: ir.NestedMethodDeclarationStatement): StatementTransformationResult;
+    transformLocalVariableDeclarationStatement?(statement: ir.LocalVariableDeclarationStatement): StatementTransformationResult;
+    transformLoopStatement?(statement: ir.LoopStatement): StatementTransformationResult;
+    transformReturnStatement?(statement: ir.ReturnStatement): StatementTransformationResult;
+    transformSwitchStatement?(statement: ir.SwitchStatement): StatementTransformationResult;
+    transformWhileStatement?(statement: ir.WhileStatement): StatementTransformationResult;
+    transformYieldStatement?(statement: ir.YieldStatement): StatementTransformationResult;
+    transformAssignmentStatement?(statement: ir.AssignmentStatement): StatementTransformationResult;
+    transformTryCatchFinallyStatement?(statement: ir.TryCatchFinallyStatement): StatementTransformationResult;
+    transformEsModuleImportDirectiveStatement?(statement: ir.EsModuleImportDirectiveStatement): StatementTransformationResult;
+    transformCjsModuleImportDirectiveStatement?(statement: ir.CjsModuleImportDirectiveStatement): StatementTransformationResult;
+    transformJsNamespaceDestructuringStatement?(statement: ir.JsNamespaceDestructuringStatement): StatementTransformationResult;
+    transformPackageMethodDeclaration?(declaration: ir.PackageMethodDeclaration): PackageMemberDeclarationTransformationResult;
+    transformPackageTypeDeclaration?(declaration: ir.PackageTypeDeclaration): PackageMemberDeclarationTransformationResult;
+    transformPackageVariableDeclaration?(declaration: ir.PackageVariableDeclaration): PackageMemberDeclarationTransformationResult;
+    transformPackageVariableGetterDeclaration?(declaration: ir.PackageVariableGetterDeclaration): PackageMemberDeclarationTransformationResult;
+    transformPackageVariableSetterDeclaration?(declaration: ir.PackageVariableSetterDeclaration): PackageMemberDeclarationTransformationResult;
+    transformPackageVariantTypeDeclaration?(declaration: ir.PackageVariantTypeDeclaration): PackageMemberDeclarationTransformationResult;
+    transformTypeVariableDeclaration?(declaration: ir.TypeVariableDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeMethodDeclaration?(declaration: ir.TypeMethodDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeConstructorDeclaration?(declaration: ir.TypeConstructorDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeDestructorDeclaration?(declaration: ir.TypeDestructorDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeIndexedGetterDeclaration?(declaration: ir.TypeIndexedGetterDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeIndexedSetterDeclaration?(declaration: ir.TypeIndexedSetterDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeDereferencedVariableGetterDeclaration?(declaration: ir.TypeDereferencedVariableGetterDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeDereferencedVariableSetterDeclaration?(declaration: ir.TypeDereferencedVariableSetterDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeVariableGetterDeclaration?(declaration: ir.TypeVariableGetterDeclaration): TypeMemberDeclarationTransformationResult;
+    transformTypeVariableSetterDeclaration?(declaration: ir.TypeVariableSetterDeclaration): TypeMemberDeclarationTransformationResult;
+    transformNestedMethodDeclaration?(declaration: ir.NestedMethodDeclaration): NodeTransformationResult<ir.NestedMethodDeclaration>;
+    transformLocalVariableDeclaration?(declaration: ir.LocalVariableDeclaration): NodeTransformationResult<ir.LocalVariableDeclaration>;
+    transformValueParameterDeclaration?(declaration: ir.ValueParameterDeclaration): NodeTransformationResult<ir.ValueParameterDeclaration>;
+    transformCaseClause?(declaration: ir.CaseClause): NodeTransformationResult<ir.CaseClause>;
+    transformVariantDeclaration?(declaration: ir.VariantDeclaration): NodeTransformationResult<ir.VariantDeclaration>;
+    transformCallArguments?(declaration: ir.CallArguments): NodeTransformationResult<ir.CallArguments>;
+    transformOnErrorClause?(clause: ir.OnErrorClause): NodeTransformationResult<ir.OnErrorClause>;
+    transformFinallyClause?(clause: ir.FinallyClause): NodeTransformationResult<ir.FinallyClause>;
+    transformJsObjectLiteralProperty?(clause: ir.JsObjectLiteralProperty): NodeTransformationResult<ir.JsObjectLiteralProperty>;
 }
-export {};
+export declare const enum TransformationContinuationAction {
+    Continue = 0,
+    DoNotTransformChildren = 1
+}
+export type ExpressionTransformationResult = {
+    kind: 'preserve';
+    action: TransformationContinuationAction;
+} | {
+    kind: 'replace';
+    expression: ir.Expression;
+    hoistedLocalVariables?: readonly VariableEntity[];
+};
+export declare function preserveExpression(action?: TransformationContinuationAction): ExpressionTransformationResult;
+export declare function replaceExpression(expression: ir.Expression, hoistedLocalVariables?: readonly VariableEntity[]): ExpressionTransformationResult;
+export type TypeAccessExpressionTransformationResult = {
+    kind: 'preserve';
+    action: TransformationContinuationAction;
+} | {
+    kind: 'replace';
+    expression: ir.TypeAccessExpression;
+};
+export declare function preserveTypeAccess(action?: TransformationContinuationAction): TypeAccessExpressionTransformationResult;
+export declare function replaceTypeAccess(expression: ir.TypeAccessExpression): TypeAccessExpressionTransformationResult;
+export type PackageMemberDeclarationTransformationResult = {
+    kind: 'preserve';
+} | {
+    kind: 'replace';
+    declarations: readonly ir.PackageMemberDeclaration[];
+} | {
+    kind: 'remove';
+};
+export declare function preservePackageMember(): PackageMemberDeclarationTransformationResult;
+export declare function replacePackageMember(declarations: readonly ir.PackageMemberDeclaration[]): PackageMemberDeclarationTransformationResult;
+export declare function removePackageMember(): PackageMemberDeclarationTransformationResult;
+export type StatementTransformationResult = {
+    kind: 'preserve';
+    hoistedLocalVariables?: readonly VariableEntity[];
+} | {
+    kind: 'replace';
+    statement: ir.Statement;
+    hoistedLocalVariables?: readonly VariableEntity[];
+} | {
+    kind: 'remove';
+    hoistedLocalVariables: undefined;
+};
+export declare function preserveStatement(hoistedLocalVariables?: readonly VariableEntity[]): StatementTransformationResult;
+export declare function replaceStatement(statement: ir.Statement, hoistedLocalVariables?: readonly VariableEntity[]): StatementTransformationResult;
+export declare function removeStatement(): StatementTransformationResult;
+export type TypeMemberDeclarationTransformationResult = {
+    kind: 'preserve';
+} | {
+    kind: 'replace';
+    declarations: readonly ir.TypeMemberDeclaration[];
+};
+export declare function preserveTypeMember(): TypeMemberDeclarationTransformationResult;
+export declare function replaceTypeMember(declarations: readonly ir.TypeMemberDeclaration[]): TypeMemberDeclarationTransformationResult;
+export type NodeTransformationResult<T> = {
+    kind: 'preserve';
+    action: TransformationContinuationAction;
+} | {
+    kind: 'replace';
+    node: T;
+};
+export declare function preserveNode<T>(action?: TransformationContinuationAction): NodeTransformationResult<T>;
+export declare function replaceNode<T>(node: T): NodeTransformationResult<T>;

package/build/types/emitter/ir/Nodes.d.ts

@@ -480,14 +480,6 @@ export declare class NoneLiteral {
     constructor(sourceLocation: SourceLocation | undefined);
     clone(): NoneLiteral;
 }
-export declare class NotExpression {
-    expression: Expression;
-    operator: AccessedMethod | undefined;
-    sourceLocation: SourceLocation | undefined;
-    readonly kind = NodeKind.NotExpression;
-    constructor(expression: Expression, operator: AccessedMethod | undefined, sourceLocation: SourceLocation | undefined);
-    clone(): NotExpression;
-}
 export declare class NumericLiteral {
     value: number;
     sourceLocation: SourceLocation | undefined;
@@ -986,7 +978,8 @@ export declare const enum AssignmentOperatorKind {
 export declare const enum PrefixUnaryExpressionOperatorKind {
     Plus = 0,
     Minus = 1,
-    BitwiseNot = 2
+    Not = 2,
+    BitwiseNot = 3
 }
 export declare const enum BinaryExpressionOperatorKind {
     Add = 0,
@@ -998,8 +991,8 @@ export declare const enum BinaryExpressionOperatorKind {
     NotEquals = 6,
     LessThan = 7,
     GreaterThan = 8,
-    LessThanEquals = 9,
-    GreaterThanEquals = 10,
+    LessThanOrEqual = 9,
+    GreaterThanOrEqual = 10,
     Or = 11,
     And = 12,
     Xor = 13,

package/build/types/emitter/ir/types.d.ts

@@ -1,8 +1,8 @@
 import * as ir from './Nodes.js';
-export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.NoneLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.HelperMethodCallExpression | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedMethodDeclaration | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NotExpression | ir.NumericLiteral | ir.OnErrorClause | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.TextTemplateLiteral | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TryCatchFinallyStatement | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.JsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
+export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.NoneLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.HelperMethodCallExpression | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedMethodDeclaration | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NumericLiteral | ir.OnErrorClause | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.TextTemplateLiteral | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TryCatchFinallyStatement | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.JsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
 export type Declaration = ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.NestedMethodDeclaration | ir.LocalVariableDeclaration | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.ValueParameterDeclaration | ir.VariantDeclaration | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
 export type Statement = ir.AssignmentStatement | ir.BlockStatement | ir.BreakLoopStatement | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.ForStatement | ir.IfStatement | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclarationStatement | ir.LoopStatement | ir.ReturnStatement | ir.SwitchStatement | ir.TryCatchFinallyStatement | ir.WhileStatement | ir.YieldStatement | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement;
-export type Expression = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.BinaryExpression | ir.BooleanLiteral | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.NoneLiteral | ir.HelperMethodCallExpression | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.NotExpression | ir.NumericLiteral | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.DereferenceExpression | ir.TextLiteral | ir.TextTemplateLiteral | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.BaseConstructorCallExpression | ir.JsIndexedAccessExpression | ir.JsObjectLiteral | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.BaseExpression | ir.OwnConstructorCallExpression;
+export type Expression = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.BinaryExpression | ir.BooleanLiteral | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.NoneLiteral | ir.HelperMethodCallExpression | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.NumericLiteral | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.DereferenceExpression | ir.TextLiteral | ir.TextTemplateLiteral | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.BaseConstructorCallExpression | ir.JsIndexedAccessExpression | ir.JsObjectLiteral | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.BaseExpression | ir.OwnConstructorCallExpression;
 export type TypeMemberDeclaration = ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
 export type PackageMemberDeclaration = ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration;
 export type LValueExpression = ir.VariableAccessExpression | ir.TypeVariableAccessExpression | ir.IndexedAccessExpression | ir.JsIndexedAccessExpression | ir.JsPropertyAccessExpression | ir.ThisExpression | ir.DereferenceExpression;

package/build/types/entities/MethodEntity.d.ts

@@ -19,6 +19,7 @@ export interface TypeMethodEntity extends IMethodEntity {
     isAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     isMethodTypeInvokeMethod(): boolean;
+    getOverriddenMember(): types.Method | undefined;
 }
 export interface NestedMethodEntity extends IMethodEntity {
     readonly subkind: 'nested';
@@ -72,6 +73,7 @@ export declare class TypeMethodDeclarationEntity implements TypeMethodEntity {
     readonly subkind = "type";
     private readonly _typeParameters;
     private readonly _valueParameters;
+    private readonly _overriddenMember;
     constructor(_analyzer: Analyzer, _node: TypeMethodDeclaration);
     getName(): Name;
     getTypeParameters(): readonly TypeParameterEntity[];
@@ -90,6 +92,7 @@ export declare class TypeMethodDeclarationEntity implements TypeMethodEntity {
     isAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getOverriddenMember(): types.Method | undefined;
 }
 export declare class NestedMethodDeclarationEntity implements NestedMethodEntity {
     private readonly _analyzer;
@@ -150,9 +153,10 @@ export declare class IntrinsicTypeMethodEntity implements TypeMethodEntity {
     private readonly _isRedefined;
     private readonly _isAbstract;
     private readonly _isModifyingOwningPlainObject;
+    private readonly _overriddenMember;
     readonly kind = EntityKind.Method;
     readonly subkind = "type";
-    constructor(_name: Name, _typeParameters: readonly TypeParameterEntity[], _valueParameters: readonly ParameterVariableEntity[], _returnType: types.Type, _isAsync: boolean, _isHidden: EntityHidingLevel | undefined, _tags: readonly Tag[], _isMethodTypeInvokeMethod: boolean, _container: TypeMemberEntityContainer, _isStatic: boolean, _isRedefinable: boolean, _isRedefined: boolean, _isAbstract: boolean, _isModifyingOwningPlainObject: boolean);
+    constructor(_name: Name, _typeParameters: readonly TypeParameterEntity[], _valueParameters: readonly ParameterVariableEntity[], _returnType: types.Type, _isAsync: boolean, _isHidden: EntityHidingLevel | undefined, _tags: readonly Tag[], _isMethodTypeInvokeMethod: boolean, _container: TypeMemberEntityContainer, _isStatic: boolean, _isRedefinable: boolean, _isRedefined: boolean, _isAbstract: boolean, _isModifyingOwningPlainObject: boolean, _overriddenMember: types.Method | undefined);
     getName(): Name;
     getTypeParameters(): readonly TypeParameterEntity[];
     getValueParameters(): readonly ParameterVariableEntity[];
@@ -170,5 +174,6 @@ export declare class IntrinsicTypeMethodEntity implements TypeMethodEntity {
     isAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getOverriddenMember(): types.Method | undefined;
 }
 export {};

package/build/types/entities/OperatorEntity.d.ts

@@ -16,6 +16,7 @@ export interface OperatorEntity {
     isAbstract(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.Operator | undefined;
 }
 export type OperatorDefinition = {
     kind: DefinitionKind.Source;
@@ -27,6 +28,7 @@ export declare class OperatorDeclarationEntity implements OperatorEntity {
     readonly kind = EntityKind.Operator;
     private readonly _operatorKind;
     private readonly _valueParameters;
+    private readonly _overriddenMember;
     constructor(_analyzer: Analyzer, _node: tree.OperatorDeclaration);
     getOperatorKind(): OperatorKind;
     getValueParameters(): readonly ParameterVariableEntity[];
@@ -39,5 +41,6 @@ export declare class OperatorDeclarationEntity implements OperatorEntity {
     isAbstract(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.Operator | undefined;
     private convertSyntaxOperatorKind;
 }

package/build/types/entities/OperatorKind.d.ts

@@ -3,28 +3,27 @@ export declare enum OperatorKind {
     UnaryPlus = 0,
     UnaryMinus = 1,
     Not = 2,
-    BitwiseNot = 3,
-    Add = 4,
-    Subtract = 5,
-    Multiply = 6,
-    Divide = 7,
-    IntegerDivide = 8,
-    Modulo = 9,
-    LessThan = 10,
-    GreaterThan = 11,
-    LessThanEquals = 12,
-    GreaterThanEquals = 13,
-    Or = 14,
-    And = 15,
-    Xor = 16,
-    BitwiseAnd = 17,
-    BitwiseOr = 18,
-    BitwiseXor = 19
+    Add = 3,
+    Subtract = 4,
+    Multiply = 5,
+    Divide = 6,
+    IntegerDivide = 7,
+    Modulo = 8,
+    LessThan = 9,
+    GreaterThan = 10,
+    LessThanOrEqual = 11,
+    GreaterThanOrEqual = 12,
+    Or = 13,
+    And = 14,
+    Xor = 15,
+    BitwiseAnd = 16,
+    BitwiseOr = 17,
+    BitwiseXor = 18
 }
 /**
  * Виды операторов, задаваемых токенами (`+`, `-`, `*=` и др.).
  */
-export type KindOfOperatorDefinedByToken = OperatorKind.BitwiseNot | OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanEquals | OperatorKind.GreaterThanEquals | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
+export type KindOfOperatorDefinedByToken = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
 export declare function isOperatorDefinedByToken(kind: OperatorKind): kind is KindOfOperatorDefinedByToken;
 /**
  * Виды операторов, задаваемых ключевыми словами (`и`, `или`, `не` и др.)
@@ -34,12 +33,12 @@ export declare function isOperatorDefinedByKeyword(kind: OperatorKind): kind is
 /**
  * Виды одноместных операторов. Объявление одноместного оператора не должно содержать ни одного параметра.
  */
-export type UnaryOperatorKind = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Not | OperatorKind.BitwiseNot;
+export type UnaryOperatorKind = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Not;
 export declare function isUnaryOperator(kind: OperatorKind): kind is UnaryOperatorKind;
 /**
 * Виды двухместных операторов. Объявление двухместного оператора должно содержать один параметр.
 */
-export type BinaryOperatorKind = OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanEquals | OperatorKind.GreaterThanEquals | OperatorKind.Or | OperatorKind.And | OperatorKind.Xor | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
+export type BinaryOperatorKind = OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.Or | OperatorKind.And | OperatorKind.Xor | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
 export declare function isBinaryOperator(kind: OperatorKind): kind is BinaryOperatorKind;
 export type KindOfUnaryOperatorDefinedByToken = UnaryOperatorKind & KindOfOperatorDefinedByToken;
 export type KindOfUnaryOperatorDefinedByKeyword = UnaryOperatorKind & KindOfOperatorDefinedByKeyword;

package/build/types/entities/VariableEntity.d.ts

@@ -17,6 +17,7 @@ export interface TypeVariableEntity extends IVariableEntity {
     isRedefinable(): boolean;
     isRedefined(): boolean;
     isAbstract(): boolean;
+    getOverriddenMember(): types.Variable | undefined;
 }
 export interface ParameterVariableEntity extends IVariableEntity {
     readonly subkind: 'parameter';
@@ -140,6 +141,7 @@ export declare class TypeVariableDeclarationEntity implements TypeVariableEntity
     private readonly _analyzer;
     private readonly _node;
     private readonly _typeInferrer;
+    private readonly _overriddenMember;
     constructor(analyzer: Analyzer, node: TypeVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
@@ -155,6 +157,7 @@ export declare class TypeVariableDeclarationEntity implements TypeVariableEntity
     isRedefinable(): boolean;
     isRedefined(): boolean;
     isAbstract(): boolean;
+    getOverriddenMember(): types.Variable | undefined;
 }
 export declare class ComputedTypeVariableDeclarationEntity implements TypeVariableEntity {
     readonly kind = EntityKind.Variable;
@@ -163,6 +166,7 @@ export declare class ComputedTypeVariableDeclarationEntity implements TypeVariab
     private readonly _getterDeclaration;
     private readonly _setterDeclaration;
     private readonly _getterOrSetterDeclaration;
+    private readonly _overriddenMember;
     constructor(analyzer: Analyzer, getterDeclaration: TypeVariableGetterDeclaration | undefined, setterDeclaration: TypeVariableSetterDeclaration | undefined);
     getName(): Name;
     getType(): types.Type;
@@ -178,6 +182,7 @@ export declare class ComputedTypeVariableDeclarationEntity implements TypeVariab
     getSetter(): SetterEntity | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.Variable | undefined;
 }
 export declare class LocalVariableDeclarationEntity implements LocalVariableEntity {
     private readonly _analyzer;
@@ -349,9 +354,10 @@ export declare class IntrinsicTypeVariableEntity implements TypeVariableEntity {
     private readonly _isHidden;
     private readonly _getter;
     private readonly _setter;
+    private readonly _overriddenMember;
     readonly kind = EntityKind.Variable;
     readonly subkind = "type";
-    constructor(_name: Name, _type: types.Type, _container: TypeMemberEntityContainer, _isStatic: boolean, _isRedefinable: boolean, _isRedefined: boolean, _isAbstract: boolean, _isSpecial: SpecialVariableEntityInfo | undefined, _isHidden: EntityHidingLevel | undefined, _getter: GetterEntity | undefined, _setter: SetterEntity | undefined);
+    constructor(_name: Name, _type: types.Type, _container: TypeMemberEntityContainer, _isStatic: boolean, _isRedefinable: boolean, _isRedefined: boolean, _isAbstract: boolean, _isSpecial: SpecialVariableEntityInfo | undefined, _isHidden: EntityHidingLevel | undefined, _getter: GetterEntity | undefined, _setter: SetterEntity | undefined, _overriddenMember: types.Variable | undefined);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -366,6 +372,7 @@ export declare class IntrinsicTypeVariableEntity implements TypeVariableEntity {
     isRedefinable(): boolean;
     isRedefined(): boolean;
     isAbstract(): boolean;
+    getOverriddenMember(): types.Variable | undefined;
 }
 export declare class IntrinsicParameterVariableEntity implements ParameterVariableEntity {
     private readonly _name;

package/build/types/parser/UnescapeText.d.ts

@@ -1,2 +1,3 @@
 export declare function withoutQuotes(text: string): string;
+export declare function withoutTextTemplateQuotes(text: string): string;
 export declare function unescapeText(text: string, normalizeCRLF?: boolean): string;

package/build/types/services/NodeSemanticInfo.d.ts

@@ -20,7 +20,6 @@ export declare class NodeSemanticInfoService {
     static ofIndexedAccessExpressionOperator(analyzer: Analyzer, node: tree.IndexedAccessExpression, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofAssignmentStatementOperator(analyzer: Analyzer, node: tree.AssignmentStatement, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofBinaryExpressionOperator(analyzer: Analyzer, node: tree.BinaryExpression, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
-    static ofNotExpressionNotKeyword(analyzer: Analyzer, node: tree.NotExpression, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofPrefixUnaryExpressionOperator(analyzer: Analyzer, node: tree.PrefixUnaryExpression, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofDereferenceOperatorDeclaration(analyzer: Analyzer, node: tree.TypeDereferencedVariableGetterDeclaration | tree.TypeDereferencedVariableSetterDeclaration): NodeSemanticInfo | undefined;
     static ofDereferenceExpressionOperator(analyzer: Analyzer, node: tree.DereferenceExpression, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;