@artel/artc 0.6.26021 → 0.6.26023

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

@@ -0,0 +1,31 @@
+import { Name } from '../../common/index.js';
+import { TypeEntity, TypeExtensionEntity } from '../../entities/index.js';
+import * as types from '../../types/index.js';
+import { Analyzer } from '../Analyzer.js';
+import { TypeMemberLookupContext, TypeMemberLookupOptions } from '../TypeMemberLookup.js';
+export declare class TypeMemberLookupA {
+    private readonly typeMemberLookup;
+    private constructor();
+    static ofType(analyzer: Analyzer, type: types.Type): TypeMemberLookupA;
+    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity): TypeMemberLookupA;
+    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity): TypeMemberLookupA;
+    getNamedMembers(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.NamedTypeMember[];
+    getNamedMembersByName(name: Name, context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.NamedTypeMember[];
+    getConstructors(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Method[];
+    getDestructors(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Method[];
+    getIndexers(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Indexer[];
+    getDereferenceOperators(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.DereferenceOperator[];
+}
+export declare class BoundTypeMemberLookupA {
+    private readonly typeMemberLookup;
+    private constructor();
+    static ofType(analyzer: Analyzer, type: types.Type, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookupA;
+    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookupA;
+    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookupA;
+    getNamedMembers(): readonly types.NamedTypeMember[];
+    getNamedMembersByName(name: Name): readonly types.NamedTypeMember[];
+    getConstructors(): readonly types.Method[];
+    getDestructors(): readonly types.Method[];
+    getIndexers(): readonly types.Indexer[];
+    getDereferenceOperators(): readonly types.DereferenceOperator[];
+}

package/build/types/analysis/a/semantic-context/SemanticContextBase.d.ts

@@ -1,5 +1,5 @@
 import { Name } from '../../../common/index.js';
-import { AnonymousFunctionEntity, ConstructorEntity, DestructorEntity, FunctionEntity, FunctionTypeEntity, GetterEntity, PackageEntity, ParameterEntity, SetterEntity, TextKey, TextTranslationEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity } from '../../../entities/index.js';
+import { AnonymousFunctionEntity, FunctionEntity, FunctionTypeEntity, GetterEntity, MethodEntity, NamedFunctionEntity, PackageEntity, ParameterEntity, SetterEntity, TextKey, TextTranslationEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity } from '../../../entities/index.js';
 import { SourceFileA } from '../../../project/SourceFile.js';
 import * as tree from '../../../tree/a/index.js';
 import * as types from '../../../types/index.js';
@@ -44,12 +44,13 @@ export declare namespace SubprogramInfo {
         readonly kind = "function";
         private readonly analyzer;
         private readonly node;
+        private readonly entity;
         constructor(analyzer: Analyzer, node: tree.FunctionDeclaration);
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
         allowsAsyncCalls(): boolean;
         getNode(): tree.FunctionDeclaration;
-        getEntity(): FunctionEntity;
+        getEntity(): NamedFunctionEntity;
     }
     export class Constructor implements ISubprogramInfo {
         readonly kind = "constructor";
@@ -59,7 +60,7 @@ export declare namespace SubprogramInfo {
         getReturnType(): types.Type | undefined;
         isGenerator(): boolean;
         allowsAsyncCalls(): boolean;
-        getEntity(): ConstructorEntity;
+        getEntity(): MethodEntity;
         getNode(): tree.ConstructorDeclaration;
     }
     export class Destructor implements ISubprogramInfo {
@@ -71,7 +72,7 @@ export declare namespace SubprogramInfo {
         isGenerator(): boolean;
         allowsAsyncCalls(): boolean;
         getNode(): tree.DestructorDeclaration;
-        getEntity(): DestructorEntity | undefined;
+        getEntity(): MethodEntity;
     }
     export class Getter implements ISubprogramInfo {
         readonly kind = "getter";
@@ -82,7 +83,7 @@ export declare namespace SubprogramInfo {
         isGenerator(): boolean;
         allowsAsyncCalls(): boolean;
         getNode(): tree.GetterDeclaration;
-        getEntity(): GetterEntity | undefined;
+        getEntity(): GetterEntity;
     }
     export class Setter implements ISubprogramInfo {
         readonly kind = "setter";
@@ -93,7 +94,7 @@ export declare namespace SubprogramInfo {
         isGenerator(): boolean;
         allowsAsyncCalls(): boolean;
         getNode(): tree.SetterDeclaration;
-        getEntity(): SetterEntity | undefined;
+        getEntity(): SetterEntity;
     }
     export class PackageConstructor implements ISubprogramInfo {
         readonly kind = "package-constructor";
@@ -139,7 +140,7 @@ export declare namespace SubprogramInfo {
         isGenerator(): boolean;
         allowsAsyncCalls(): boolean;
         getNode(): tree.TextTranslationFunctionDeclaration;
-        getEntity(): TextTranslationEntity | undefined;
+        getEntity(): TextTranslationEntity;
     }
     interface ISubprogramInfo {
         getReturnType(): types.Type | undefined;
@@ -150,7 +151,7 @@ export declare namespace SubprogramInfo {
     }
     export {};
 }
-export type SubprogramInfoEntity = GetterEntity | SetterEntity | FunctionEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | TextTranslationEntity;
+export type SubprogramInfoEntity = GetterEntity | SetterEntity | FunctionEntity | FunctionTypeEntity | TextTranslationEntity;
 export type TypeOrTypeExtension = TypeOrTypeExtension.Type | TypeOrTypeExtension.TypeExtension;
 export declare namespace TypeOrTypeExtension {
     export class Type implements ITypeOrTypeExtension {

package/build/types/analysis/a/semantic-context/TypeSemanticContext.d.ts

@@ -1,7 +1,8 @@
 import { Name } from '../../../common/index.js';
 import * as tree from '../../../tree/a/index.js';
-import { TypeMemberLookup, TypeMemberLookupContext } from '../../TypeMemberLookup.js';
+import { TypeMemberLookupContext } from '../../TypeMemberLookup.js';
 import { Analyzer } from '../Analyzer.js';
+import { TypeMemberLookupA } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 import { NamedDeclarationLookupResult, ObjectVariableInfo, SemanticContextLookupState, SubprogramInfo, TypeOrTypeExtension } from './SemanticContextBase.js';
@@ -45,7 +46,7 @@ export declare class TypeParametersOfTypeSemanticContext extends SemanticContext
     protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
 }
 declare abstract class TypeOrExtensionBodySemanticContext extends SemanticContextWithParent {
-    protected abstract memberLookup: TypeMemberLookup;
+    protected abstract memberLookup: TypeMemberLookupA;
     getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean, lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
@@ -62,7 +63,7 @@ export declare class TypeBodySemanticContext extends TypeOrExtensionBodySemantic
     private readonly analyzer;
     private readonly node;
     private readonly memberLookup_;
-    protected get memberLookup(): TypeMemberLookup;
+    protected get memberLookup(): TypeMemberLookupA;
     constructor(analyzer: Analyzer, node: TypeDeclarationWithMemberBlock, outer: TypeBodySemanticContextParent);
     private getTypeEntity;
 }
@@ -74,7 +75,7 @@ export declare class TypeExtensionBodySemanticContext extends TypeOrExtensionBod
     private readonly node;
     private readonly memberLookup_;
     private readonly typeMemberLookupContext;
-    protected get memberLookup(): TypeMemberLookup;
+    protected get memberLookup(): TypeMemberLookupA;
     constructor(analyzer: Analyzer, node: tree.TypeExtensionDeclaration, outer: SourceFileSemanticContext);
     getContainingTypeOrTypeExtension(): TypeOrTypeExtension;
     getObjectVariableInfo(): ObjectVariableInfo | undefined;

package/build/types/analysis/m/TypeMemberLookup.d.ts

@@ -0,0 +1,31 @@
+import { Name } from '../../common/index.js';
+import { TypeEntity, TypeExtensionEntity } from '../../entities/index.js';
+import * as types from '../../types/index.js';
+import { Analyzer } from '../Analyzer.js';
+import { TypeMemberLookupContext, TypeMemberLookupOptions } from '../TypeMemberLookup.js';
+export declare class TypeMemberLookupM {
+    private readonly typeMemberLookup;
+    private constructor();
+    static ofType(analyzer: Analyzer, type: types.Type): TypeMemberLookupM;
+    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity): TypeMemberLookupM;
+    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity): TypeMemberLookupM;
+    getNamedMembers(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.NamedTypeMember[];
+    getNamedMembersByName(name: Name, context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.NamedTypeMember[];
+    getConstructors(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Method[];
+    getDestructors(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Method[];
+    getIndexers(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Indexer[];
+    getDereferenceOperators(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.DereferenceOperator[];
+}
+export declare class BoundTypeMemberLookupM {
+    private readonly typeMemberLookup;
+    private constructor();
+    static ofType(analyzer: Analyzer, type: types.Type, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookupM;
+    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookupM;
+    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookupM;
+    getNamedMembers(): readonly types.NamedTypeMember[];
+    getNamedMembersByName(name: Name): readonly types.NamedTypeMember[];
+    getConstructors(): readonly types.Method[];
+    getDestructors(): readonly types.Method[];
+    getIndexers(): readonly types.Indexer[];
+    getDereferenceOperators(): readonly types.DereferenceOperator[];
+}

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

@@ -12,6 +12,13 @@ export declare class ArrayUtils {
     static compareWithComparatorIgnoringOrder<T1, T2>(array1: readonly T1[], array2: readonly T2[], comparator: (e1: T1, e2: T2) => boolean): boolean;
     static compareWithEquals<T extends WithEqualsMethod<T>>(array1: readonly T[], array2: readonly T[]): boolean;
     static compareWithComparator<T1, T2>(array1: readonly T1[], array2: readonly T2[], comparator: (e1: T1, e2: T2) => boolean): boolean;
+    /**
+     * Отличается от Array.filter тем, что если все элементы массива удовлетворяют условию, возвращается исходный массив.
+     */
+    static filter<T, S extends T>(array: T[], fn: (value: T, index: number) => value is S): S[];
+    static filter<T, S extends T>(array: readonly T[], fn: (value: T, index: number) => value is S): readonly S[];
+    static filter<T>(array: T[], fn: (value: T, index: number) => boolean): T[];
+    static filter<T>(array: readonly T[], fn: (value: T, index: number) => boolean): readonly T[];
 }
 export type WithEqualsMethod<T> = {
     equals(t: T): boolean;

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

@@ -4,13 +4,14 @@ import { Keyword } from '../parser/a/KeywordDictionary.js';
 import { KeywordFlags } from '../tree/a/KeywordFlags.js';
 import { KeywordKind } from '../tree/a/KeywordKind.js';
 import { OperatorKind as SyntacticalOperatorKind } from '../tree/a/OperatorKind.js';
-import { PackageDialect, PackageLocale } from './index.js';
 import { LocalizationHelper } from './LocalizationHelper.js';
+import { Name } from './Name.js';
+import { PackageLocale } from './PackageLocale.js';
 export declare class LocalizationHelperA extends LocalizationHelper {
-    static localizeKeyword(kind: KeywordKind, locale: PackageLocale, dialect: PackageDialect): readonly Keyword[];
-    static localizeKeywordAndTakeFirst(kind: KeywordKind, locale: PackageLocale, dialect: PackageDialect): string;
-    static localizeKeywordAndTakeBest(kind: KeywordKind, locale: PackageLocale, dialect: PackageDialect, preferredFlags?: KeywordFlags): string;
-    static localizeReservedName(kind: ReservedNameKind, locale: PackageLocale): string;
-    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
-    static localizeSyntacticalOperatorKind(kind: SyntacticalOperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
+    static localizeKeyword(kind: KeywordKind, locale: PackageLocale): readonly Keyword[];
+    static localizeKeywordAndTakeFirst(kind: KeywordKind, locale: PackageLocale): string;
+    static localizeKeywordAndTakeBest(kind: KeywordKind, locale: PackageLocale, preferredFlags?: KeywordFlags): string;
+    static localizeReservedName(kind: ReservedNameKind, locale: PackageLocale): Name;
+    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale): string;
+    static localizeSyntacticalOperatorKind(kind: SyntacticalOperatorKind, locale: PackageLocale): string;
 }

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

@@ -7,5 +7,6 @@ export declare class Range {
     includes(offset: number): boolean;
     includes(range: Range): boolean;
     equals(other: Range): boolean;
+    toString(): string;
     static empty(start: number): Range;
 }

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

@@ -155,118 +155,121 @@ export declare enum DiagnosticCode {
     PackageAliasWithTheSameNameAlreadyExits = 2116,
     TypeAlreadyContainsDeclarationWithTheSameName = 2117,
     TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2118,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2119,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2120,
-    TypeCanHaveOnlyOneDestructor = 2121,
-    TypeCanHaveOnlyOneDereferenceOperator = 2122,
-    VariableIsUsedBeforeItsDeclaration = 2123,
-    VariableMayNotHasBeenAssignedBeforeUsage = 2124,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2125,
-    WriteFunctionHasNoCorrespondingReadFunction = 2126,
-    TypeCannotHaveMultipleBaseObjectTypes = 2127,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2128,
-    StructureCannotBeUsedAsBaseType = 2129,
-    ThisTypeIsAlreadyListedInBaseTypeList = 2130,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2131,
-    StructureCanHaveOnlyAspectsAsBaseTypes = 2132,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2133,
-    ModifierListAlreadyContains0Modifier = 2134,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2135,
-    _0ModifierIsNotAllowedHere = 2136,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 2137,
-    PackageConstructorDeclarationCannotHaveModifiers = 2138,
-    PackageEntryPointDeclarationCannotHaveModifiers = 2139,
-    TranslationsCannotHaveModifiers = 2140,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2141,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2142,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2143,
-    _0ModifierCannotBeUsedWith1Modifier = 2144,
-    VariantValueCannotBeHidden = 2145,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 2146,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 2147,
-    NotBasicObjectTypesCannotHaveBasicMembers = 2148,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 2149,
-    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 2150,
-    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 2151,
-    DeclarationConflictsWithBaseTypeMember0 = 2152,
-    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 2153,
-    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 2154,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 2155,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 2156,
-    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 2157,
-    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 2158,
-    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 2159,
-    OverridingFieldMustMustBeMutableToMatchBaseField0 = 2160,
-    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 2161,
-    TypeDoesNotImplementMember0 = 2162,
-    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 2163,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 2164,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 2165,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotMutable = 2166,
-    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 2167,
-    CannotAccessAbstractMemberOfBaseType = 2168,
-    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 2169,
-    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 2170,
-    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 2171,
-    ThisCallCausesOwnConstructorCallCycle = 2172,
-    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2173,
-    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2174,
-    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 2175,
-    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2176,
-    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2177,
-    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 2178,
-    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 2179,
-    CannotInferTypeArguments = 2180,
-    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 2181,
-    ImmutableVariablesBustBeInitialized = 2182,
-    VariableTypeIsNotSpecified = 2183,
-    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 2184,
-    TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 2185,
-    RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 2186,
-    RequiredParametersCannotFollowOptionalParameters = 2187,
-    ExpressionCannotBeReferenced = 2188,
-    TextIsMissingAmongPrimaryTextTranslationDefinitions = 2189,
-    DeclarationHasAlreadyBeenTranslated = 2190,
-    TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters = 2191,
-    TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters = 2192,
-    TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName = 2193,
-    TranslationOfFunctionTypeMustIncludeParameterList = 2194,
-    OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary = 2195,
-    Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 = 2196,
-    TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 = 2197,
-    TranslatedOverridingMember0MustTheSameNameAsBaseMember1 = 2198,
-    TextTranslationAlreadyExistsInTheTextTranslationPackage = 2199,
-    PackageDoesNotContainImplementationOf0 = 2200,
-    TypeDoesNotContainImplementationOf0 = 2201,
-    ImplementationVariableMustBeMutableToMatchInterfacePackageVariable0 = 2202,
-    ImplementationFunctionMustBeAsyncToMatchInterfacePackageFunction0 = 2203,
-    ImplementationFunctionMustNotBeAsyncToMatchInterfacePackageFunction0 = 2204,
-    ImplementationTypeMustBeBasicToMatchInterfacePackageType0 = 2205,
-    ImplementationTypeMustNotBeAbstractToMatchInterfacePackageType0 = 2206,
-    ImplementationTypeMemberMustBeBasicToMatchInterfacePackageTypeMember0 = 2207,
-    ImplementationTypeMemberMustNotBeAbstractToMatchInterfacePackageTypeMember0 = 2208,
-    ImplementationTypeMemberMustHaveWriteFunctionToMatchInterfacePackageTypeMember0 = 2209,
-    BreakLoopAndContinueLoopStatementsCanOnlyBeUsedInsideALoop = 2210,
-    BreakLoopAndContinueLoopStatementsCannotBeUsedInFinallyBlock = 2211,
-    TheCodeWasExpectedToBeUnreachable = 2212,
-    CorrespondingReductionSourceTypeMemberNotFound = 2213,
-    OnlyTypesPresentInBaseTypeListOrReductionSourceCanBeSpecified = 2214,
-    ReducedTypeMemberMustHaveTheSameTypeAsReductionSourceMember = 2215,
-    ReducedTypeMemberMustHaveTheSameHidingLevelAsReductionSourceMember = 2216,
-    ReducedTypeFieldMustBeImmutableToMatchReductionSourceField = 2217,
-    ReducedTypeMethodMustBeAsyncToMatchReductionSourceMethod = 2218,
-    ReducedTypeMethodMustNotBeAsyncToMatchReductionSourceMethod = 2219,
-    ReducedTypeMemberMustHaveNoWriteFunctionToMatchReductionSourceMember = 2220,
-    StructureFieldsMustBeImmutable = 2221,
-    StructureFieldsMustBeImmutableAutomaticallyCreatedStoredFieldIsMutable = 2222,
-    FieldTypeCausesRecursiveStructureLayout = 2223,
-    QuestionOperatorCanBeUsedOnlyInSpecificExpressions = 2224,
-    BaseTypeListMustNotBeEmpty = 2225,
-    ObjectParameterMustBeTheFirstParameter = 2226,
-    ObjectParameterCannotBeDeclaredHere = 2227,
-    OperatorCannotBeAsync = 2228,
-    OperatorCannotContainTypeParameterDeclarations = 2229,
-    TypeNameExpectedAtLastQualifier = 2230,
+    TypeAlreadyContainsOperatorWithTheSameNameAndParameterTypes = 2119,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2120,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2121,
+    TypeCanHaveOnlyOneDestructor = 2122,
+    TypeCanHaveOnlyOneDereferenceOperator = 2123,
+    VariableIsUsedBeforeItsDeclaration = 2124,
+    VariableMayNotHasBeenAssignedBeforeUsage = 2125,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2126,
+    WriteFunctionHasNoCorrespondingReadFunction = 2127,
+    TypeCannotHaveMultipleBaseObjectTypes = 2128,
+    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2129,
+    StructureCannotBeUsedAsBaseType = 2130,
+    ThisTypeIsAlreadyListedInBaseTypeList = 2131,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2132,
+    StructureCanHaveOnlyAspectsAsBaseTypes = 2133,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2134,
+    ModifierListAlreadyContains0Modifier = 2135,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2136,
+    _0ModifierIsNotAllowedHere = 2137,
+    DeclarationCannotBePlacedInGroupHaving0Modifier = 2138,
+    PackageConstructorDeclarationCannotHaveModifiers = 2139,
+    PackageEntryPointDeclarationCannotHaveModifiers = 2140,
+    TranslationsCannotHaveModifiers = 2141,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2142,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2143,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2144,
+    _0ModifierCannotBeUsedWith1Modifier = 2145,
+    VariantValueCannotBeHidden = 2146,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 2147,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 2148,
+    NotBasicObjectTypesCannotHaveBasicMembers = 2149,
+    BasicModifierCannotBeAppliedToAspectTypeFields = 2150,
+    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 2151,
+    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 2152,
+    DeclarationConflictsWithBaseTypeMember0 = 2153,
+    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 2154,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 2155,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 2156,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 2157,
+    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 2158,
+    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 2159,
+    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 2160,
+    OverridingFieldMustMustBeMutableToMatchBaseField0 = 2161,
+    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 2162,
+    TypeDoesNotImplementMember0 = 2163,
+    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 2164,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 2165,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 2166,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotMutable = 2167,
+    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 2168,
+    CannotAccessAbstractMemberOfBaseType = 2169,
+    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 2170,
+    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 2171,
+    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 2172,
+    ThisCallCausesOwnConstructorCallCycle = 2173,
+    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2174,
+    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2175,
+    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 2176,
+    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2177,
+    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2178,
+    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 2179,
+    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 2180,
+    CannotInferTypeArguments = 2181,
+    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 2182,
+    ImmutableVariablesBustBeInitialized = 2183,
+    VariableTypeIsNotSpecified = 2184,
+    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 2185,
+    TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 2186,
+    RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 2187,
+    RequiredParametersCannotFollowOptionalParameters = 2188,
+    ExpressionCannotBeReferenced = 2189,
+    TextIsMissingAmongPrimaryTextTranslationDefinitions = 2190,
+    DeclarationHasAlreadyBeenTranslated = 2191,
+    TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters = 2192,
+    TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters = 2193,
+    TranslatedOperatorMustBeNamed0 = 2194,
+    TranslationOfFunctionTypeMustIncludeParameterList = 2195,
+    OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary = 2196,
+    Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 = 2197,
+    TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 = 2198,
+    TranslatedOverridingMember0MustTheSameNameAsBaseMember1 = 2199,
+    TextTranslationAlreadyExistsInTheTextTranslationPackage = 2200,
+    PackageDoesNotContainImplementationOf0 = 2201,
+    TypeDoesNotContainImplementationOf0 = 2202,
+    ImplementationVariableMustBeMutableToMatchInterfacePackageVariable0 = 2203,
+    ImplementationFunctionMustBeAsyncToMatchInterfacePackageFunction0 = 2204,
+    ImplementationFunctionMustNotBeAsyncToMatchInterfacePackageFunction0 = 2205,
+    ImplementationTypeMustBeBasicToMatchInterfacePackageType0 = 2206,
+    ImplementationTypeMustNotBeAbstractToMatchInterfacePackageType0 = 2207,
+    ImplementationTypeMemberMustBeBasicToMatchInterfacePackageTypeMember0 = 2208,
+    ImplementationTypeMemberMustNotBeAbstractToMatchInterfacePackageTypeMember0 = 2209,
+    ImplementationTypeMemberMustHaveWriteFunctionToMatchInterfacePackageTypeMember0 = 2210,
+    BreakLoopAndContinueLoopStatementsCanOnlyBeUsedInsideALoop = 2211,
+    BreakLoopAndContinueLoopStatementsCannotBeUsedInFinallyBlock = 2212,
+    TheCodeWasExpectedToBeUnreachable = 2213,
+    CorrespondingReductionSourceTypeMemberNotFound = 2214,
+    OnlyTypesPresentInBaseTypeListOrReductionSourceCanBeSpecified = 2215,
+    ReducedTypeMemberMustHaveTheSameTypeAsReductionSourceMember = 2216,
+    ReducedTypeMemberMustHaveTheSameHidingLevelAsReductionSourceMember = 2217,
+    ReducedTypeFieldMustBeImmutableToMatchReductionSourceField = 2218,
+    ReducedTypeMethodMustBeAsyncToMatchReductionSourceMethod = 2219,
+    ReducedTypeMethodMustNotBeAsyncToMatchReductionSourceMethod = 2220,
+    ReducedTypeMemberMustHaveNoWriteFunctionToMatchReductionSourceMember = 2221,
+    StructureFieldsMustBeImmutable = 2222,
+    StructureFieldsMustBeImmutableAutomaticallyCreatedStoredFieldIsMutable = 2223,
+    FieldTypeCausesRecursiveStructureLayout = 2224,
+    QuestionOperatorCanBeUsedOnlyInSpecificExpressions = 2225,
+    BaseTypeListMustNotBeEmpty = 2226,
+    ObjectParameterMustBeTheFirstParameter = 2227,
+    ObjectParameterCannotBeDeclaredHere = 2228,
+    OperatorCannotBeAsync = 2229,
+    OperatorCannotBeStatic = 2230,
+    OperatorCannotContainTypeParameterDeclarations = 2231,
+    TypeNameExpectedAtLastQualifier = 2232,
+    ExpressionsWithTypes0And1CannotBeCompared = 2233,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
     ProgramWithoutMainPackageCannotBeCompiled = 3002,

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

@@ -19,8 +19,6 @@ export declare class EntityMap {
     constructor(analyzer: Analyzer, targetPlatform: PlatformKind);
     getVariableEntity(entity: analyzerEntities.VariableEntity): emitterEntities.VariableEntity;
     getNamedFunctionEntity(entity: analyzerEntities.NamedFunctionEntity): emitterEntities.FunctionEntity;
-    getConstructorEntity(entity: analyzerEntities.ConstructorEntity): emitterEntities.FunctionEntity;
-    getDestructorEntity(entity: analyzerEntities.DestructorEntity): emitterEntities.FunctionEntity;
     getGetterEntity(entity: analyzerEntities.GetterEntity): emitterEntities.FunctionEntity;
     getSetterEntity(entity: analyzerEntities.SetterEntity): emitterEntities.FunctionEntity;
     getStructuredTypeEntity(entity: analyzerEntities.StructuredTypeEntity): emitterEntities.TypeOrExtensionEntity;

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

@@ -1,7 +1,5 @@
 import { AliasTypeEntity } from './interfaces/AliasTypeEntity.js';
-import { ConstructorEntity } from './interfaces/ConstructorEntity.js';
 import { DereferenceOperatorEntity } from './interfaces/DereferenceOperatorEntity.js';
-import { DestructorEntity } from './interfaces/DestructorEntity.js';
 import { FunctionEntity, MethodEntity, NestedFunctionEntity, PackageFunctionEntity } from './interfaces/FunctionEntity.js';
 import { AnonymousFunctionTypeEntity, FunctionTypeEntity } from './interfaces/FunctionTypeEntity.js';
 import { GetterEntity } from './interfaces/GetterEntity.js';
@@ -22,7 +20,7 @@ export declare const enum DefinitionKind {
     Intrinsic = 1,
     TypeScript = 2
 }
-export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity | TextTranslationEntity;
+export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | IndexerEntity | DereferenceOperatorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity | TextTranslationEntity;
 export type PackageTypeEntity = PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isPackageTypeEntity(entity: Entity): entity is PackageTypeEntity;
 export type NamedTypeEntity = PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeParameterEntity;
@@ -50,7 +48,7 @@ export type AccessorEntity = GetterEntity | SetterEntity;
 export declare function isAccessorEntity(entity: Entity): entity is AccessorEntity;
 export type EntityWithTypeParameters = EntityContainingTypeParameter;
 export declare function isEntityWithTypeParameters(entity: Entity): entity is EntityWithTypeParameters;
-export type EntityWithParameters = Exclude<EntityContainingParameter, PackageEntity>;
+export type EntityWithParameters = EntityContainingParameter;
 export declare function isEntityWithParameters(entity: Entity): entity is EntityWithParameters;
 export type NamedFunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity;
 export declare function isNamedFunctionEntity(entity: Entity): entity is NamedFunctionEntity;

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

@@ -6,11 +6,8 @@ export declare const enum EntityKind {
     Setter = 4,
     Indexer = 5,
     DereferenceOperator = 6,
-    Constructor = 7,
-    Destructor = 8,
-    Operator = 9,
-    PackageAlias = 10,
-    TypeExtension = 11,
-    Package = 12,
-    TextTranslation = 13
+    PackageAlias = 7,
+    TypeExtension = 8,
+    Package = 9,
+    TextTranslation = 10
 }

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

@@ -2,7 +2,7 @@ import { Analyzer } from '../analysis/Analyzer.js';
 import type * as types from '../types/index.js';
 import { Substitutions } from '../types/Substitutions.js';
 import { Entity, NamedTypeMemberEntity, PackageMemberEntity, PackageTypeEntity, TypeEntityWithMembers, TypeWithMembersOrExtensionEntity } from './Entity.js';
-import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, FieldEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, MethodEntity, NameTranslationPackageEntity, PackageEntity, PackageFunctionEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, ReducedTypeEntity, SetterEntity, StructuredTypeEntity, TypeExtensionEntity, TypeParameterEntity, VariantTypeEntity } from './interfaces/index.js';
+import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, DereferenceOperatorEntity, FieldEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, MethodEntity, NameTranslationPackageEntity, PackageEntity, PackageFunctionEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, ReducedTypeEntity, SetterEntity, StructuredTypeEntity, TypeExtensionEntity, TypeParameterEntity, VariantTypeEntity } from './interfaces/index.js';
 import { TypeEntity } from './TypeEntity.js';
 import { TypeMemberEntity } from './TypeMemberEntity.js';
 export declare class EntityLocalizationContext {
@@ -21,8 +21,6 @@ export declare class EntityLocalizationContext {
     getLocalizedTypeParameterEntity(entity: TypeParameterEntity): TypeParameterEntity;
     getLocalizedIndexerEntity(entity: IndexerEntity): IndexerEntity;
     getLocalizedDereferenceOperatorEntity(entity: DereferenceOperatorEntity): DereferenceOperatorEntity;
-    getLocalizedConstructorEntity(entity: ConstructorEntity): ConstructorEntity;
-    getLocalizedDestructorEntity(entity: DestructorEntity): DestructorEntity;
     getLocalizedAnonymousFunctionTypeEntity(entity: AnonymousFunctionTypeEntity): AnonymousFunctionTypeEntity;
     getLocalizedPackageStructuredTypeEntity(entity: PackageStructuredTypeEntity): PackageStructuredTypeEntity;
     getLocalizedAnonymousStructuredTypeEntity(entity: AnonymousStructuredTypeEntity): AnonymousStructuredTypeEntity;
@@ -49,6 +47,6 @@ export declare class EntityLocalizationContext {
     private getOwnTranslatedParameterEntity;
     private getOwnTranslatedAccessorEntity;
 }
-export type LocalizableEntity = PackageEntity | PackageVariableEntity | FieldEntity | ParameterEntity | PackageVariantTypeEntity | GetterEntity | SetterEntity | PackageFunctionEntity | MethodEntity | TypeParameterEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | AnonymousFunctionTypeEntity | PackageStructuredTypeEntity | AnonymousStructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity;
+export type LocalizableEntity = PackageEntity | PackageVariableEntity | FieldEntity | ParameterEntity | PackageVariantTypeEntity | GetterEntity | SetterEntity | PackageFunctionEntity | MethodEntity | TypeParameterEntity | IndexerEntity | DereferenceOperatorEntity | AnonymousFunctionTypeEntity | PackageStructuredTypeEntity | AnonymousStructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity;
 export declare function isLocalizableEntity(entity: Entity): entity is LocalizableEntity;
 export type LocalizablePackageMemberEntity = PackageMemberEntity & LocalizableEntity;

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

@@ -13,9 +13,9 @@ export declare class TagType extends TagBase {
     readonly kind = "type";
     readonly type: types.Type;
     readonly typeEntity: TypeEntity;
-    readonly constructor_: types.Constructor;
+    readonly constructor_: types.Method;
     get entity(): TypeEntity | FunctionEntity;
-    constructor(type: types.Type, typeEntity: TypeEntity, constructor_: types.Constructor, argumentByParameter: ReadonlyMap<ParameterEntity, TagArgument>);
+    constructor(type: types.Type, typeEntity: TypeEntity, constructor_: types.Method, argumentByParameter: ReadonlyMap<ParameterEntity, TagArgument>);
 }
 export declare class TagFunction extends TagBase {
     readonly kind = "function";

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

@@ -1,24 +1,33 @@
 import { Name } from '../common/index.js';
-import { NamedTypeMemberEntity, TypeMemberEntity } from './index.js';
-import { ConstructorEntity } from './interfaces/ConstructorEntity.js';
+import { NamedTypeMemberEntity } from './Entity.js';
 import { DereferenceOperatorEntity } from './interfaces/DereferenceOperatorEntity.js';
-import { DestructorEntity } from './interfaces/DestructorEntity.js';
+import { MethodEntity } from './interfaces/FunctionEntity.js';
 import { IndexerEntity } from './interfaces/IndexerEntity.js';
+import { TypeMemberEntity } from './TypeMemberEntity.js';
+import { TypeMemberKindFlags } from './TypeMemberKindFlags.js';
 export declare class TypeEntityMembers {
+    private static readonly emptyNamedMembers;
+    private readonly members;
     private readonly namedMembers;
     private readonly constructors;
     private readonly destructors;
+    private readonly operators;
     private readonly indexers;
     private readonly dereferenceOperators;
-    private static readonly emptyNamedMembers;
     private readonly membersByNameKey_;
     private get membersByNameKey();
-    constructor(namedMembers: readonly NamedTypeMemberEntity[], constructors: readonly ConstructorEntity[], destructors: readonly DestructorEntity[], indexers: readonly IndexerEntity[], dereferenceOperators: readonly DereferenceOperatorEntity[]);
-    getNamedMembers(): readonly NamedTypeMemberEntity[];
-    getNamedMembersByName(name: Name): readonly NamedTypeMemberEntity[];
+    constructor(members: readonly TypeMemberEntity[]);
+    getNamedMembers(kinds: TypeMemberKindFlags): readonly NamedTypeMemberEntity[];
+    getNamedMembersA(): readonly NamedTypeMemberEntity[];
+    getNamedMembersM(): readonly NamedTypeMemberEntity[];
+    getNamedMembersByName(name: Name, kinds: TypeMemberKindFlags): readonly NamedTypeMemberEntity[];
+    getNamedMembersByNameA(name: Name): readonly NamedTypeMemberEntity[];
+    getNamedMembersByNameM(name: Name): readonly NamedTypeMemberEntity[];
     getIndexers(): readonly IndexerEntity[];
     getDereferenceOperators(): readonly DereferenceOperatorEntity[];
-    getConstructors(): readonly ConstructorEntity[];
-    getDestructors(): readonly DestructorEntity[];
-    getAll(): readonly TypeMemberEntity[];
+    getConstructors(): readonly MethodEntity[];
+    getDestructors(): readonly MethodEntity[];
+    getOperators(): readonly MethodEntity[];
+    getAll(kinds?: TypeMemberKindFlags): readonly TypeMemberEntity[];
+    private createNamedMemberDictionary;
 }