@artel/artc 0.6.26027 → 0.6.26029

package/build/types/analysis/a/SourceFileAnalyzer.d.ts

@@ -21,37 +21,33 @@ export declare class SourceFileAnalyzer {
     constructor(analyzer: Analyzer, sourceFile: project.SourceFileA);
     analyze(taskController: TaskController): Promise<Diagnostic[]>;
     private analyzeNode;
-    private checkBinaryExpression;
+    private checkTag;
+    private checkPackageReducedTypeDeclaration;
+    private checkPackageAliasTypeDeclaration;
+    private checkPackageEntryPointDeclaration;
+    private checkPackageConstructorDeclaration;
+    private checkTranslationsDeclaration;
+    private addNotTranslatedTextsDiagnostics;
+    private collectNotTranslatedTexts;
+    private createNotTranslatedTextsDiagnostic;
+    private checkTextTranslationDeclaration;
     private checkPackageVariantDeclaration;
-    private checkTypeMemberDeclarationBlock;
-    private checkAssumptionExpression;
-    private checkStatementBlock;
-    private checkFunctionBlock;
     private checkPackageStructuredTypeDeclaration;
     private checkAllFieldsOfStructureAreConst;
     private checkStructureHasRecursiveLayout;
     private checkStructureIsReferencedByFieldTypeRecursively;
     private checkStructureIsReferencedByFieldsOfStructure;
     private isReferencedAutomaticallyGeneratedBackingVariable;
-    private checkErrorStatement;
-    private checkBreakLoopOrContinueLoopStatement;
-    private isStatementUsedInsideLoop;
-    private checkTypeParameterList;
-    private checkTypeParameterDeclaration;
-    private checkFunctionLiteral;
-    private checkFunctionBlockLiteral;
-    private checkDereferenceExpression;
-    private checkIndexedAccessExpression;
-    private checkCallExpression;
-    private addNotTranslatedTextsDiagnostics;
-    private collectNotTranslatedTexts;
-    private createNotTranslatedTextsDiagnostic;
-    private checkAllDefaultConstructorArgumentsAreNamed;
+    private checkAspectsHaveNotBeenExtendedWithDifferentTypeArguments;
     private checkPackageVariableDeclaration;
     private checkPackageFunctionDeclaration;
     private checkPackageVariableGetterDeclaration;
     private checkPackageVariableSetterDeclaration;
+    private checkPackageMemberBodyPresence;
+    private checkTypeExtensionDeclaration;
+    private checkTypeMemberDeclarationBlock;
     private checkConstructorDeclaration;
+    private checkDestructorDeclaration;
     private checkMethodDeclaration;
     private checkFieldDeclaration;
     private checkFieldGetterDeclaration;
@@ -60,12 +56,54 @@ export declare class SourceFileAnalyzer {
     private checkIndexedElementSetterDeclaration;
     private checkDereferencedVariableGetterDeclaration;
     private checkDereferencedVariableSetterDeclaration;
+    private checkTypeMemberBodyPresence;
+    private checkTypeParameterList;
+    private checkTypeParameterDeclaration;
+    private checkNamedTypeSpecifier;
+    private checkAnonymousClassDeclaration;
+    private checkAnonymousFunctionTypeDeclaration;
+    private checkParameterList;
+    private checkRequiredParametersDoNotFollowOptionalParameters;
+    private parameterListCanDeclareObjectParameter;
+    private checkObjectParameterIsTheFirstParameter;
+    private checkParameterDeclaration;
+    private checkOwnConstructorCallExpression;
+    private checkReferenceExpression;
+    private checkMatchExpressionList;
+    private checkWhileStatement;
+    private checkLoopStatement;
+    private checkElseIfClause;
+    private checkIfStatement;
+    private checkArgument;
+    private checkErrorVariableDeclaration;
+    private checkForStatementVariableDeclaration;
+    private checkLocalVariableDeclaration;
+    private checkBaseExpression;
+    private checkObjectExpression;
+    private checkAssignmentStatement;
+    private checkPrefixUnaryExpression;
+    private checkCatchClause;
+    private checkForStatement;
+    private checkLocalizableTextTemplateLiteral;
+    private checkLocalizableTextLiteral;
+    private checkAutotypeCallExpression;
+    private checkBinaryExpression;
+    private checkAssumptionExpression;
+    private checkStatementBlock;
+    private checkFunctionBlock;
+    private checkErrorStatement;
+    private checkBreakLoopOrContinueLoopStatement;
+    private isStatementUsedInsideLoop;
+    private checkFunctionLiteral;
+    private checkFunctionBlockLiteral;
+    private checkDereferenceExpression;
+    private checkIndexedAccessExpression;
+    private checkCallExpression;
+    private checkAllDefaultConstructorArgumentsAreNamed;
     private checkNestedFunctionDeclaration;
     private checkPossibleGeneratorFunctionReturnType;
     private checkReturnStatement;
     private checkYieldStatement;
-    private checkPackageMemberBodyPresence;
-    private checkTypeMemberBodyPresence;
     private checkIdentifierExpression;
     private checkLocalVariableUsedBeforeDeclaration;
     private checkLocalVariableIsUsedBeforeBeingAssigned;
@@ -88,18 +126,11 @@ export declare class SourceFileAnalyzer {
     private checkOptionalChainingIsUsedOnTheLeftSideOfAssignment;
     private checkGenericSpecializationExpression;
     private checkTypeArgumentTypesAreAssignableToConstraints;
-    private checkParameterList;
-    private checkRequiredParametersDoNotFollowOptionalParameters;
-    private parameterListCanDeclareObjectParameter;
-    private checkObjectParameterIsTheFirstParameter;
-    private checkParameterDeclaration;
     private checkIfVariableIsUnused;
     private checkIfNestedFunctionIsUnused;
     private checkIfTypeParameterIsUnused;
     private checkAllCodePathsReturnOrResultVariableIsAssigned;
     private isReceiverBaseAutoVariableAccess;
-    private overridingMemberHasCorrectHiding;
-    private checkTextTranslationDeclaration;
     private attachNodeLocationAndAddDiagnostics;
     private createAndAddDiagnostic;
     private addDiagnostic;

package/build/types/diagnostic/DiagnosticCode.d.ts

@@ -278,6 +278,7 @@ export declare enum DiagnosticCode {
     CannotAssignValueBecauseWriteFunctionIsNotDefined = 2243,
     CannotAssignValueBecauseWriteFunctionIsHidden = 2244,
     ReadFunctionMustHaveTheSameTypeAsWriteFunction = 2245,
+    AspectHasAlreadyBeenExtendedWithDifferentTypeArguments0 = 2246,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
     ProgramWithoutMainPackageCannotBeCompiled = 3002,

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

@@ -38,6 +38,7 @@ export declare class FunctionEntityDetails implements TypeMemberEntityDetails {
     hasObjectParameter: boolean;
     variableOwningAccessor: VariableEntity | undefined;
     isSetter: boolean;
+    nameSource: NamedEntity | undefined;
 }
 export interface ComputedNameInfo {
     /**
@@ -76,6 +77,7 @@ export declare class VariableEntityDetails implements TypeMemberEntityDetails {
     isStatic: boolean;
     isConst: boolean;
     isObjectParameter: boolean;
+    nameSource: NamedEntity | undefined;
 }
 export interface ProxiedFieldInfo {
     readonly tagType: TypeOrExtensionEntity;
@@ -118,6 +120,7 @@ export declare class TypeOrExtensionEntityDetails {
      */
     areOwnComputedNamesOfMembersResolved: boolean;
     implicitlyImplementedAbstractMembersByImplementingMember: ReadonlyMap<TypeMemberEntity, readonly TypeMemberEntity[]>;
+    nameSource: NamedEntity | undefined;
 }
 export declare enum TypeOrExtensionEntityKind {
     StructuredType = 0,

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

@@ -73,7 +73,7 @@ export declare function loopStatement(label: string | undefined, body: ir.BlockS
 export declare function measureLiteral(sourceLocation?: ir.SourceLocation): ir.MeasureLiteral;
 export declare function functionAccessExpression(func: ir.AccessedFunction, isCallee: boolean, sourceLocation?: ir.SourceLocation): ir.FunctionAccessExpression;
 export declare function functionLiteral(parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isAsync: boolean, returnType: Type, sourceLocation?: ir.SourceLocation): ir.FunctionLiteral;
-export declare function jsFunctionLiteral(parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isAsync: boolean, returnType: Type, sourceLocation?: ir.SourceLocation): ir.JsFunctionLiteral;
+export declare function jsFunctionLiteral(parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isAsync: boolean, isGenerator: boolean, returnType: Type, sourceLocation?: ir.SourceLocation): ir.JsFunctionLiteral;
 export declare function nestedFunctionDeclaration(entity: FunctionEntity, parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isAsync: boolean, isGenerator: boolean, sourceLocation?: ir.SourceLocation): ir.NestedFunctionDeclaration;
 export declare function nestedFunctionDeclarationStatement(entity: FunctionEntity, parameters: readonly ir.ParameterDeclaration[], body: ir.BlockStatement, isAsync: boolean, isGenerator: boolean, sourceLocation?: ir.SourceLocation): ir.NestedFunctionDeclarationStatement;
 export declare function nestedFunctionDeclarationStatementWithDeclaration(declaration: ir.NestedFunctionDeclaration, sourceLocation?: ir.SourceLocation): ir.NestedFunctionDeclarationStatement;

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

@@ -6,7 +6,9 @@ export declare class Transformer {
     protected readonly debugStack: DebugStack;
     private hoistedLocalVariables;
     private transformedDeclaration_;
+    private transformedTypeDeclaration_;
     get transformedDeclaration(): ir.Declaration | undefined;
+    get transformedTypeDeclaration(): ir.PackageTypeDeclaration | ir.PackageVariantTypeDeclaration | undefined;
     constructor(config: TransformationConfig);
     transformChildren(node: ir.Node): void;
     transformPackage(pkg: ir.Package): void;

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

@@ -551,10 +551,11 @@ export declare class JsFunctionLiteral {
     parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     isAsync: boolean;
+    isGenerator: boolean;
     returnType: Type;
     sourceLocation?: SourceLocation | undefined;
     readonly kind = NodeKind.JsFunctionLiteral;
-    constructor(parameters: readonly ParameterDeclaration[], body: BlockStatement, isAsync: boolean, returnType: Type, sourceLocation?: SourceLocation | undefined);
+    constructor(parameters: readonly ParameterDeclaration[], body: BlockStatement, isAsync: boolean, isGenerator: boolean, returnType: Type, sourceLocation?: SourceLocation | undefined);
     clone(): JsFunctionLiteral;
 }
 export declare class Modifiers {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.26027",
+  "version": "0.6.26029",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "Apache-2.0",