@artel/artc 0.6.25230 → 0.6.25231

package/build/{chunk-WS3ILL2L.js → chunk-VQ5GGKF7.js}

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

package/build/types/analysis/Analyzer.d.ts

@@ -171,8 +171,6 @@ export declare class Analyzer {
     createNameFromIdentifier(node: tree.Identifier): Name;
     createSearchNameFromIdentifier(identifier: tree.Identifier): SearchName;
     createLocalizationContext(sourceFile: project.SourceFile): LocalizationContext;
-    typeIsValidBaseObjectType(type: types.Type): boolean;
-    typeIsValidBaseAspectType(type: types.Type): boolean;
     getImplicitBaseTypeForStructuredType(entity: e.StructuredTypeEntity): types.StructuredType | undefined;
     getImplicitBaseTypeForVariantType(): types.StructuredType;
     getImplicitBaseTypeForFunctionType(): types.StructuredType;
@@ -277,7 +275,8 @@ export declare class Analyzer {
     createAmbiguousNamedScopeDeclarationAccessLazyDiagnostic(declarations: readonly WithLocalization<semanticContext.NamedDeclaration>[], lctx: LocalizationContext, node: tree.Node): Lazy<Diagnostic>;
     addDiagnosticComputedLazily(diagnostic: Diagnostic): void;
     getAcceptorForDiagnosticsComputedLazily(): DiagnosticAcceptor;
-    getDiagnosticsComputedLazily(sourceFile: project.SourceFile): readonly Diagnostic[];
+    getSourceFileDiagnosticsComputedLazily(sourceFile: project.SourceFile): readonly Diagnostic[];
+    getDiagnosticsWithoutLocationComputedLazily(): readonly Diagnostic[];
     validateSourcePackageMemberConflicts(pkg: project.ProgramPackage): readonly Diagnostic[];
     private createTsInterop;
 }
@@ -653,6 +652,8 @@ declare class ConflictsCheck {
     doFunctionSignaturesConflict(function1: e.FunctionEntity, function2: e.FunctionEntity): boolean;
     /**
      * Проверяет, конфликтуют две сущности, имеющие параметры, но не имеющие параметры типа.
+     *
+     * Отношение "сущности, имеющие только параметры, конфликтуют" является транзитивным.
      */
     doSignaturesWithoutTypeParametersConflict(entity1: EntityWithoutTypeParametersInSignature, entity2: EntityWithoutTypeParametersInSignature): boolean;
     /**

package/build/types/analysis/DiagnosticCollector.d.ts

@@ -12,6 +12,7 @@ export declare class DiagnosticCollector {
     private readonly _diagnostics;
     private readonly _diagnosticAcceptor;
     private _namedDeclarationsCountResult;
+    private readonly _modifierValidator;
     private get node();
     private get translationPackage();
     private get isInterfacePackageFile();

package/build/types/analysis/FindModifier.d.ts

@@ -3,4 +3,5 @@ import { ModifierFlags } from './ModifierFlags.js';
 type NodeWithModifiers = tree.PackageMemberDeclaration | tree.TypeMemberDeclaration;
 export declare function findModifier(node: NodeWithModifiers, modifierKeywordKind: tree.ModifierKeywordKind): tree.Modifier | undefined;
 export declare function createDeclaredModifierFlags(node: NodeWithModifiers): ModifierFlags;
+export declare function modifierToModifierFlag(modifier: tree.Modifier): ModifierFlags;
 export {};

package/build/types/analysis/MemberAccessExpressionMeaning.d.ts

@@ -13,7 +13,7 @@ export declare class Resolver {
     private readonly _analyzer;
     private readonly _node;
     private readonly _targetTypeHint;
-    private get propertySearchName();
+    private get memberSearchName();
     private get semanticContext();
     private get receiver();
     constructor(analyzer: Analyzer, node: tree.MemberAccessExpression, targetTypeHint: TargetTypeHint | undefined);

package/build/types/analysis/ModifierFlags.d.ts

@@ -11,5 +11,10 @@ export declare enum ModifierFlags {
     Override = 256,
     Async = 512,
     Const = 1024,
-    NotComputed = 2048
+    First = 1,
+    Last = 1024,
+    NotComputed = 2048,
+    AnyHiddenModifier = 31,
+    HiddenInPackageOrWithoutLevel = 17,
+    HiddenInTypeOrWithoutLevel = 3
 }

package/build/types/analysis/ModifierValidator.d.ts

@@ -0,0 +1,83 @@
+import { PackageDialect, PackageLocale } from '../common/index.js';
+import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
+import * as tree from '../tree/index.js';
+import { Analyzer } from './Analyzer.js';
+import { ModifierFlags } from './ModifierFlags.js';
+declare enum PackageMemberDeclarationKind {
+    TranslationsDeclaration = 0,
+    AliasTypeDeclaration = 1,
+    MemberGroupDeclaration = 2,
+    TypeExtensionDeclaration = 3,
+    ConstructorDeclaration = 4,
+    EntryPointDeclaration = 5,
+    FunctionDeclaration = 6,
+    FunctionTypeDeclaration = 7,
+    ObjectTypeDeclaration = 8,
+    PlainObjectTypeDeclaration = 9,
+    AspectTypeDeclaration = 10,
+    VariableDeclaration = 11,
+    VariableGetterDeclaration = 12,
+    VariableSetterDeclaration = 13,
+    VariantTypeDeclaration = 14,
+    InvalidDeclaration = 15
+}
+type TypeMemberDeclarationKind = tree.TypeMemberDeclaration['kind'];
+export declare enum DeclarationWithTypeMembersKind {
+    ObjectType = 0,
+    PlainObjectType = 1,
+    AspectType = 2,
+    VariantType = 3,
+    AliasType = 4,
+    TypeExtension = 5
+}
+export declare class ModifierValidator {
+    private readonly _analyzer;
+    private readonly _diagnostics;
+    private readonly _locale;
+    private readonly _dialect;
+    static readonly allowedPackageMemberHidingModifiers: number;
+    static readonly allowedPackageMemberModifiers: number;
+    static readonly allowedModifiersByPackageMemberDeclarationKind: {
+        [T in PackageMemberDeclarationKind]: ModifierFlags;
+    };
+    static readonly allowedTypeMemberHidingModifiers: number;
+    static readonly allowedTypeMemberModifiers: number;
+    static readonly allowedModifiersByTypeMemberDeclarationKind: {
+        [T in TypeMemberDeclarationKind]: ModifierFlags;
+    };
+    constructor(_analyzer: Analyzer, _diagnostics: DiagnosticAcceptor, _locale: PackageLocale, _dialect: PackageDialect);
+    static validatePackageVariableAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    static validateFieldAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    static validateIndexedElementAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    static validateDereferencedVariableAccessorsHaveConsistentModifiers(analyzer: Analyzer, getterModifiers: ModifierFlags, setterModifiers: ModifierFlags, nodeForDiagnostic: tree.Node, diagnostics: DiagnosticAcceptor): void;
+    validateTopLevelPackageMembers(list: tree.PackageMemberDeclarationList): void;
+    validateTopLevelTypeMembers(list: tree.TypeMemberDeclarationList, declarationWithMembersKind: DeclarationWithTypeMembersKind, isTypeMarkedAbstract: boolean, isTypeMarkedBasic: boolean): void;
+    private static validateTypeMemberAccessorsHaveConsistentModifiers;
+    private static validatePackageMemberSetterHasMoreRestrictiveHidingLevel;
+    private static validateTypeMemberSetterHasMoreRestrictiveHidingLevel;
+    private static reportMoreRestrictiveHidingLevelIsRequired;
+    private static reportSetterMustHaveSameModifiersAsGetter;
+    private validatePackageMembers;
+    private validatePackageMemberModifierList;
+    private validatePackageMemberCanBePlacedInGroupWithModifiers;
+    private validatePackageConstructorDeclaration;
+    private validatePackageEntryPointDeclaration;
+    private validateTranslationsDeclaration;
+    private validateTypeMembers;
+    private validateTypeMemberModifierList;
+    private validateTypeMemberCanBePlacedInGroupWithModifiers;
+    private typeMemberAllowsAbstractModifier;
+    private typeMemberAllowsBasicModifier;
+    private typeMemberAllowsOverrideModifier;
+    private typeMemberAllowsStaticModifier;
+    private reportDuplicateModifier;
+    private reportDuplicateHiddenModifier;
+    private reportDeclarationCanNotBePlacedInGroupWithModifier;
+    private reportModifierCanNotBeUsedWithAnotherModifier;
+    private reportModifierIsNotAllowedHere;
+    private displayModifierNode;
+    private displayModifierFlag;
+    private displayModifier;
+    private forEachModifierFlag;
+}
+export {};

package/build/types/analysis/TypeMemberConflictsValidator.d.ts

@@ -0,0 +1,22 @@
+import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
+import { OriginalTypeEntityMembers } from '../entities/TypeEntityMembers.js';
+import { Analyzer } from './Analyzer.js';
+export declare class TypeMemberConflictsValidator {
+    private readonly _analyzer;
+    private readonly _members;
+    private readonly _diagnostics;
+    constructor(_analyzer: Analyzer, _members: OriginalTypeEntityMembers, _diagnostics: DiagnosticAcceptor);
+    validate(): void;
+    private validateNamedMembers;
+    private validateNamedMembersWithoutIsStaticCheck;
+    private validateMethodsWithSameName;
+    private validateConstructors;
+    private validateDestructors;
+    private validateOperators;
+    private validateIndexers;
+    private validateDereferenceOperators;
+    private validateMembersWithoutTypeParametersInSignature;
+    private reportNameConflictDiagnosticsForAllEntities;
+    private reportNameConflictDiagnostic;
+    private getDiagnosticLocation;
+}

package/build/types/common/ArrayUtils.d.ts

@@ -0,0 +1,8 @@
+export declare class ArrayUtils {
+    /**
+     * Удаляет элемент из массива по заданному индексу.
+     *
+     * Работает быстрее, чем `array.splice(index, 1)`, и не выделяет память для массива удалённых элементов.
+     */
+    static removeElement<T>(array: T[], index: number): void;
+}

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

@@ -1,4 +1,5 @@
 export * from './AccessKind.js';
+export * from './ArrayUtils.js';
 export * from './ArtelFileCheck.js';
 export * from './Cached.js';
 export * from './CancellationToken.js';

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

@@ -114,35 +114,63 @@ export declare enum DiagnosticCode {
     IncorrectBodyOfBasicAliasTypeMethod = 276,
     TheFollowingDeclarationsAreNotTranslated0 = 277,
     TheFollowingDeclarationAreNotTranslated0And1More = 278,
-    OperatorFunctionMustNotBeStatic = 279,
-    OperatorFunction0MustNotHaveParameters = 280,
-    OperatorFunction0MustHaveOneParameter = 281,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 282,
-    CorrespondingBasicTypeMemberNotFound = 283,
-    ConstructorCannotBeDeclaredAsBasic = 284,
-    ConstructorCannotBeDeclaredAsOverridden = 285,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 286,
-    TagNotFound = 287,
-    TypeOrFunctionNameExpected = 288,
-    PackageNameOrAliasExpected = 289,
-    ExpressionCanBeNone = 290,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 291,
-    UnreachableCode = 292,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 293,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 294,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 295,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 296,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 297,
-    PackageAlreadyContainsDeclarationWithTheSameName = 298,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 299,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 300,
-    PackageAliasWithTheSameNameAlreadyExits = 301,
-    PackageCanHaveOnlyEntryPoint = 302,
-    PackageCanHaveOnlyOneConstructor = 303,
-    VariableIsUsedBeforeItsDeclaration = 304,
-    VariableMayNotHasBeenAssignedBeforeUsage = 305,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 306,
-    WriteFunctionHasNoCorrespondingReadFunction = 307,
+    OperatorFunction0MustNotHaveParameters = 279,
+    OperatorFunction0MustHaveOneParameter = 280,
+    OperatorFunction0MustHaveNoMoreThanOneParameter = 281,
+    CorrespondingBasicTypeMemberNotFound = 282,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 283,
+    TagNotFound = 284,
+    TypeOrFunctionNameExpected = 285,
+    PackageNameOrAliasExpected = 286,
+    ExpressionCanBeNone = 287,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 288,
+    UnreachableCode = 289,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 290,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 291,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 292,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 293,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 294,
+    PackageAlreadyContainsDeclarationWithTheSameName = 295,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 296,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 297,
+    PackageAliasWithTheSameNameAlreadyExits = 298,
+    PackageCanHaveOnlyEntryPoint = 299,
+    PackageCanHaveOnlyOneConstructor = 300,
+    TypeAlreadyContainsDeclarationWithTheSameName = 301,
+    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 302,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 303,
+    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 304,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 305,
+    TypeCanHaveOnlyOneDestructor = 306,
+    TypeCanHaveOnlyOneDereferenceOperator = 307,
+    VariableIsUsedBeforeItsDeclaration = 308,
+    VariableMayNotHasBeenAssignedBeforeUsage = 309,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 310,
+    WriteFunctionHasNoCorrespondingReadFunction = 311,
+    TypeCanNotHaveMultipleBaseObjectTypes = 312,
+    TypeThatIsNotMarkedAsBasicCanNotBeUsedAsBaseType = 313,
+    PlainObjectTypeCanNotBeUsedAsBaseType = 314,
+    ThisTypeIsAlreadyListedInBaseTypeList = 315,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 316,
+    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 317,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 318,
+    ModifierListAlreadyContains0Modifier = 319,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 320,
+    _0ModifierIsNotAllowedHere = 321,
+    DeclarationCanNotBePlacedInGroupHaving0Modifier = 322,
+    PackageConstructorDeclarationCanNotHaveModifiers = 323,
+    PackageEntryPointDeclarationCanNotHaveModifiers = 324,
+    TranslationsCanNotHaveModifiers = 325,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 326,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 327,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 328,
+    _0ModifierCanNotBeUsedWith1Modifier = 329,
+    VariantDeclarationCanNotHaveHiddenModifier = 330,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 331,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 332,
+    NotBasicObjectTypesCanNotHaveBasicMembers = 333,
+    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 334,
+    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 335,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
     ProgramWithoutMainPackageCannotBeCompiled = 403,

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

@@ -17,6 +17,7 @@ export interface DereferenceOperatorEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];
+    ensureAllDiagnosticsReported?(): void;
 }
 export type DereferenceOperatorEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -32,6 +33,7 @@ export declare class DereferenceOperatorDeclarationEntity implements Dereference
     private readonly _getterOrSetterDeclaration;
     private readonly _overriddenMembers;
     private _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, getterDeclaration: DereferencedVariableGetterDeclaration | undefined, setterDeclaration: DereferencedVariableSetterDeclaration | undefined);
     getType(): types.Type;
