@artel/artc 0.6.25229 → 0.6.25231

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

@@ -78,8 +78,37 @@ export declare function isEntityWithTags(entity: Entity): entity is EntityWithTa
 export type TypeMemberEntity = FieldEntity | MethodEntity | OperatorEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
 export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
 export declare namespace TypeMemberEntity {
+    /**
+     * Возвращает `true`, если это член аспектного типа.
+     */
     function isAspectTypeMember(entity: TypeMemberEntity): boolean;
+    /**
+     * Возвращает `true`, если объявление является всеобщим (помечено модификатором "всеобщее").
+     */
     function isStatic(entity: TypeMemberEntity): boolean;
+    /**
+     * Возвращает `true`, если объявление помечено модификатором "базовое".
+     */
+    function markedBasic(entity: TypeMemberEntity): boolean;
+    /**
+     * Возвращает `true`, если объявление можно заменить в производном типе.
+     *
+     * Объявление можно заменить в производном типе, если оно не всеобщее, и выполняется одно из условий:
+     * - объявление помечено модификатором "базовое"
+     * - объявление помечено модификатором "абстрактное"
+     * - объявление помечено модификатором "расширенное"
+     * - объявление является членом аспектного типа
+     */
+    function isBasic(entity: TypeMemberEntity): boolean;
+    /**
+     * Возвращает `true`, если объявление не имеет реализации.
+     *
+     * Объявление не имеет реализации, если выполняется одно из условий:
+     * - объявление помечено модификатором "абстрактное"
+     * - объявление является является членом аспекта, не помечено модификатором "базовое", не является всеобщим и не
+     *   скрыто в типе.
+     */
+    function isAbstract(entity: TypeMemberEntity): boolean;
 }
 export declare function entityToStringDecorator<T extends {
     new (...args: any[]): Entity;

package/build/types/project/SourcePackage.d.ts

@@ -10,7 +10,7 @@ declare abstract class SourcePackageBase {
     get compilation(): Compilation;
     protected abstract get asPackage(): SourcePackage;
     abstract get locale(): PackageLocale;
-    abstract get dialect(): PackageDialect | undefined;
+    abstract get dialect(): PackageDialect;
     constructor(uri: Uri, name: PackageName, sourceFiles: readonly SourceFile[]);
     /**
      * Данный метод должен вызываться только из конструктора компиляции (Compilation).
@@ -22,7 +22,7 @@ export declare class ProgramPackage extends SourcePackageBase {
     readonly configuration: ProgramPackageConfiguration;
     protected get asPackage(): SourcePackage;
     get locale(): PackageLocale;
-    get dialect(): PackageDialect | undefined;
+    get dialect(): PackageDialect;
     constructor(uri: Uri, configuration: ProgramPackageConfiguration, sourceFiles: readonly SourceFile[]);
 }
 export declare class TranslationPackage extends SourcePackageBase {
@@ -30,7 +30,7 @@ export declare class TranslationPackage extends SourcePackageBase {
     readonly configuration: TranslationPackageConfiguration;
     protected get asPackage(): SourcePackage;
     get locale(): PackageLocale;
-    get dialect(): PackageDialect | undefined;
+    get dialect(): PackageDialect;
     constructor(uri: Uri, configuration: TranslationPackageConfiguration, sourceFiles: SourceFile[]);
 }
 export type PackageConfiguration = ProgramPackageConfiguration | TranslationPackageConfiguration;
@@ -39,14 +39,14 @@ export declare class TranslationPackageConfiguration {
     readonly translatedName: PackageName;
     readonly translationLocale: PackageLocale;
     readonly locale: PackageLocale;
-    readonly dialect?: PackageDialect | undefined;
+    readonly dialect: PackageDialect;
     get name(): PackageName;
-    constructor(targetPackageName: PackageName, translatedName: PackageName, translationLocale: PackageLocale, locale: PackageLocale, dialect?: PackageDialect | undefined);
+    constructor(targetPackageName: PackageName, translatedName: PackageName, translationLocale: PackageLocale, locale: PackageLocale, dialect?: PackageDialect);
 }
 export declare class ProgramPackageConfiguration {
     readonly name: PackageName;
     readonly locale: PackageLocale;
-    readonly dialect?: PackageDialect | undefined;
+    readonly dialect: PackageDialect;
     readonly version?: string | undefined;
     readonly targetPlatform: TargetPlatformConfig;
     readonly requiredPackages: readonly RequiredPackageConfig[];
@@ -54,7 +54,7 @@ export declare class ProgramPackageConfiguration {
     readonly jsProjectRootUri?: Uri | undefined;
     readonly packageImportLocales: readonly PackageImportLocaleConfig[];
     readonly automaticallyImportedPackages?: readonly PackageName[] | undefined;
-    constructor(name: PackageName, locale: PackageLocale, dialect?: PackageDialect | undefined, version?: string | undefined, targetPlatform?: TargetPlatformConfig, requiredPackages?: readonly RequiredPackageConfig[], implementedInterfacePackageName?: PackageName | undefined, jsProjectRootUri?: Uri | undefined, packageImportLocales?: readonly PackageImportLocaleConfig[], automaticallyImportedPackages?: readonly PackageName[] | undefined);
+    constructor(name: PackageName, locale: PackageLocale, dialect?: PackageDialect, version?: string | undefined, targetPlatform?: TargetPlatformConfig, requiredPackages?: readonly RequiredPackageConfig[], implementedInterfacePackageName?: PackageName | undefined, jsProjectRootUri?: Uri | undefined, packageImportLocales?: readonly PackageImportLocaleConfig[], automaticallyImportedPackages?: readonly PackageName[] | undefined);
     isInterfacePackage(): boolean;
 }
 export declare class PackageName {

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

@@ -86,11 +86,11 @@ export declare class VariableDeclaration_entity implements IVariableDeclaration
     getContainer(): DeclarationContainer | undefined;
 }
 export declare class VariableDeclaration_typeMember implements IVariableDeclaration {
-    readonly value: types.Variable;
+    readonly value: types.Field;
     readonly localization: Localization;
     readonly narrowedType?: types.Type | undefined;
     readonly kind = "type-member";
-    constructor(value: types.Variable, localization: Localization, narrowedType?: types.Type | undefined);
+    constructor(value: types.Field, localization: Localization, narrowedType?: types.Type | undefined);
     getEntity(): e.VariableEntity;
     getLocalization(): Localization;
     getType(): types.Type;

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

@@ -13,7 +13,7 @@ export declare class NodeSemanticInfoService {
     static ofTokenOrKeyword(analyzer: Analyzer, tokenOrKeyword: TokenOrKeyword, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofDefaultMatchExpression(analyzer: Analyzer, node: tree.DefaultMatchExpression): NodeSemanticInfo | undefined;
     static ofNonKeywordIdentifier(analyzer: Analyzer, node: tree.Identifier, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
-    static ofProperty(analyzer: Analyzer, node: tree.MemberAccessExpression, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
+    static ofMember(analyzer: Analyzer, node: tree.MemberAccessExpression, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofQualifiedNameQualifier(analyzer: Analyzer, node: tree.QualifiedName, qualifier: tree.Identifier, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofNamedTypeSpecifierNameQualifier(analyzer: Analyzer, node: tree.NamedTypeSpecifier, qualifier: tree.Identifier, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
     static ofTagNameQualifier(analyzer: Analyzer, node: tree.Tag, qualifier: tree.Identifier, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
@@ -63,11 +63,11 @@ export declare class EntityReferenceTarget {
     constructor(entity: Entity, accessKind: AccessKind, narrowedType?: types.Type | undefined);
 }
 export declare class FieldReferenceTarget {
-    readonly variable: types.Variable;
+    readonly field: types.Field;
     readonly accessKind: AccessKind;
     readonly narrowedType: types.Type | undefined;
-    readonly kind = "type-variable";
-    constructor(variable: types.Variable, accessKind: AccessKind, narrowedType: types.Type | undefined);
+    readonly kind = "field";
+    constructor(field: types.Field, accessKind: AccessKind, narrowedType: types.Type | undefined);
 }
 export declare class TypeValueParameterReferenceTarget {
     readonly parameter: types.ValueParameter;

package/build/types/tree/KeywordKind.d.ts

@@ -38,7 +38,7 @@ export declare enum KeywordKind {
     Const = 36,
     Hidden = 37,
     Abstract = 38,
-    Redefined = 39,
+    Override = 39,
     Async = 40,
     Static = 41,
     As = 42,

package/build/types/tree/green/Nodes.d.ts

@@ -1163,9 +1163,9 @@ export declare class MemberAccessExpression extends BaseNode {
     ];
     get expression(): Expression;
     get dotToken(): Token<TokenKind.Dot>;
-    get propertyName(): Identifier;
+    get memberName(): Identifier;
     protected get thisAsNode(): Node;
-    constructor(expression: Expression, dotToken: Token<TokenKind.Dot>, propertyName: Identifier);
+    constructor(expression: Expression, dotToken: Token<TokenKind.Dot>, memberName: Identifier);
     toRed(rangeStart: number, parent: red.ExpressionParent): red.MemberAccessExpression;
 }
 export declare class ReferenceExpression extends BaseNode {
@@ -2104,7 +2104,7 @@ export declare class Modifier extends BaseNode {
     toRed(rangeStart: number, parent: red.ModifierParent): red.Modifier;
 }
 export type ModifierKeyword = Keyword<ModifierKeywordKind>;
-export type ModifierKeywordKind = KeywordKind.Hidden | KeywordKind.Basic | KeywordKind.Static | KeywordKind.Abstract | KeywordKind.Redefined | KeywordKind.Async | KeywordKind.Const;
+export type ModifierKeywordKind = KeywordKind.Hidden | KeywordKind.Basic | KeywordKind.Static | KeywordKind.Abstract | KeywordKind.Override | KeywordKind.Async | KeywordKind.Const;
 export type ModifierLevelKeyword = Keyword<KeywordKind.InType> | Keyword<KeywordKind.InHierarchy> | Keyword<KeywordKind.InFile> | Keyword<KeywordKind.InPackage>;
 export declare class ParameterClause extends BaseNode {
     readonly kind = NodeKind.ParameterClause;

package/build/types/tree/red/Nodes.d.ts

@@ -1114,7 +1114,7 @@ export declare class MemberAccessExpression extends BaseNode {
     get children(): readonly [Expression, Token<green.TokenKind.Dot>, Identifier];
     get expression(): Expression;
     get dotToken(): Token<TokenKind.Dot>;
-    get propertyName(): Identifier;
+    get memberName(): Identifier;
     protected get thisAsNode(): Node;
     constructor(green: green.MemberAccessExpression, rangeStart: number, parent: ExpressionParent);
     private createChildren;
@@ -2085,7 +2085,7 @@ export declare class Modifier extends BaseNode {
     private createChildren;
 }
 export type ModifierKeyword = Keyword<ModifierKeywordKind>;
-export type ModifierKeywordKind = KeywordKind.Hidden | KeywordKind.Basic | KeywordKind.Static | KeywordKind.Abstract | KeywordKind.Redefined | KeywordKind.Async | KeywordKind.Const;
+export type ModifierKeywordKind = KeywordKind.Hidden | KeywordKind.Basic | KeywordKind.Static | KeywordKind.Abstract | KeywordKind.Override | KeywordKind.Async | KeywordKind.Const;
 export type ModifierLevelKeyword = Keyword<KeywordKind.InType> | Keyword<KeywordKind.InHierarchy> | Keyword<KeywordKind.InFile> | Keyword<KeywordKind.InPackage>;
 export type ParameterClauseParent = PackageFunctionDeclaration | NestedFunctionDeclaration | FunctionLiteral | ConstructorDeclaration | DestructorDeclaration | MethodDeclaration | OperatorDeclaration | FunctionTypeDeclarationBody;
 export declare class ParameterClause extends BaseNode {

package/build/types/ts-interop/Entities.d.ts

@@ -155,7 +155,7 @@ export declare class TsGlobalClassOrInterfaceEntity implements PackageStructured
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -186,7 +186,7 @@ export declare class SourceAndTsGlobalClassOrInterfaceMergeEntity implements Pac
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -213,7 +213,7 @@ export declare class TsTypeLiteralEntity implements AnonymousStructuredTypeEntit
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -248,7 +248,7 @@ export declare class TsNamedTypeLiteralEntity implements PackageStructuredTypeEn
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -277,7 +277,7 @@ export declare class SourceAndTsNamedTypeLiteralMergeEntity implements PackageSt
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -310,10 +310,10 @@ export declare class TsPropertyEntity implements FieldEntity {
     getTags(): readonly Tag[];
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isBasic(): boolean;
-    isOverridden(): boolean;
-    isAbstract(): boolean;
-    getOverriddenMembers(): readonly types.Variable[];
+    markedBasic(): boolean;
+    isOverride(): boolean;
+    markedAbstract(): boolean;
+    getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
     private getDeclaration;
 }
@@ -340,10 +340,10 @@ export declare class TsAccessorEntity implements FieldEntity {
     getTags(): readonly Tag[];
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isBasic(): boolean;
-    isOverridden(): boolean;
-    isAbstract(): boolean;
-    getOverriddenMembers(): readonly types.Variable[];
+    markedBasic(): boolean;
+    isOverride(): boolean;
+    markedAbstract(): boolean;
+    getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
     private getGetAccessorDeclaration;
 }
@@ -375,7 +375,7 @@ export declare class TsSetAccessorEntity implements SetterEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
 }
-export declare class TsFunctionEntity implements MethodEntity {
+export declare class TsMethodEntity implements MethodEntity {
     private readonly _tsctx;
     private readonly _symbol;
     private readonly _declaration;
@@ -395,9 +395,9 @@ export declare class TsFunctionEntity implements MethodEntity {
     getDefinition(): FunctionEntityDefinition;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isBasic(): boolean;
-    isOverridden(): boolean;
-    isAbstract(): boolean;
+    markedBasic(): boolean;
+    isOverride(): boolean;
+    markedAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     isAsync(): boolean;
     isHidden(): EntityHidingLevel | undefined;
@@ -423,9 +423,9 @@ export declare class TsIteratorFunctionEntity implements MethodEntity {
     getDefinition(): FunctionEntityDefinition;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isBasic(): boolean;
-    isOverridden(): boolean;
-    isAbstract(): boolean;
+    markedBasic(): boolean;
+    isOverride(): boolean;
+    markedAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     isAsync(): boolean;
     isHidden(): EntityHidingLevel | undefined;
@@ -499,9 +499,9 @@ export declare class TsIndexSignatureEntity implements IndexerEntity {
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
-    isBasic(): boolean;
-    isOverridden(): boolean;
-    isAbstract(): boolean;
+    markedBasic(): boolean;
+    isOverride(): boolean;
+    markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
 }
@@ -518,7 +518,7 @@ export declare class TsConstructorEntity implements ConstructorEntity {
     getContainer(): TypeMemberEntityContainer;
     isDefault(): DefaultConstructorEntityInfo | undefined;
     isHidden(): EntityHidingLevel | undefined;
-    isAbstract(): boolean;
+    markedAbstract(): boolean;
     getTags(): readonly Tag[];
 }
 export declare class TsSignatureBasedDefaultConstructorEntity implements ConstructorEntity {
@@ -533,7 +533,7 @@ export declare class TsSignatureBasedDefaultConstructorEntity implements Constru
     getContainer(): TypeMemberEntityContainer;
     isDefault(): DefaultConstructorEntityInfo | undefined;
     isHidden(): EntityHidingLevel | undefined;
-    isAbstract(): boolean;
+    markedAbstract(): boolean;
     getTags(): readonly Tag[];
 }
 export declare class TsEnumEntity implements PackageVariantTypeEntity {
@@ -571,10 +571,10 @@ export declare class TsEnumMemberEntity implements FieldEntity {
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _variantTypeEntity: VariantTypeEntity);
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isBasic(): boolean;
-    isOverridden(): boolean;
-    isAbstract(): boolean;
-    getOverriddenMembers(): readonly types.Variable[];
+    markedBasic(): boolean;
+    isOverride(): boolean;
+    markedAbstract(): boolean;
+    getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
     getType(): types.Type;
     getGetter(): GetterEntity | undefined;

package/build/types/ts-interop/TsTypeMembersCreator.d.ts

@@ -30,7 +30,7 @@ export declare class TsTypeMembersCreator {
      * @param symbol (symbol.flags & ts.SymbolFlags.Method) !== 0
      */
     private createMethods;
-    private createFunctionEntityNoReplacement;
+    private createMethodEntityNoReplacement;
     private createConstructors;
     private createIndexerSignatures;
     private registerTypeParameters;

package/build/types/types/StructuredType.d.ts

@@ -16,6 +16,8 @@ export declare class StructuredType implements IType {
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
+    markedBasic(): boolean;
+    isAbstract(): boolean;
     equals(other: Type): boolean;
     getEntity(): StructuredTypeEntity;
     getBaseObjectType(): Type | undefined;

package/build/types/types/TypeMembers.d.ts

@@ -4,8 +4,8 @@ import { ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, EntityH
 import { FunctionType } from './FunctionType.js';
 import { Substitutions } from './Substitutions.js';
 import { Type } from './Type.js';
-export type TypeMember = Variable | Method | Operator | Constructor | Destructor | Indexer | DereferenceOperator;
-export type NamedTypeMember = Variable | Method;
+export type TypeMember = Field | Method | Operator | Constructor | Destructor | Indexer | DereferenceOperator;
+export type NamedTypeMember = Field | Method;
 export declare class Method implements ITypeMember {
     private readonly _analyzer;
     private readonly _entity;
@@ -39,10 +39,10 @@ export declare class ValueParameter {
     isOptional(): boolean;
     isVariadic(): boolean;
 }
-export declare class Variable implements ITypeMember {
+export declare class Field implements ITypeMember {
     private readonly _entity;
     private readonly _substitutions;
-    readonly kind = "variable";
+    readonly kind = "field";
     constructor(_entity: FieldEntity, _substitutions: Substitutions);
     getName(): Name;
     getType(): Type;
@@ -52,7 +52,7 @@ export declare class Variable implements ITypeMember {
     isHidden(): EntityHidingLevel | undefined;
     isStatic(): boolean;
     isVariant(): boolean;
-    applySubstitutions(substitutions: Substitutions): Variable;
+    applySubstitutions(substitutions: Substitutions): Field;
     equals(other: TypeMember): boolean;
 }
 export declare class Operator implements ITypeMember {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25229",
+  "version": "0.6.25231",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",
@@ -36,9 +36,9 @@
     }
   },
   "dependencies": {
-    "@babel/generator": "7.23.0",
-    "@babel/parser": "7.23.0",
-    "@babel/types": "7.23.0",
+    "@babel/generator": "7.27.3",
+    "@babel/parser": "7.27.3",
+    "@babel/types": "7.27.3",
     "@vscode/l10n": "0.0.18",
     "jsonc-parser": "3.3.1",
     "reactronic": "^0.93.25025",