@artel/artc 0.6.25264 → 0.6.25266

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

@@ -0,0 +1,118 @@
+import { AccessKind } from '../common/index.js';
+import { EmitterContext } from './EmitterContext.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;
+export declare function variableGetAccess(variable: VariableEntity | ir.AccessedVariable, sourceLocation?: ir.SourceLocation): ir.VariableAccessExpression;
+export declare function instanceFieldGetAccess(expression: ir.Expression, variable: VariableEntity | ir.AccessedVariable, isOptionalAccess: boolean, sourceLocation?: ir.SourceLocation): ir.FieldAccessExpression;
+export declare function staticFieldGetAccess(variable: VariableEntity | ir.AccessedVariable, sourceLocation?: ir.SourceLocation): ir.FieldAccessExpression;
+export declare function variableSetAccess(variable: VariableEntity | ir.AccessedVariable, sourceLocation?: ir.SourceLocation): ir.VariableAccessExpression;
+export declare function instanceFieldSetAccess(expression: ir.Expression, variable: VariableEntity | ir.AccessedVariable, isOptionalAccess: boolean, sourceLocation?: ir.SourceLocation): ir.FieldAccessExpression;
+export declare function staticFieldSetAccess(variable: VariableEntity | ir.AccessedVariable, sourceLocation?: ir.SourceLocation): ir.FieldAccessExpression;

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;