@@ -46,4 +48,5 @@ export declare class DereferenceOperatorDeclarationEntity implements Dereference
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];
+    ensureAllDiagnosticsReported(): void;
 }

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

@@ -18,6 +18,7 @@ export interface IndexerEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
+    ensureAllDiagnosticsReported?(): void;
 }
 export type IndexerEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -39,6 +40,7 @@ export declare class IndexerDeclarationEntity implements SourceIndexerEntity {
     private readonly _parameters;
     private readonly _overriddenMembers;
     private _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get parameters();
     private get modifierFlags();
     constructor(analyzer: Analyzer, getterDeclaration: IndexedElementGetterDeclaration | undefined, setterDeclaration: IndexedElementSetterDeclaration | undefined);
@@ -56,5 +58,6 @@ export declare class IndexerDeclarationEntity implements SourceIndexerEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
+    ensureAllDiagnosticsReported(): void;
     private createParameters;
 }

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

@@ -1,7 +1,7 @@
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Name } from '../common/index.js';
-import { AnonymousStructuredTypeDeclaration, PackageStructuredTypeDeclaration } from '../tree/index.js';
+import * as tree from '../tree/index.js';
 import * as types from '../types/index.js';
 import { EntityNaming } from './EntityNaming.js';
 import { NamedTypeMemberEntity, OriginalTypeEntityMembers } from './TypeEntityMembers.js';
