@artel/artc 0.6.25227 → 0.6.25229

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

@@ -12,29 +12,30 @@ export declare enum DiagnosticCode {
     EnumerationVariableDeclarationExpected = 106,
     StatementExpected = 107,
     ExpressionExpected = 108,
-    BaseTypeNameExpected = 109,
-    TypeSpecifierExpected = 110,
-    TypeBodyExpected = 111,
-    FunctionCallArgumentExpected = 112,
-    IndexedAccessArgumentExpected = 113,
-    TagArgumentExpected = 114,
-    TypeParameterExpected = 115,
-    ParameterExpected = 116,
-    CatchClauseOrFinallyClauseExpected = 117,
-    PackageImportExpected = 118,
-    DeclarationOrPackageImportExpected = 119,
-    Expected0But1Found = 120,
-    InvalidTextTemplateLiteral = 121,
-    ModifierListExpected = 122,
-    RunKeywordCreationKeywordOrModifierListExpected = 123,
-    HidingLevelExpected = 124,
-    ParameterNameCanContainOnlyOneBackQuote = 125,
-    FieldNameCanContainOnlyTwoBackQuote = 126,
-    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 127,
-    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 128,
-    TagNameExpected = 129,
-    TypeMemberTranslationExpected = 130,
-    TranslationExpected = 131,
+    ExpressionCannotBeUsedAsStatement = 109,
+    BaseTypeNameExpected = 110,
+    TypeSpecifierExpected = 111,
+    TypeBodyExpected = 112,
+    FunctionCallArgumentExpected = 113,
+    IndexedAccessArgumentExpected = 114,
+    TagArgumentExpected = 115,
+    TypeParameterExpected = 116,
+    ParameterExpected = 117,
+    CatchClauseOrFinallyClauseExpected = 118,
+    PackageImportExpected = 119,
+    DeclarationOrPackageImportExpected = 120,
+    Expected0But1Found = 121,
+    InvalidTextTemplateLiteral = 122,
+    ModifierListExpected = 123,
+    RunKeywordCreationKeywordOrModifierListExpected = 124,
+    HidingLevelExpected = 125,
+    ParameterNameCanContainOnlyOneBackQuote = 126,
+    FieldNameCanContainOnlyTwoBackQuote = 127,
+    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 128,
+    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 129,
+    TagNameExpected = 130,
+    TypeMemberTranslationExpected = 131,
+    TranslationExpected = 132,
     TypeCannotBeUsedAsValue = 201,
     PackageNameCannotBeUsedAsValue = 202,
     PackageAliasCannotBeUsedAsValue = 203,
@@ -86,53 +87,66 @@ export declare enum DiagnosticCode {
     InterfacePackageVariablesMustNotHaveInitializers = 249,
     BodyIsMissing = 250,
     AbstractTypeMembersMustNotHaveBody = 251,
-    AbstractVariablesMustNotHaveInitializers = 252,
-    PackageIsAlreadyImportedInAnotherLanguage = 253,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 254,
-    FunctionsUsingYieldStatementCannotReturnValue = 255,
-    YieldStatementCannotBeUsedInAnonymousFunctions = 256,
-    YieldStatementCannotBeUsedHere = 257,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 258,
-    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 259,
-    YieldStatementCannotBeUsedInFinallyClause = 260,
-    SubprogramMustReturnValue = 261,
-    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 262,
-    TypeAliasReferencesItself = 263,
-    TypeParameterHasCircularConstraint = 264,
-    BaseTypeCausesInheritanceCycle = 265,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 266,
-    Expected0TypeArguments = 267,
-    ExpectedFrom0To1TypeArguments = 268,
-    Type0IsNotAssignableToConstraint1 = 269,
-    VariableIsDeclaredButNotUsed = 270,
-    DefaultConstructorArgumentsMustBeNamed = 271,
-    IncorrectBodyOfRedefinableAliasTypeMethod = 272,
-    TheFollowingDeclarationsAreNotTranslated0 = 273,
-    TheFollowingDeclarationAreNotTranslated0And1More = 274,
-    OperatorFunctionMustNotBeStatic = 275,
-    OperatorFunction0MustNotHaveParameters = 276,
-    OperatorFunction0MustHaveOneParameter = 277,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 278,
-    CorrespondingRedefinableTypeMemberNotFound = 279,
-    ConstructorCannotBeDeclaredAsBasic = 280,
-    ConstructorCannotBeDeclaredAsRedefinable = 281,
-    ConstructorCannotBeDeclaredAsOverridden = 282,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 283,
-    TagNotFound = 284,
-    TypeOrFunctionNameExpected = 285,
-    PackageNameOrAliasExpected = 286,
-    ExpressionCanBeNone = 287,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 288,
-    UnreachableCode = 289,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 290,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 291,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 292,
-    VariableIsUsedBeforeItsDeclaration = 293,
-    VariableMayNotHasBeenAssignedBeforeUsage = 294,
-    CannotFindTsLibDirectoryBaseSearchPaths0 = 301,
-    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 302,
-    ProgramWithoutMainPackageCannotBeCompiled = 303,
-    ErrorsInJsonConfigurationFile = 304,
-    StandardPackage0NotFound = 305,
-    Declaration0NotFoundInStandardPackage1 = 306
+    MembersOfAspectTypeMustNotHaveBody = 252,
+    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 253,
+    AbstractVariablesMustNotHaveInitializers = 254,
+    PackageIsAlreadyImportedInAnotherLanguage = 255,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 256,
+    FunctionsUsingYieldStatementCannotReturnValue = 257,
+    YieldStatementCannotBeUsedInAnonymousFunctions = 258,
+    YieldStatementCannotBeUsedHere = 259,
+    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 260,
+    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 261,
+    YieldStatementCannotBeUsedInFinallyClause = 262,
+    SubprogramMustReturnValue = 263,
+    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 264,
+    TypeAliasReferencesItself = 265,
+    TypeParameterHasCircularConstraint = 266,
+    BaseTypeCausesInheritanceCycle = 267,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 268,
+    Expected0TypeArguments = 269,
+    ExpectedFrom0To1TypeArguments = 270,
+    Type0IsNotAssignableToConstraint1 = 271,
+    VariableIsDeclaredButItsValueIsNeverRead = 272,
+    FunctionIsDeclaredButNotUsed = 273,
+    TypeParameterIsDeclaredButNotUsed = 274,
+    DefaultConstructorArgumentsMustBeNamed = 275,
+    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,
+    CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
+    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
+    ProgramWithoutMainPackageCannotBeCompiled = 403,
+    ErrorsInJsonConfigurationFile = 404,
+    StandardPackage0NotFound = 405,
+    Declaration0NotFoundInStandardPackage1 = 406
 }

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

@@ -23,12 +23,12 @@ export declare class FunctionEntityDetails implements TypeMemberEntityDetails {
     isPackageConstructor: boolean;
     isPackageEntryPoint: boolean;
     overriddenMembers: readonly FunctionEntity[];
-    ifRedefinableAliasTypeMethodThenRealMethod: FunctionEntity | undefined;
+    ifBasicAliasTypeMethodThenRealMethod: FunctionEntity | undefined;
     isDefaultExport: boolean;
     isAliasTypeOrExtensionMemberThatRequiresLowering: boolean;
     isBuiltInOperator: boolean;
     hasComputedName: ComputedNameInfo | undefined;
-    isRedefinable: boolean;
+    isBasic: boolean;
     isTypeExtensionMemberAddedToPrototype: boolean;
     isAbstract: boolean;
     isStatic: boolean;
@@ -65,7 +65,7 @@ export declare class VariableEntityDetails implements TypeMemberEntityDetails {
     isProxiedField: ProxiedFieldInfo | undefined;
     isDefaultExport: boolean;
     hasComputedName: ComputedNameInfo | undefined;
-    isRedefinable: boolean;
+    isBasic: boolean;
     isAbstract: boolean;
     isTypeExtensionMemberAddedToPrototype: boolean;
     isStatic: boolean;
@@ -78,7 +78,7 @@ export type TypeMemberEntity = FunctionEntity | VariableEntity;
 interface TypeMemberEntityDetails {
     isStatic: boolean;
     isAbstract: boolean;
-    isRedefinable: boolean;
+    isBasic: boolean;
     overriddenMembers: readonly TypeMemberEntity[];
     hasComputedName: ComputedNameInfo | undefined;
     isTypeExtensionMemberAddedToPrototype: boolean;

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

@@ -91,7 +91,6 @@ export declare class IrBuilder {
     private convertIndexedAccess;
     private convertDereferencedVariableAccess;
     private buildReferenceExpression;
-    private buildWhenTernaryExpression;
     private buildConditionalExpression;
     private buildTextTemplateLiteral;
     private buildTokenExpression;

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

@@ -12,8 +12,8 @@ export interface DereferenceOperatorEntity {
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];
@@ -41,8 +41,8 @@ export declare class DereferenceOperatorDeclarationEntity implements Dereference
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];

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

@@ -14,8 +14,8 @@ export interface MethodEntity extends IFunctionEntity {
     readonly subkind: 'method';
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     isFunctionTypeInvokeMethod(): boolean;
@@ -91,8 +91,8 @@ export declare class MethodDeclarationEntity implements MethodEntity {
     isFunctionTypeInvokeMethod(): boolean;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
@@ -153,14 +153,14 @@ export declare class IntrinsicMethodEntity implements MethodEntity {
     private readonly _isFunctionTypeInvokeMethod;
     private readonly _container;
     private readonly _isStatic;
-    private readonly _isRedefinable;
+    private readonly _isBasic;
     private readonly _isRedefined;
     private readonly _isAbstract;
     private readonly _isModifyingOwningPlainObject;
     private readonly _overriddenMembers;
     readonly kind = EntityKind.Function;
     readonly subkind = "method";
-    constructor(_name: Name, _typeParameters: readonly TypeParameterEntity[], _valueParameters: readonly ParameterVariableEntity[], _returnType: types.Type, _isAsync: boolean, _isHidden: EntityHidingLevel | undefined, _tags: readonly Tag[], _isFunctionTypeInvokeMethod: boolean, _container: TypeMemberEntityContainer, _isStatic: boolean, _isRedefinable: boolean, _isRedefined: boolean, _isAbstract: boolean, _isModifyingOwningPlainObject: boolean, _overriddenMembers: readonly types.Method[]);
+    constructor(_name: Name, _typeParameters: readonly TypeParameterEntity[], _valueParameters: readonly ParameterVariableEntity[], _returnType: types.Type, _isAsync: boolean, _isHidden: EntityHidingLevel | undefined, _tags: readonly Tag[], _isFunctionTypeInvokeMethod: boolean, _container: TypeMemberEntityContainer, _isStatic: boolean, _isBasic: boolean, _isRedefined: boolean, _isAbstract: boolean, _isModifyingOwningPlainObject: boolean, _overriddenMembers: readonly types.Method[]);
     getName(): Name;
     getTypeParameters(): readonly TypeParameterEntity[];
     getValueParameters(): readonly ParameterVariableEntity[];
@@ -173,8 +173,8 @@ export declare class IntrinsicMethodEntity implements MethodEntity {
     isFunctionTypeInvokeMethod(): boolean;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     isModifyingOwningPlainObject(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;

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

@@ -13,8 +13,8 @@ export interface IndexerEntity {
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
@@ -51,8 +51,8 @@ export declare class IndexerDeclarationEntity implements SourceIndexerEntity {
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];

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

@@ -11,8 +11,8 @@ export interface OperatorEntity {
     getDefinition(): OperatorDefinition;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
@@ -38,8 +38,8 @@ export declare class OperatorDeclarationEntity implements OperatorEntity {
     getDefinition(): OperatorDefinition;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];

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

@@ -15,8 +15,8 @@ export interface FieldEntity extends IVariableEntity {
     readonly subkind: 'field';
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getOverriddenMembers(): readonly types.Variable[];
     isVariant(): boolean;
@@ -48,6 +48,7 @@ interface IVariableEntity {
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    ensureAllDiagnosticsReported?(): void;
 }
 export type ParameterVariableEntityContainer = ParameterVariableEntityContainer.Entity | ParameterVariableEntityContainer.FunctionLiteral;
 export declare namespace ParameterVariableEntityContainer {
@@ -109,6 +110,7 @@ export declare class PackageVariableDeclarationEntity implements PackageVariable
     readonly subkind = "package";
     private readonly _typeInferrer;
     private readonly _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(_analyzer: Analyzer, _node: tree.PackageVariableDeclaration);
     getName(): Name;
@@ -121,6 +123,7 @@ export declare class PackageVariableDeclarationEntity implements PackageVariable
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class ComputedPackageVariableDeclarationEntity implements PackageVariableEntity {
     readonly kind = EntityKind.Variable;
@@ -151,6 +154,7 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     private readonly _typeInferrer;
     private readonly _overriddenMembers;
     private readonly _modifierFlags;
+    private _hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, node: tree.FieldDeclaration);
     getName(): Name;
@@ -164,11 +168,12 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     getTags(): readonly Tag[];
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getOverriddenMembers(): readonly types.Variable[];
     isVariant(): boolean;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     readonly kind = EntityKind.Variable;
@@ -187,8 +192,8 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     isHidden(): EntityHidingLevel | undefined;
     isConstant(): boolean;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getDefinition(): VariableEntityDefinition;
     getGetter(): GetterEntity | undefined;
@@ -217,8 +222,8 @@ export declare class VariantDeclarationEntity implements FieldEntity {
     getTags(): readonly Tag[];
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getOverriddenMembers(): readonly types.Variable[];
     isVariant(): boolean;
@@ -229,6 +234,7 @@ export declare class LocalVariableDeclarationEntity implements LocalVariableEnti
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
     private readonly _typeInferrer;
+    private _hasReportedAllDiagnostics;
     constructor(_analyzer: Analyzer, _node: tree.LocalVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
@@ -241,6 +247,7 @@ export declare class LocalVariableDeclarationEntity implements LocalVariableEnti
     getTags(): readonly Tag[];
     getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class EnumerationVariableDeclarationEntity implements LocalVariableEntity {
     private readonly _analyzer;
@@ -248,6 +255,7 @@ export declare class EnumerationVariableDeclarationEntity implements LocalVariab
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
     private readonly _typeInferrer;
+    private _hasReportedAllDiagnostics;
     constructor(_analyzer: Analyzer, _node: tree.EnumerationVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
@@ -260,6 +268,7 @@ export declare class EnumerationVariableDeclarationEntity implements LocalVariab
     getTags(): readonly Tag[];
     getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class ErrorVariableDeclarationEntity implements LocalVariableEntity {
     private readonly _analyzer;
@@ -285,6 +294,7 @@ export declare class ParameterDeclarationEntity implements ParameterVariableEnti
     readonly kind = EntityKind.Variable;
     readonly subkind = "parameter";
     private readonly _typeInferrer;
+    private _hasReportedAllDiagnostics;
     constructor(_analyzer: Analyzer, _node: tree.ParameterDeclaration);
     getName(): Name;
     getType(): types.Type;
@@ -298,6 +308,7 @@ export declare class ParameterDeclarationEntity implements ParameterVariableEnti
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class IndexParameterDeclarationEntity implements ParameterVariableEntity {
     private readonly _analyzer;
@@ -308,6 +319,7 @@ export declare class IndexParameterDeclarationEntity implements ParameterVariabl
     readonly subkind = "parameter";
     private readonly _getterOrSetterParameterDeclaration;
     private readonly _typeInferrer;
+    private _hasReportedAllDiagnostics;
     constructor(_analyzer: Analyzer, _getterParameterDeclaration: tree.ParameterDeclaration | undefined, _setterParameterDeclaration: tree.ParameterDeclaration | undefined, _indexerEntity: IndexerEntity);
     getName(): Name;
     getType(): types.Type;
@@ -321,6 +333,7 @@ export declare class IndexParameterDeclarationEntity implements ParameterVariabl
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class FunctionLiteralParameterDeclarationEntity implements ParameterVariableEntity {
     private readonly _analyzer;
@@ -370,7 +383,7 @@ export declare class IntrinsicFieldEntity implements FieldEntity {
     private readonly _type;
     private readonly _container;
     private readonly _isStatic;
-    private readonly _isRedefinable;
+    private readonly _isBasic;
     private readonly _isRedefined;
     private readonly _isAbstract;
     private readonly _isSpecial;
@@ -380,7 +393,7 @@ export declare class IntrinsicFieldEntity implements FieldEntity {
     private readonly _overriddenMembers;
     readonly kind = EntityKind.Variable;
     readonly subkind = "field";
-    constructor(_name: Name, _type: types.Type, _container: TypeMemberEntityContainer, _isStatic: boolean, _isRedefinable: boolean, _isRedefined: boolean, _isAbstract: boolean, _isSpecial: SpecialVariableEntityInfo | undefined, _isHidden: EntityHidingLevel | undefined, _getter: GetterEntity | undefined, _setter: SetterEntity | undefined, _overriddenMembers: readonly types.Variable[]);
+    constructor(_name: Name, _type: types.Type, _container: TypeMemberEntityContainer, _isStatic: boolean, _isBasic: boolean, _isRedefined: boolean, _isAbstract: boolean, _isSpecial: SpecialVariableEntityInfo | undefined, _isHidden: EntityHidingLevel | undefined, _getter: GetterEntity | undefined, _setter: SetterEntity | undefined, _overriddenMembers: readonly types.Variable[]);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -392,8 +405,8 @@ export declare class IntrinsicFieldEntity implements FieldEntity {
     getTags(): readonly Tag[];
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
-    isRedefinable(): boolean;
-    isRedefined(): boolean;
+    isBasic(): boolean;
+    isOverridden(): boolean;
     isAbstract(): boolean;
     getOverriddenMembers(): readonly types.Variable[];
     isVariant(): boolean;

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

@@ -77,6 +77,10 @@ export type EntityWithTags = ConstructorEntity | DestructorEntity | IndexerEntit
 export declare function isEntityWithTags(entity: Entity): entity is EntityWithTags;
 export type TypeMemberEntity = FieldEntity | MethodEntity | OperatorEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
 export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
+export declare namespace TypeMemberEntity {
+    function isAspectTypeMember(entity: TypeMemberEntity): boolean;
+    function isStatic(entity: TypeMemberEntity): boolean;
+}
 export declare function entityToStringDecorator<T extends {
     new (...args: any[]): Entity;
 }>(constructor: T): void;

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

@@ -38,8 +38,10 @@ export declare class TranslationPackageConfiguration {
     readonly targetPackageName: PackageName;
     readonly translatedName: PackageName;
     readonly translationLocale: PackageLocale;
+    readonly locale: PackageLocale;
+    readonly dialect?: PackageDialect | undefined;
     get name(): PackageName;
-    constructor(targetPackageName: PackageName, translatedName: PackageName, translationLocale: PackageLocale);
+    constructor(targetPackageName: PackageName, translatedName: PackageName, translationLocale: PackageLocale, locale: PackageLocale, dialect?: PackageDialect | undefined);
 }
 export declare class ProgramPackageConfiguration {
     readonly name: PackageName;

package/build/types/project/configuration/ConfigurationConverter.d.ts

@@ -8,7 +8,7 @@ export declare class ConfigurationConverter {
     static convert(configurations: readonly origin.Configuration[], packageOrGroupUri?: Uri, defaultLocale?: PackageLocale, defaultDialect?: PackageDialect): ConvertedConfiguration;
     static convertPackageConfiguration(configuration: origin.Package, packageOrGroupUri?: Uri, defaultLocale?: PackageLocale, defaultDialect?: PackageDialect): ProgramPackageConfiguration;
     static convertPackageGroupConfiguration(configuration: origin.PackageGroup): PackageGroupConfiguration;
-    static convertTranslationsConfiguration(configuration: origin.Translations): TranslationPackageConfiguration;
+    static convertTranslationsConfiguration(configuration: origin.Translations, defaultLocale?: PackageLocale, defaultDialect?: PackageDialect): TranslationPackageConfiguration;
     private static convertJavaScriptImplementation;
     private static convertLanguage;
     private static convertDialect;

package/build/types/project/configuration/types/PackageConfigurationEn.d.ts

@@ -21,6 +21,8 @@ export interface Translations {
     originalPackageName: string;
     translatedPackageName: string;
     translationLanguage: Language;
+    language?: Language;
+    dialect?: Dialect;
 }
 export declare enum Language {
     Russian = "russian",

package/build/types/project/configuration/types/PackageConfigurationRu.d.ts

@@ -21,6 +21,8 @@ export interface Переводы {
     имяПакетаИсходное: string;
     имяПакетаПереведённое: string;
     языкПеревода: Язык;
+    язык?: Язык;
+    диалект?: Диалект;
 }
 export declare enum Язык {
     Русский = "\u0440\u0443\u0441\u0441\u043A\u0438\u0439",

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

@@ -38,26 +38,25 @@ export declare enum KeywordKind {
     Const = 36,
     Hidden = 37,
     Abstract = 38,
-    Redefinable = 39,
-    Redefined = 40,
-    Async = 41,
-    Static = 42,
-    As = 43,
-    Not = 44,
-    Switch = 45,
-    Case = 46,
-    Dispose = 47,
-    Destruction = 48,
-    InHierarchy = 49,
-    InFile = 50,
-    InPackage = 51,
-    InType = 52,
-    Yes = 53,
-    No = 54,
-    Reference = 55,
-    Translations = 56,
-    Base = 57,
-    None = 58,
-    Get = 59,
-    Set = 60
+    Redefined = 39,
+    Async = 40,
+    Static = 41,
+    As = 42,
+    Not = 43,
+    Switch = 44,
+    Case = 45,
+    Dispose = 46,
+    Destruction = 47,
+    InHierarchy = 48,
+    InFile = 49,
+    InPackage = 50,
+    InType = 51,
+    Yes = 52,
+    No = 53,
+    Reference = 54,
+    Translations = 55,
+    Base = 56,
+    None = 57,
+    Get = 58,
+    Set = 59
 }