@artel/artc 0.6.25265 → 0.6.25267

package/build/{chunk-ZL6MDCED.js → chunk-PWOY5UD5.js}

@@ -10,7 +10,7 @@ import {
   WellKnownDeclarationsLoadError,
   __async,
   createTsInteropInputsForCompilation
-} from "./chunk-7MWYN6O7.js";
+} from "./chunk-PONDNA47.js";
 
 // source/executor/Compiler.ts
 var Compiler = class {

package/build/{chunk-H4KRG6OZ.js → chunk-QPMUNY52.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-ZL6MDCED.js";
+} from "./chunk-PWOY5UD5.js";
 import {
   ArtelVersion,
   Cached,
@@ -14,7 +14,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-7MWYN6O7.js";
+} from "./chunk-PONDNA47.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

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

@@ -20,6 +20,7 @@ export declare class EmitterContext {
     createIdentitySubstitutedType(entity: TypeOrExtensionEntity): Type;
     unaliasTypeEntity(typeEntity: TypeOrExtensionEntity): Type;
     unaliasType(type: Type): Type;
+    createUnionType(types: readonly Type[]): Type;
     isTypeEmittedAsClass(entity: TypeOrExtensionEntity): boolean;
     isRefOrPlainObjectTypeEntity(entity: TypeOrExtensionEntity): boolean;
     isAspectTypeEntity(entity: TypeOrExtensionEntity): boolean;

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

@@ -2,10 +2,11 @@ import { DeclarationsUsageMap } from '../analysis/DeclarationsUsageCounter.js';
 import { Analyzer } from '../analysis/index.js';
 import { SourceFile, SourcePackage } from '../project/index.js';
 import * as tree from '../tree/index.js';
+import { EmitterContext } from './EmitterContext.js';
 import { EntityMap } from './EntityMap.js';
 import * as ir from './ir/index.js';
 export declare class IrBuilder {
-    private readonly analyzer;
+    private readonly ectx;
     private readonly entityMap;
     private readonly declarationUsageInfoOfAllPackages;
     private readonly typesCreatedFromAnonymousTypes;
@@ -15,8 +16,9 @@ export declare class IrBuilder {
     private declarationsUsageInfoOfPackageSourceFiles;
     private id;
     private currentLoopLabel;
+    private get analyzer();
     private get textTemplateToTextMethod();
-    constructor(analyzer: Analyzer, entityMap: EntityMap, declarationUsageInfoOfAllPackages: ReadonlyMap<tree.SourceFile, DeclarationsUsageMap>);
+    constructor(ectx: EmitterContext, entityMap: EntityMap, declarationUsageInfoOfAllPackages: ReadonlyMap<tree.SourceFile, DeclarationsUsageMap>);
     build(pkg: SourcePackage): ir.Package;
     private buildPackageMemberDeclarationList;
     private buildPackageConstructorDeclaration;

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

@@ -1,6 +1,112 @@
+import { AccessKind } from '../common/index.js';
 import { EmitterContext } from './EmitterContext.js';
-import { FunctionEntity, VariableEntity } from './Entities.js';
+import { FunctionEntity, NamedEntity, PackageEntity, Type, TypeOrExtensionEntity, VariableEntity } from './Entities.js';
 import * as ir from './ir/index.js';
+export declare function pkg(entity: PackageEntity, leadingStatements: readonly ir.Statement[], declarations: readonly ir.PackageMemberDeclaration[], translations: readonly ir.TextTranslationDeclaration[], trailingStatements: readonly ir.Statement[], defaultExportExpression: ir.Expression | undefined, sourceLocation?: ir.SourceLocation): ir.Package;
+export declare function packageFunctionDeclaration(entity: FunctionEntity, parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isGenerator: boolean, sourceLocation?: ir.SourceLocation): ir.PackageFunctionDeclaration;
+export declare function packageTypeDeclaration(entity: TypeOrExtensionEntity, members: readonly ir.TypeMemberDeclaration[], sourceLocation?: ir.SourceLocation): ir.PackageTypeDeclaration;
+export declare function packageVariableDeclaration(entity: VariableEntity, initializer: ir.Expression | undefined, sourceLocation?: ir.SourceLocation): ir.PackageVariableDeclaration;
+export declare function packageVariableGetterDeclaration(entity: FunctionEntity, variableEntity: VariableEntity, body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.PackageVariableGetterDeclaration;
+export declare function packageVariableSetterDeclaration(entity: FunctionEntity, variableEntity: VariableEntity, body: ir.BlockStatement, valueLocalVariableEntity: VariableEntity, sourceLocation?: ir.SourceLocation): ir.PackageVariableSetterDeclaration;
+export declare function packageVariantTypeDeclaration(entity: TypeOrExtensionEntity, underlyingTypeKind: ir.UnderlyingTypeKind, variants: readonly ir.VariantDeclaration[], sourceLocation?: ir.SourceLocation): ir.PackageVariantTypeDeclaration;
+export declare function variantDeclaration(entity: VariableEntity, value: ir.Expression | undefined, sourceLocation?: ir.SourceLocation): ir.VariantDeclaration;
+export declare function decorator(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.Decorator;
+export declare function arrayLiteral(ectx: EmitterContext, elements: readonly ir.Expression[], sourceLocation?: ir.SourceLocation): ir.ArrayLiteral;
+export declare function arrayLiteralWithType(elements: readonly ir.Expression[], type: Type, sourceLocation?: ir.SourceLocation): ir.ArrayLiteral;
+export declare function asExpression(expression: ir.Expression, type: Type, sourceLocation?: ir.SourceLocation): ir.AsExpression;
+export declare function assertionExpression(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.AssertionExpression;
+export declare function assignmentExpression(left: ir.LValueExpression, right: ir.Expression, sourceLocation?: ir.SourceLocation): ir.AssignmentExpression;
+export declare function assignmentExpressionWithOperatorKind(left: ir.LValueExpression, operatorKind: ir.AssignmentOperatorKind, right: ir.Expression, sourceLocation?: ir.SourceLocation): ir.AssignmentExpression;
+export declare function assignmentStatement(left: ir.LValueExpression, right: ir.Expression, sourceLocation?: ir.SourceLocation): ir.AssignmentStatement;
+export declare function assignmentStatementWithOperatorKind(left: ir.LValueExpression, operatorKind: ir.AssignmentOperatorKind, right: ir.Expression, sourceLocation?: ir.SourceLocation): ir.AssignmentStatement;
+export declare function baseConstructorCallExpression(entity: FunctionEntity, args: readonly ir.Expression[] | ir.Arguments, sourceLocation?: ir.SourceLocation): ir.BaseConstructorCallExpression;
+export declare function baseExpression(sourceLocation?: ir.SourceLocation): ir.BaseExpression;
+export declare function binaryExpression(ectx: EmitterContext, left: ir.Expression, operatorKind: ir.BinaryExpressionOperatorKind, right: ir.Expression, sourceLocation?: ir.SourceLocation): ir.BinaryExpression;
+export declare function binaryExpressionWithResultType(left: ir.Expression, operatorKind: ir.BinaryExpressionOperatorKind, right: ir.Expression, type: Type, sourceLocation?: ir.SourceLocation): ir.BinaryExpression;
+export declare function blockStatement(statements: readonly ir.Statement[], sourceLocation?: ir.SourceLocation): ir.BlockStatement;
+export declare function booleanLiteral(value: boolean, sourceLocation?: ir.SourceLocation): ir.BooleanLiteral;
+export declare function breakLoopStatement(label: string, sourceLocation?: ir.SourceLocation): ir.BreakLoopStatement;
+export declare function argument(expression: ir.Expression, targetParameter: ir.TargetParameter, sourceLocation?: ir.SourceLocation): ir.Argument;
+export declare function targetParameter(entity: VariableEntity, type: Type): ir.TargetParameter;
+export declare function unorderedArguments(values: readonly ir.Argument[], targetParameters: readonly VariableEntity[], sourceLocation?: ir.SourceLocation): ir.UnorderedArguments;
+export declare function orderedArguments(values: readonly ir.Expression[], isLastArgumentSpreading: boolean, sourceLocation?: ir.SourceLocation): ir.OrderedArguments;
+export declare function callExpression(expression: ir.Expression, isOptionalAccess: boolean, args: readonly ir.Expression[] | ir.Arguments, isAsyncFunctionCall: boolean, returnType: Type, sourceLocation?: ir.SourceLocation): ir.CallExpression;
+export declare function charLiteral(value: string, sourceLocation?: ir.SourceLocation): ir.CharLiteral;
+export declare function commaExpression(expressions: readonly ir.Expression[], sourceLocation?: ir.SourceLocation): ir.CommaExpression;
+export declare function continueLoopStatement(label: string, sourceLocation?: ir.SourceLocation): ir.ContinueLoopStatement;
+export declare function dereferenceExpression(expression: ir.Expression, isOptionalAccess: boolean, access: ir.ComputedAccess, sourceLocation?: ir.SourceLocation): ir.DereferenceExpression;
+export declare function disposeStatement(expression: ir.Expression, destructorEntity: FunctionEntity, sourceLocation?: ir.SourceLocation): ir.DisposeStatement;
+export declare function emptyStatement(sourceLocation?: ir.SourceLocation): ir.EmptyStatement;
+export declare function errorStatement(expression: ir.Expression, sourceLocation?: ir.SourceLocation, options?: ir.ErrorStatementEmitOptions): ir.ErrorStatement;
+export declare function importantStatement(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.ImportantStatement;
+export declare function expressionStatement(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.ExpressionStatement;
+export declare function finallyClause(body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.FinallyClause;
+export declare function forStatement(label: string | undefined, elementVariableEntity: VariableEntity, indexVariableEntity: VariableEntity | undefined, enumeratedExpression: ir.Expression, body: ir.BlockStatement, ifExpressionIsNotEnumerableThenEnumeratorMethod: ir.AccessedFunction | undefined, sourceLocation?: ir.SourceLocation, options?: ir.ForStatementEmitOptions): ir.ForStatement;
+export declare function ifStatement(condition: ir.Expression, thenStatement: ir.BlockStatement, elseStatement: ir.BlockStatement | undefined, sourceLocation?: ir.SourceLocation): ir.IfStatement;
+export declare function indexedGetAccessExpression(expression: ir.Expression, getter: FunctionEntity | ir.AccessedFunction, args: readonly ir.Expression[] | ir.Arguments, isOptionalAccess: boolean, sourceLocation?: ir.SourceLocation): ir.IndexedAccessExpression;
+export declare function indexedSetAccessExpression(expression: ir.Expression, setter: FunctionEntity | ir.AccessedFunction, args: readonly ir.Expression[] | ir.Arguments, isOptionalAccess: boolean, sourceLocation?: ir.SourceLocation): ir.IndexedAccessExpression;
+export declare function inlineJsExpression(code: string, type: Type, sourceLocation?: ir.SourceLocation): ir.InlineJsExpression;
+export declare function integerLiteral(value: number, sourceLocation?: ir.SourceLocation): ir.IntegerLiteral;
+export declare function isExpression(expression: ir.Expression, type: Type, sourceLocation?: ir.SourceLocation): ir.IsExpression;
+export declare function jsFunctionLiteral(parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isAsync: boolean, isGenerator: boolean, sourceLocation?: ir.SourceLocation): ir.JsFunctionLiteral;
+export declare function jsIdentifierExpression(identifier: string, sourceLocation?: ir.SourceLocation): ir.JsIdentifierExpression;
+export declare function esModuleImportDirectiveStatement(defaultImport: string | undefined, importSpecifiers: readonly ir.JsImportSpecifier[], path: string, sourceLocation?: ir.SourceLocation): ir.EsModuleImportDirectiveStatement;
+export declare function cjsModuleImportDirectiveStatement(defaultImport: string, importSpecifiers: readonly ir.JsImportSpecifier[], path: string, sourceLocation?: ir.SourceLocation): ir.CjsModuleImportDirectiveStatement;
+export declare function jsImportSpecifier(name: string, alias: string | undefined): ir.JsImportSpecifier;
+export declare function jsIndexedAccessExpression(expression: ir.Expression, isOptionalAccess: boolean, argument: ir.Expression, type: Type, sourceLocation?: ir.SourceLocation): ir.JsIndexedAccessExpression;
+export declare function jsInstanceOfExpression(expression: ir.Expression, type: TypeOrExtensionEntity, sourceLocation?: ir.SourceLocation): ir.JsInstanceOfExpression;
+export declare function jsNamespaceDestructuringStatement(defaultImport: string | undefined, destructuredMembers: readonly ir.JsImportSpecifier[], namespaceNameSegments: readonly string[], sourceLocation?: ir.SourceLocation): ir.JsNamespaceDestructuringStatement;
+export declare function jsObjectLiteral(properties: readonly ir.JsObjectLiteralProperty[], sourceLocation?: ir.SourceLocation): ir.JsObjectLiteral;
+export declare function valueJsObjectLiteralProperty(key: ir.JsObjectLiteralPropertyKey, value: ir.Expression, sourceLocation?: ir.SourceLocation): ir.ValueJsObjectLiteralProperty;
+export declare function functionJsObjectLiteralProperty(key: ir.JsObjectLiteralPropertyKey, parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.FunctionJsObjectLiteralProperty;
+export declare function spreadJsObjectLiteralProperty(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.SpreadJsObjectLiteralProperty;
+export declare function jsPropertyAccessExpression(expression: ir.Expression, isOptionalAccess: boolean, name: string, type: Type, sourceLocation?: ir.SourceLocation): ir.JsPropertyAccessExpression;
+export declare function jsTypeOfExpression(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.JsTypeOfExpression;
+export declare function localVariableDeclaration(entity: VariableEntity, initializer: ir.Expression | undefined, sourceLocation?: ir.SourceLocation, options?: ir.DeclarationWithInitializerEmitOptions): ir.LocalVariableDeclaration;
+export declare function localVariableDeclarationStatement(declaration: ir.LocalVariableDeclaration, sourceLocation?: ir.SourceLocation): ir.LocalVariableDeclarationStatement;
+export declare function loopStatement(label: string | undefined, body: ir.BlockStatement, condition: ir.Expression | undefined, sourceLocation?: ir.SourceLocation): ir.LoopStatement;
+export declare function measureLiteral(sourceLocation?: ir.SourceLocation): ir.MeasureLiteral;
+export declare function functionAccessExpression(func: ir.AccessedFunction, isCallee: boolean, sourceLocation?: ir.SourceLocation, options?: ir.FunctionAccessExpressionEmitOptions): ir.FunctionAccessExpression;
+export declare function functionLiteral(parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isAsync: boolean, returnType: Type, sourceLocation?: ir.SourceLocation, options?: ir.FunctionLiteralEmitOptions): ir.FunctionLiteral;
+export declare function nestedFunctionDeclaration(parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, entity: FunctionEntity, isAsync: boolean, isGenerator: boolean, sourceLocation?: ir.SourceLocation): ir.NestedFunctionDeclaration;
+export declare function nestedFunctionDeclarationStatement(declaration: ir.NestedFunctionDeclaration, sourceLocation?: ir.SourceLocation): ir.NestedFunctionDeclarationStatement;
+export declare function nullLiteral(sourceLocation?: ir.SourceLocation): ir.NullLiteral;
+export declare function numericLiteral(value: number, sourceLocation?: ir.SourceLocation): ir.NumericLiteral;
+export declare function catchClause(errorVariableEntity: VariableEntity | undefined, body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.CatchClause;
+export declare function ownConstructorCallExpression(entity: FunctionEntity, containingTypeOfConstructor: TypeOrExtensionEntity, args: ir.Arguments, sourceLocation?: ir.SourceLocation): ir.OwnConstructorCallExpression;
+export declare function prefixUnaryExpression(operatorKind: ir.PrefixUnaryExpressionOperatorKind, expression: ir.Expression, operator: ir.AccessedFunction | undefined, sourceLocation?: ir.SourceLocation): ir.PrefixUnaryExpression;
+export declare function referenceExpression(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.ReferenceExpression;
+export declare function returnStatement(expression: ir.Expression | undefined, sourceLocation?: ir.SourceLocation): ir.ReturnStatement;
+export declare function runStatement(body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.RunStatement;
+export declare function tryStatement(body: ir.BlockStatement, catchClause: ir.CatchClause | undefined, finallyClause: ir.FinallyClause | undefined, sourceLocation?: ir.SourceLocation): ir.TryStatement;
+export declare function switchStatement(matchExpression: ir.Expression, caseClauses: readonly ir.CaseClause[], defaultClauseBody: ir.BlockStatement | undefined, sourceLocation?: ir.SourceLocation): ir.SwitchStatement;
+export declare function caseClause(expressions: readonly ir.Expression[], body: ir.BlockStatement): ir.CaseClause;
+export declare function ternaryExpression(condition: ir.Expression, firstExpression: ir.Expression, secondExpression: ir.Expression, type: Type, sourceLocation?: ir.SourceLocation): ir.TernaryExpression;
+export declare function textLiteral(value: string, sourceLocation?: ir.SourceLocation): ir.TextLiteral;
+export declare function localizableTextLiteral(value: string, code: number | undefined, sourceLocation?: ir.SourceLocation): ir.LocalizableTextLiteral;
+export declare function textWithEntityName(entity: NamedEntity, sourceLocation?: ir.SourceLocation): ir.TextWithEntityName;
+export declare function textTemplateLiteral(textFragments: readonly string[], expressions: readonly ir.Expression[], sourceLocation?: ir.SourceLocation, options?: ir.TextTemplateEmitOptions): ir.TextTemplateLiteral;
+export declare function localizableTextTemplateLiteral(textFragments: readonly string[], expressions: readonly ir.Expression[], code: number | undefined, sourceLocation?: ir.SourceLocation, options?: ir.TextTemplateEmitOptions): ir.LocalizableTextTemplateLiteral;
+export declare function thisExpression(type: Type, sourceLocation?: ir.SourceLocation): ir.ThisExpression;
+export declare function typeAccessExpression(entity: TypeOrExtensionEntity, sourceLocation?: ir.SourceLocation): ir.TypeAccessExpression;
+export declare function constructorDeclaration(decorators: readonly ir.Decorator[], parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, entity: FunctionEntity, sourceLocation?: ir.SourceLocation): ir.ConstructorDeclaration;
+export declare function dereferencedVariableGetterDeclaration(entity: FunctionEntity, decorators: readonly ir.Decorator[], modifiers: ir.Modifiers, body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.DereferencedVariableGetterDeclaration;
+export declare function dereferencedVariableSetterDeclaration(entity: FunctionEntity, decorators: readonly ir.Decorator[], modifiers: ir.Modifiers, body: ir.BlockStatement, valueLocalVariableEntity: VariableEntity, sourceLocation?: ir.SourceLocation): ir.DereferencedVariableSetterDeclaration;
+export declare function destructorDeclaration(decorators: readonly ir.Decorator[], parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, entity: FunctionEntity, sourceLocation?: ir.SourceLocation): ir.DestructorDeclaration;
+export declare function indexedElementGetterDeclaration(entity: FunctionEntity, decorators: readonly ir.Decorator[], modifiers: ir.Modifiers, parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.IndexedElementGetterDeclaration;
+export declare function indexedElementSetterDeclaration(entity: FunctionEntity, decorators: readonly ir.Decorator[], modifiers: ir.Modifiers, parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, valueLocalVariableEntity: VariableEntity, sourceLocation?: ir.SourceLocation): ir.IndexedElementSetterDeclaration;
+export declare function methodAccessExpression(expression: ir.Expression, isOptionalAccess: boolean, method: ir.AccessedFunction, isCallee: boolean, ifComputedThenKey: ir.Expression | undefined, sourceLocation?: ir.SourceLocation, options?: ir.FunctionAccessExpressionEmitOptions): ir.MethodAccessExpression;
+export declare function methodDeclaration(decorators: readonly ir.Decorator[], modifiers: ir.Modifiers, parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, entity: FunctionEntity, isGenerator: boolean, ifComputedThenKey: ir.Expression | undefined, sourceLocation?: ir.SourceLocation, options?: ir.MethodDeclarationEmitOptions): ir.MethodDeclaration;
+export declare function fieldAccessExpression(expression: ir.Expression, isOptionalAccess: boolean, field: ir.AccessedVariable, accessKind: AccessKind, ifComputedThenKey: ir.Expression | undefined, sourceLocation?: ir.SourceLocation, options?: ir.FieldAccessExpressionEmitOptions): ir.FieldAccessExpression;
+export declare function fieldDeclaration(decorators: readonly ir.Decorator[], modifiers: ir.Modifiers, initializer: ir.Expression | undefined, entity: VariableEntity, ifComputedThenKey: ir.Expression | undefined, sourceLocation?: ir.SourceLocation, options?: ir.FieldDeclarationEmitOptions): ir.FieldDeclaration;
+export declare function computedFieldDeclaration(entity: VariableEntity, modifiers: ir.Modifiers, getter: ir.FieldGetterDeclaration, setter: ir.FieldSetterDeclaration | undefined, ifComputedThenKey: ir.Expression | undefined, sourceLocation?: ir.SourceLocation, options?: ir.FieldDeclarationEmitOptions): ir.ComputedFieldDeclaration;
+export declare function fieldGetterDeclaration(entity: FunctionEntity, decorators: readonly ir.Decorator[], body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.FieldGetterDeclaration;
+export declare function fieldSetterDeclaration(entity: FunctionEntity, decorators: readonly ir.Decorator[], body: ir.BlockStatement, valueLocalVariableEntity: VariableEntity, sourceLocation?: ir.SourceLocation): ir.FieldSetterDeclaration;
+export declare function parameterDeclaration(entity: VariableEntity, defaultValue: ir.Expression | undefined, isRest: boolean, sourceLocation?: ir.SourceLocation): ir.ParameterDeclaration;
+export declare function whileStatement(label: string | undefined, condition: ir.Expression, body: ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.WhileStatement;
+export declare function yieldStatement(expression: ir.Expression, sourceLocation?: ir.SourceLocation): ir.YieldStatement;
+export declare function textTranslationDeclaration(key: string | number, sourceTextTemplate: ir.TranslationTextTemplate | undefined, translatedTextOrFunctionBlock: ir.TextLiteral | ir.BlockStatement, sourceLocation?: ir.SourceLocation): ir.TextTranslationDeclaration;
+export declare function translationTextTemplate(fragments: readonly string[], parameters: readonly VariableEntity[], sourceLocation?: ir.SourceLocation): ir.TranslationTextTemplate;
 export declare function instanceMethodCallExpression(expression: ir.Expression, method: FunctionEntity | ir.AccessedFunction, args: readonly ir.Expression[] | ir.Arguments, isOptionalAccess: boolean, sourceLocation?: ir.SourceLocation): ir.CallExpression;
 export declare function staticMethodCallExpression(method: FunctionEntity | ir.AccessedFunction, args: readonly ir.Expression[] | ir.Arguments, sourceLocation?: ir.SourceLocation): ir.CallExpression;
 export declare function constructorCallExpression(ectx: EmitterContext, constructor: FunctionEntity, args: readonly ir.Expression[] | ir.Arguments, sourceLocation?: ir.SourceLocation): ir.ConstructorCallExpression;

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

@@ -69,7 +69,6 @@ export declare class Transformer {
     transformExpression(expression: ir.Expression): ir.Expression;
     transformAsExpressionChildren(expression: ir.AsExpression): void;
     transformAssertionExpressionChildren(expression: ir.AssertionExpression): void;
-    transformAssumptionExpressionChildren(expression: ir.AssumptionExpression): void;
     transformBinaryExpressionChildren(expression: ir.BinaryExpression): void;
     transformBooleanLiteralChildren(_expression: ir.BooleanLiteral): void;
     transformCallExpressionChildren(expression: ir.CallExpression): void;
@@ -123,7 +122,6 @@ export declare class Transformer {
 }
 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;

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

@@ -12,40 +12,42 @@ export declare class Package {
     translations: readonly TextTranslationDeclaration[];
     trailingStatements: readonly Statement[];
     defaultExportExpression: Expression | undefined;
-    sourceLocation: SourceLocation | undefined;
+    sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.Package;
-    constructor(entity: PackageEntity, leadingStatements: readonly Statement[], declarations: readonly PackageMemberDeclaration[], translations: readonly TextTranslationDeclaration[], trailingStatements: readonly Statement[], defaultExportExpression: Expression | undefined, sourceLocation: SourceLocation | undefined);
+    constructor(entity: PackageEntity, leadingStatements: readonly Statement[], declarations: readonly PackageMemberDeclaration[], translations: readonly TextTranslationDeclaration[], trailingStatements: readonly Statement[], defaultExportExpression: Expression | undefined, sourceLocation?: SourceLocation | undefined);
     clone(): Package;
 }
 export declare class PackageFunctionDeclaration {
+    entity: FunctionEntity;
     modifiers: Modifiers;
     parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
-    entity: FunctionEntity;
     isGenerator: boolean;
     sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.PackageFunctionDeclaration;
-    constructor(modifiers: Modifiers, parameters: readonly ParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, isGenerator: boolean, sourceLocation?: SourceLocation | undefined);
+    constructor(entity: FunctionEntity, modifiers: Modifiers, parameters: readonly ParameterDeclaration[], body: BlockStatement, isGenerator: boolean, sourceLocation?: SourceLocation | undefined);
     clone(): PackageFunctionDeclaration;
 }
 export declare class PackageTypeDeclaration {
-    decorators: readonly Decorator[];
+    entity: TypeOrExtensionEntity;
     modifiers: Modifiers;
     members: readonly TypeMemberDeclaration[];
-    entity: TypeOrExtensionEntity;
     sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.PackageTypeDeclaration;
-    constructor(decorators: readonly Decorator[], modifiers: Modifiers, members: readonly TypeMemberDeclaration[], entity: TypeOrExtensionEntity, sourceLocation?: SourceLocation | undefined);
+    decorators: readonly Decorator[];
+    constructor(entity: TypeOrExtensionEntity, modifiers: Modifiers, members: readonly TypeMemberDeclaration[], sourceLocation?: SourceLocation | undefined);
+    withDecorators(decorators: readonly Decorator[]): this;
     clone(): PackageTypeDeclaration;
 }
 export declare class PackageVariableDeclaration {
+    entity: VariableEntity;
     modifiers: Modifiers;
     initializer: Expression | undefined;
-    entity: VariableEntity;
     sourceLocation?: SourceLocation | undefined;
-    options: PackageVariableDeclarationEmitOptions;
     readonly kind = NodeKind.PackageVariableDeclaration;
-    constructor(modifiers: Modifiers, initializer: Expression | undefined, entity: VariableEntity, sourceLocation?: SourceLocation | undefined, options?: PackageVariableDeclarationEmitOptions);
+    options: PackageVariableDeclarationEmitOptions;
+    constructor(entity: VariableEntity, modifiers: Modifiers, initializer: Expression | undefined, sourceLocation?: SourceLocation | undefined);
+    withOptions(options: PackageVariableDeclarationEmitOptions): this;
     clone(): PackageVariableDeclaration;
 }
 export declare class PackageVariableGetterDeclaration {
@@ -68,13 +70,13 @@ export declare class PackageVariableSetterDeclaration {
     clone(): PackageVariableSetterDeclaration;
 }
 export declare class PackageVariantTypeDeclaration {
+    entity: TypeOrExtensionEntity;
     modifiers: Modifiers;
     underlyingTypeKind: UnderlyingTypeKind;
     variants: readonly VariantDeclaration[];
-    entity: TypeOrExtensionEntity;
     sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.PackageVariantTypeDeclaration;
-    constructor(modifiers: Modifiers, underlyingTypeKind: UnderlyingTypeKind, variants: readonly VariantDeclaration[], entity: TypeOrExtensionEntity, sourceLocation?: SourceLocation | undefined);
+    constructor(entity: TypeOrExtensionEntity, modifiers: Modifiers, underlyingTypeKind: UnderlyingTypeKind, variants: readonly VariantDeclaration[], sourceLocation?: SourceLocation | undefined);
     clone(): PackageVariantTypeDeclaration;
 }
 export declare const enum UnderlyingTypeKind {
@@ -82,11 +84,11 @@ export declare const enum UnderlyingTypeKind {
     NonNumeric = 1
 }
 export declare class VariantDeclaration {
-    value: Expression | undefined;
     entity: VariableEntity;
+    value: Expression | undefined;
     sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.VariantDeclaration;
-    constructor(value: Expression | undefined, entity: VariableEntity, sourceLocation?: SourceLocation | undefined);
+    constructor(entity: VariableEntity, value: Expression | undefined, sourceLocation?: SourceLocation | undefined);
     clone(): VariantDeclaration;
 }
 export declare class Decorator {
@@ -123,38 +125,34 @@ export declare class AssignmentExpression {
     left: LValueExpression;
     operatorKind: AssignmentOperatorKind;
     right: Expression;
-    operator: AccessedFunction | undefined;
     sourceLocation?: SourceLocation | undefined;
-    options: AssignmentEmitOptions;
     readonly kind = NodeKind.AssignmentExpression;
-    constructor(left: LValueExpression, operatorKind: AssignmentOperatorKind, right: Expression, operator: AccessedFunction | undefined, sourceLocation?: SourceLocation | undefined, options?: AssignmentEmitOptions);
+    operator: AccessedFunction | undefined;
+    options: AssignmentEmitOptions;
+    constructor(left: LValueExpression, operatorKind: AssignmentOperatorKind, right: Expression, sourceLocation?: SourceLocation | undefined);
+    withOperator(operator: AccessedFunction | undefined): this;
+    withOptions(options: AssignmentEmitOptions): this;
     clone(): AssignmentExpression;
 }
 export declare class AssignmentStatement {
     left: LValueExpression;
     operatorKind: AssignmentOperatorKind;
     right: Expression;
-    operator: AccessedFunction | undefined;
     sourceLocation?: SourceLocation | undefined;
-    options: AssignmentEmitOptions;
     readonly kind = NodeKind.AssignmentStatement;
-    constructor(left: LValueExpression, operatorKind: AssignmentOperatorKind, right: Expression, operator: AccessedFunction | undefined, sourceLocation?: SourceLocation | undefined, options?: AssignmentEmitOptions);
+    operator: AccessedFunction | undefined;
+    options: AssignmentEmitOptions;
+    constructor(left: LValueExpression, operatorKind: AssignmentOperatorKind, right: Expression, sourceLocation?: SourceLocation | undefined);
+    withOperator(operator: AccessedFunction | undefined): this;
+    withOptions(options: AssignmentEmitOptions): this;
     clone(): AssignmentStatement;
 }
-export declare class AssumptionExpression {
-    expression: Expression;
-    sourceLocation?: SourceLocation | undefined;
-    readonly kind = NodeKind.AssumptionExpression;
-    constructor(expression: Expression, sourceLocation?: SourceLocation | undefined);
-    clone(): AssumptionExpression;
-}
 export declare class BaseConstructorCallExpression {
     entity: FunctionEntity;
-    containingTypeOfConstructor: TypeOrExtensionEntity;
     args: Arguments;
     sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.BaseConstructorCallExpression;
-    constructor(entity: FunctionEntity, containingTypeOfConstructor: TypeOrExtensionEntity, args: Arguments, sourceLocation?: SourceLocation | undefined);
+    constructor(entity: FunctionEntity, args: Arguments, sourceLocation?: SourceLocation | undefined);
     clone(): BaseConstructorCallExpression;
 }
 export declare class BaseExpression {
@@ -168,10 +166,11 @@ export declare class BinaryExpression {
     operatorKind: BinaryExpressionOperatorKind;
     right: Expression;
     type: Type;
-    operator: AccessedFunction | undefined;
     sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.BinaryExpression;
-    constructor(left: Expression, operatorKind: BinaryExpressionOperatorKind, right: Expression, type: Type, operator: AccessedFunction | undefined, sourceLocation?: SourceLocation | undefined);
+    operator: AccessedFunction | undefined;
+    constructor(left: Expression, operatorKind: BinaryExpressionOperatorKind, right: Expression, type: Type, sourceLocation?: SourceLocation | undefined);
+    withOperator(operator: AccessedFunction | undefined): this;
     clone(): BinaryExpression;
 }
 export declare class BlockStatement {
@@ -234,9 +233,10 @@ export declare class CallExpression {
     isAsyncFunctionCall: boolean;
     returnType: Type;
     sourceLocation?: SourceLocation | undefined;
-    options: CallExpressionEmitOptions;
     readonly kind = NodeKind.CallExpression;
-    constructor(expression: Expression, isOptionalAccess: boolean, args: Arguments, isAsyncFunctionCall: boolean, returnType: Type, sourceLocation?: SourceLocation | undefined, options?: CallExpressionEmitOptions);
+    options: CallExpressionEmitOptions;
+    constructor(expression: Expression, isOptionalAccess: boolean, args: Arguments, isAsyncFunctionCall: boolean, returnType: Type, sourceLocation?: SourceLocation | undefined);
+    withOptions(options: CallExpressionEmitOptions): this;
     clone(): CallExpression;
 }
 export declare class CharLiteral {
@@ -700,9 +700,9 @@ export declare class TextLiteral {
 export declare class LocalizableTextLiteral {
     value: string;
     code: number | undefined;
-    sourceLocation: SourceLocation | undefined;
+    sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.LocalizableTextLiteral;
-    constructor(value: string, code: number | undefined, sourceLocation: SourceLocation | undefined);
+    constructor(value: string, code: number | undefined, sourceLocation?: SourceLocation | undefined);
     clone(): LocalizableTextLiteral;
 }
 /**
@@ -720,20 +720,20 @@ export declare class TextWithEntityName {
 export declare class TextTemplateLiteral {
     textFragments: readonly string[];
     expressions: readonly Expression[];
-    sourceLocation: SourceLocation | undefined;
+    sourceLocation?: SourceLocation | undefined;
     options: TextTemplateEmitOptions;
     readonly kind = NodeKind.TextTemplateLiteral;
-    constructor(textFragments: readonly string[], expressions: readonly Expression[], sourceLocation: SourceLocation | undefined, options?: TextTemplateEmitOptions);
+    constructor(textFragments: readonly string[], expressions: readonly Expression[], sourceLocation?: SourceLocation | undefined, options?: TextTemplateEmitOptions);
     clone(): TextTemplateLiteral;
 }
 export declare class LocalizableTextTemplateLiteral {
     textFragments: readonly string[];
     expressions: readonly Expression[];
     code: number | undefined;
-    sourceLocation: SourceLocation | undefined;
+    sourceLocation?: SourceLocation | undefined;
     options: TextTemplateEmitOptions;
     readonly kind = NodeKind.LocalizableTextTemplateLiteral;
-    constructor(textFragments: readonly string[], expressions: readonly Expression[], code: number | undefined, sourceLocation: SourceLocation | undefined, options?: TextTemplateEmitOptions);
+    constructor(textFragments: readonly string[], expressions: readonly Expression[], code: number | undefined, sourceLocation?: SourceLocation | undefined, options?: TextTemplateEmitOptions);
     clone(): LocalizableTextTemplateLiteral;
 }
 export declare class ThisExpression {
@@ -943,9 +943,9 @@ export declare class TextTranslationDeclaration {
     key: string | number;
     sourceTextTemplate: TranslationTextTemplate | undefined;
     translatedTextOrFunctionBlock: TextLiteral | BlockStatement;
-    sourceLocation: SourceLocation | undefined;
+    sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.TextTranslationDeclaration;
-    constructor(key: string | number, sourceTextTemplate: TranslationTextTemplate | undefined, translatedTextOrFunctionBlock: TextLiteral | BlockStatement, sourceLocation: SourceLocation | undefined);
+    constructor(key: string | number, sourceTextTemplate: TranslationTextTemplate | undefined, translatedTextOrFunctionBlock: TextLiteral | BlockStatement, sourceLocation?: SourceLocation | undefined);
     clone(): TextTranslationDeclaration;
 }
 export declare class TranslationTextTemplate {
@@ -959,108 +959,107 @@ export declare class TranslationTextTemplate {
 export declare const enum NodeKind {
     AsExpression = 0,
     AssertionExpression = 1,
-    AssumptionExpression = 2,
-    AssignmentStatement = 3,
-    BinaryExpression = 4,
-    BlockStatement = 5,
-    BooleanLiteral = 6,
-    BreakLoopStatement = 7,
-    Argument = 8,
-    CallExpression = 9,
-    CaseClause = 10,
-    CharLiteral = 11,
-    ContinueLoopStatement = 12,
-    DisposeStatement = 13,
-    RunStatement = 14,
-    TryStatement = 15,
-    NullLiteral = 16,
-    EmptyStatement = 17,
-    ErrorStatement = 18,
-    ImportantStatement = 19,
-    ExpressionStatement = 20,
-    FinallyClause = 21,
-    ForStatement = 22,
-    PackageFunctionDeclaration = 23,
-    PackageTypeDeclaration = 24,
-    PackageVariableDeclaration = 25,
-    PackageVariableGetterDeclaration = 26,
-    PackageVariableSetterDeclaration = 27,
-    PackageVariantTypeDeclaration = 28,
-    IfStatement = 29,
-    IndexedAccessExpression = 30,
-    IntegerLiteral = 31,
-    IsExpression = 32,
-    NestedFunctionDeclaration = 33,
-    NestedFunctionDeclarationStatement = 34,
-    LocalVariableDeclaration = 35,
-    LocalVariableDeclarationStatement = 36,
-    NumericLiteral = 37,
-    CatchClause = 38,
-    FunctionLiteral = 39,
-    PrefixUnaryExpression = 40,
-    MeasureLiteral = 41,
-    ReferenceExpression = 42,
-    LoopStatement = 43,
-    ReturnStatement = 44,
-    Package = 45,
-    TextLiteral = 46,
-    LocalizableTextLiteral = 47,
-    TextTemplateLiteral = 48,
-    LocalizableTextTemplateLiteral = 49,
-    ConstructorDeclaration = 50,
-    DestructorDeclaration = 51,
-    IndexedElementGetterDeclaration = 52,
-    IndexedElementSetterDeclaration = 53,
-    MethodDeclaration = 54,
-    FieldDeclaration = 55,
-    FieldGetterDeclaration = 56,
-    FieldSetterDeclaration = 57,
-    SwitchStatement = 58,
-    TernaryExpression = 59,
-    ThisExpression = 60,
-    ParameterDeclaration = 61,
-    VariantDeclaration = 62,
-    WhileStatement = 63,
-    YieldStatement = 64,
-    ArrayLiteral = 65,
-    TypeAccessExpression = 66,
-    VariableAccessExpression = 67,
-    FunctionAccessExpression = 68,
-    ImplicitVariantAccessExpression = 69,
-    VariantAccessExpression = 70,
-    FieldAccessExpression = 71,
-    MethodAccessExpression = 72,
-    ConstructorCallExpression = 73,
-    InlineJsExpression = 74,
-    AssignmentExpression = 75,
-    CommaExpression = 76,
-    BaseConstructorCallExpression = 77,
-    JsImportSpecifier = 78,
-    JsIndexedAccessExpression = 79,
-    EsModuleImportDirectiveStatement = 80,
-    CjsModuleImportDirectiveStatement = 81,
-    JsObjectLiteral = 82,
-    ValueJsObjectLiteralProperty = 83,
-    FunctionJsObjectLiteralProperty = 84,
-    SpreadJsObjectLiteralProperty = 85,
-    JsPropertyAccessExpression = 86,
-    JsFunctionLiteral = 87,
-    JsTypeOfExpression = 88,
-    JsInstanceOfExpression = 89,
-    JsIdentifierExpression = 90,
-    DereferenceExpression = 91,
-    BaseExpression = 92,
-    OwnConstructorCallExpression = 93,
-    DereferencedVariableGetterDeclaration = 94,
-    DereferencedVariableSetterDeclaration = 95,
-    JsNamespaceDestructuringStatement = 96,
-    ComputedFieldDeclaration = 97,
-    TextWithEntityName = 98,
-    Arguments = 99,
-    Decorator = 100,
-    TextTranslationDeclaration = 101,
-    TranslationTextTemplate = 102,
-    TranslationTextTemplateParameter = 103
+    AssignmentStatement = 2,
+    BinaryExpression = 3,
+    BlockStatement = 4,
+    BooleanLiteral = 5,
+    BreakLoopStatement = 6,
+    Argument = 7,
+    CallExpression = 8,
+    CaseClause = 9,
+    CharLiteral = 10,
+    ContinueLoopStatement = 11,
+    DisposeStatement = 12,
+    RunStatement = 13,
+    TryStatement = 14,
+    NullLiteral = 15,
+    EmptyStatement = 16,
+    ErrorStatement = 17,
+    ImportantStatement = 18,
+    ExpressionStatement = 19,
+    FinallyClause = 20,
+    ForStatement = 21,
+    PackageFunctionDeclaration = 22,
+    PackageTypeDeclaration = 23,
+    PackageVariableDeclaration = 24,
+    PackageVariableGetterDeclaration = 25,
+    PackageVariableSetterDeclaration = 26,
+    PackageVariantTypeDeclaration = 27,
+    IfStatement = 28,
+    IndexedAccessExpression = 29,
+    IntegerLiteral = 30,
+    IsExpression = 31,
+    NestedFunctionDeclaration = 32,
+    NestedFunctionDeclarationStatement = 33,
+    LocalVariableDeclaration = 34,
+    LocalVariableDeclarationStatement = 35,
+    NumericLiteral = 36,
+    CatchClause = 37,
+    FunctionLiteral = 38,
+    PrefixUnaryExpression = 39,
+    MeasureLiteral = 40,
+    ReferenceExpression = 41,
+    LoopStatement = 42,
+    ReturnStatement = 43,
+    Package = 44,
+    TextLiteral = 45,
+    LocalizableTextLiteral = 46,
+    TextTemplateLiteral = 47,
+    LocalizableTextTemplateLiteral = 48,
+    ConstructorDeclaration = 49,
+    DestructorDeclaration = 50,
+    IndexedElementGetterDeclaration = 51,
+    IndexedElementSetterDeclaration = 52,
+    MethodDeclaration = 53,
+    FieldDeclaration = 54,
+    FieldGetterDeclaration = 55,
+    FieldSetterDeclaration = 56,
+    SwitchStatement = 57,
+    TernaryExpression = 58,
+    ThisExpression = 59,
+    ParameterDeclaration = 60,
+    VariantDeclaration = 61,
+    WhileStatement = 62,
+    YieldStatement = 63,
+    ArrayLiteral = 64,
+    TypeAccessExpression = 65,
+    VariableAccessExpression = 66,
+    FunctionAccessExpression = 67,
+    ImplicitVariantAccessExpression = 68,
+    VariantAccessExpression = 69,
+    FieldAccessExpression = 70,
+    MethodAccessExpression = 71,
+    ConstructorCallExpression = 72,
+    InlineJsExpression = 73,
+    AssignmentExpression = 74,
+    CommaExpression = 75,
+    BaseConstructorCallExpression = 76,
+    JsImportSpecifier = 77,
+    JsIndexedAccessExpression = 78,
+    EsModuleImportDirectiveStatement = 79,
+    CjsModuleImportDirectiveStatement = 80,
+    JsObjectLiteral = 81,
+    ValueJsObjectLiteralProperty = 82,
+    FunctionJsObjectLiteralProperty = 83,
+    SpreadJsObjectLiteralProperty = 84,
+    JsPropertyAccessExpression = 85,
+    JsFunctionLiteral = 86,
+    JsTypeOfExpression = 87,
+    JsInstanceOfExpression = 88,
+    JsIdentifierExpression = 89,
+    DereferenceExpression = 90,
+    BaseExpression = 91,
+    OwnConstructorCallExpression = 92,
+    DereferencedVariableGetterDeclaration = 93,
+    DereferencedVariableSetterDeclaration = 94,
+    JsNamespaceDestructuringStatement = 95,
+    ComputedFieldDeclaration = 96,
+    TextWithEntityName = 97,
+    Arguments = 98,
+    Decorator = 99,
+    TextTranslationDeclaration = 100,
+    TranslationTextTemplate = 101,
+    TranslationTextTemplateParameter = 102
 }
 export declare const enum AssignmentOperatorKind {
     Equals = 0,