@@ -24,7 +24,7 @@ interface IStructuredTypeEntity extends ITypeEntity {
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -50,7 +50,7 @@ export type StructuredTypeEntityDefinition = {
 } | {
     kind: DefinitionKind.TypeScript;
 };
-type StructuredTypeEntityDefinitionNode = PackageStructuredTypeDeclaration | AnonymousStructuredTypeDeclaration;
+type StructuredTypeEntityDefinitionNode = tree.PackageStructuredTypeDeclaration | tree.AnonymousStructuredTypeDeclaration;
 /**
  * Класс позволяет работать с базовым объектным типом, исключая циклы наследования.
  *
@@ -122,14 +122,14 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
     private readonly _analyzer;
     private readonly _node;
     private readonly _data;
-    constructor(analyzer: Analyzer, node: PackageStructuredTypeDeclaration);
+    constructor(analyzer: Analyzer, node: tree.PackageStructuredTypeDeclaration);
     getNaming(): EntityNaming;
     getName(): Name;
     getContainingPackage(): PackageEntity;
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -146,19 +146,18 @@ export declare class SourcePackageStructuredTypeDeclarationData {
     private readonly _node;
     private readonly _entity;
     private readonly _typeParameters;
-    private readonly _baseObjectType;
-    private readonly _baseAspectTypes;
+    private readonly _baseTypes;
     private readonly _members;
     private _modifierFlags;
     private get modifierFlags();
-    constructor(analyzer: Analyzer, node: PackageStructuredTypeDeclaration, entity: PackageStructuredTypeEntity);
+    constructor(analyzer: Analyzer, node: tree.PackageStructuredTypeDeclaration, entity: PackageStructuredTypeEntity);
     getNaming(): EntityNaming;
     getName(): Name;
     getContainingPackage(): PackageEntity;
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -169,6 +168,7 @@ export declare class SourcePackageStructuredTypeDeclarationData {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    private getBaseTypes;
 }
 export declare class AnonymousStructuredTypeDeclarationEntity implements AnonymousStructuredTypeEntity {
     private readonly _analyzer;
@@ -176,15 +176,14 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
     readonly kind = EntityKind.Type;
     readonly typeEntityKind = TypeEntityKind.Structured;
     readonly subkind = "anonymous";
-    private readonly _baseObjectType;
-    private readonly _baseAspectTypes;
+    private readonly _baseTypes;
     private readonly _members;
-    constructor(_analyzer: Analyzer, _node: AnonymousStructuredTypeDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.AnonymousStructuredTypeDeclaration);
     getNaming(): EntityNaming;
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
-    isBasic(): boolean;
+    markedBasic(): boolean;
     isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
@@ -196,6 +195,7 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
+    private getBaseTypes;
 }
 export declare class UnfinishedIntrinsicPackageStructuredTypeEntity {
     private readonly _unfinishedValue;

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

@@ -133,6 +133,7 @@ export declare class ComputedPackageVariableDeclarationEntity implements Package
     private readonly _setterDeclaration;
     private readonly _getterOrSetterDeclaration;
     private _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, getterDeclaration: tree.PackageVariableGetterDeclaration | undefined, setterDeclaration: tree.PackageVariableSetterDeclaration | undefined);
     getName(): Name;
@@ -145,6 +146,7 @@ export declare class ComputedPackageVariableDeclarationEntity implements Package
     getSetter(): SetterEntity | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class FieldDeclarationEntity implements FieldEntity {
     readonly kind = EntityKind.Variable;
@@ -184,6 +186,7 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     private readonly _getterOrSetterDeclaration;
     private readonly _overriddenMembers;
     private _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, getterDeclaration: tree.FieldGetterDeclaration | undefined, setterDeclaration: tree.FieldSetterDeclaration | undefined);
     getName(): Name;
@@ -202,6 +205,7 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class VariantDeclarationEntity implements FieldEntity {
     readonly kind = EntityKind.Variable;

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

@@ -105,7 +105,8 @@ export declare namespace TypeMemberEntity {
      *
      * Объявление не имеет реализации, если выполняется одно из условий:
      * - объявление помечено модификатором "абстрактное"
-     * - объявление является является членом аспекта, не помечено модификатором "базовое" и не является всеобщим.
+     * - объявление является является членом аспекта, не помечено модификатором "базовое", не является всеобщим и не
+     *   скрыто в типе.
      */
     function isAbstract(entity: TypeMemberEntity): boolean;
 }

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/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;

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 {

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;

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;

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/package.json

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