@artel/artc 0.6.26039 → 0.9.26001

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

@@ -0,0 +1,93 @@
+import { Name } from '../../../common/index.js';
+import { ParameterEntity, TypeParameterEntity } from '../../../entities/index.js';
+import * as tree from '../../../tree/m/index.js';
+import { TypeMemberLookupContext } from '../../TypeMemberLookup.js';
+import { Analyzer } from '../Analyzer.js';
+import { TypeMemberLookupM } from '../TypeMemberLookup.js';
+import { NamedDeclaration, TagOrContainerWithTags, TypeOrContainerWithTypes } from './Declarations.js';
+import { SemanticContext } from './SemanticContext.js';
+import { NamedDeclarationLookupResult, ObjectVariableInfo, SemanticContextLookupState, SubprogramInfo, TypeOrTypeExtension } from './SemanticContextBase.js';
+import { MemberOfSemanticContextValidatingNameConflicts, MemberOfSemanticContextValidatingNameConflictsForTagLookup, MemberOfSemanticContextValidatingNameConflictsForTypeLookup, SemanticContextValidatingNameConflictsBase } from './SemanticContextValidatingNameConflicts.js';
+import { SemanticContextWithParent } from './SemanticContextWithParent.js';
+import { SourceFileSemanticContext } from './SourceFileSemanticContext.js';
+export type TypeOrExtensionDeclarationCreatingSemanticContext = Exclude<tree.TypeOrExtensionDeclaration, tree.TypeParameterDeclaration>;
+/**
+ * Завершающий семантический контекст типа.
+ * Поскольку контекст с параметрами типа является опциональным, необходим
+ * ещё один контекст, который гарантированно переопределит метод `getContainingTypeOrTypeExtension`.
+ */
+export declare class OutermostSemanticContextOfTypeOrExtension extends SemanticContextWithParent {
+    readonly kind = "outermost-of-type-or-extension";
+    readonly outer: SemanticContext;
+    protected readonly asContext: SemanticContext;
+    private readonly analyzer;
+    private readonly node;
+    private readonly typeMemberLookupContext;
+    constructor(analyzer: Analyzer, node: TypeOrExtensionDeclarationCreatingSemanticContext, outer: SemanticContext);
+    getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
+    getObjectVariableInfo(): ObjectVariableInfo | undefined;
+    getContainingSubprogram(): SubprogramInfo | undefined;
+    isStatic(): boolean;
+    getTypeMemberLookupContext(): TypeMemberLookupContext;
+    getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTagsOrContainersWithTags(_initialContext: SemanticContext): readonly TagOrContainerWithTags[];
+    getOwnTagsOrContainersWithTagsByName(_name: Name, _initialContext: SemanticContext): readonly TagOrContainerWithTags[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean, _lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean, _lookupResult: NamedDeclarationLookupResult): void;
+    private getTypeOrExtensionEntity;
+}
+export type TypeDeclarationWithTypeParameters = tree.TypeDeclaration & tree.TypeParameterClauseParent;
+export declare class TypeParametersOfTypeSemanticContext extends SemanticContextValidatingNameConflictsBase {
+    readonly kind = "type-parameter-of-type";
+    readonly outer: OutermostSemanticContextOfTypeOrExtension;
+    readonly node: TypeDeclarationWithTypeParameters;
+    protected readonly asContext: SemanticContext;
+    private readonly typeParameterClause;
+    private readonly localTypes_;
+    private get localTypes();
+    constructor(analyzer: Analyzer, node: TypeDeclarationWithTypeParameters, typeParameterClause: tree.TypeParameterClause, outer: OutermostSemanticContextOfTypeOrExtension);
+    protected getTypeParameterEntities(): readonly TypeParameterEntity[];
+    protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
+    protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
+    protected createMemberEntitiesForTagLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTagLookup[];
+}
+export type TypeOrExtensionMembersSemanticContextParent = TypeParametersOfTypeSemanticContext | OutermostSemanticContextOfTypeOrExtension | SourceFileSemanticContext;
+export declare class TypeOrExtensionMembersSemanticContext extends SemanticContextValidatingNameConflictsBase {
+    readonly kind = "type-or-extension-members";
+    readonly outer: TypeOrExtensionMembersSemanticContextParent;
+    readonly node: tree.TypeWithMembersOrExtensionDeclaration;
+    protected readonly asContext: SemanticContext;
+    private readonly memberLookup_;
+    private readonly localTypes_;
+    private readonly localTypesByNameKey_;
+    protected get memberLookup(): TypeMemberLookupM;
+    private get localTypes();
+    private get localTypesByNameKey();
+    constructor(analyzer: Analyzer, node: tree.TypeWithMembersOrExtensionDeclaration, outer: TypeOrExtensionMembersSemanticContextParent);
+    protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
+    protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
+    protected createMemberEntitiesForTagLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTagLookup[];
+    getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTagsOrContainersWithTags(_initialContext: SemanticContext): readonly TagOrContainerWithTags[];
+    getOwnTagsOrContainersWithTagsByName(name: Name, _initialContext: SemanticContext): readonly TagOrContainerWithTags[];
+    getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean, lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean, lookupResult: NamedDeclarationLookupResult): void;
+    private convertNamedMember;
+    private getTypeOrExtensionEntity;
+}
+export type ParameterOfFunctionTypeSemanticContextParent = TypeParametersOfTypeSemanticContext | OutermostSemanticContextOfTypeOrExtension;
+export declare class ParametersOfFunctionTypeSemanticContext extends SemanticContextValidatingNameConflictsBase {
+    readonly kind = "parameters-of-function-type";
+    readonly outer: ParameterOfFunctionTypeSemanticContextParent;
+    readonly node: tree.LocalFunctionTypeDeclaration;
+    protected readonly asContext: SemanticContext;
+    private readonly localTypes_;
+    private get localTypes();
+    constructor(analyzer: Analyzer, node: tree.LocalFunctionTypeDeclaration, outer: ParameterOfFunctionTypeSemanticContextParent);
+    protected getParameterEntities(): readonly ParameterEntity[];
+    protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
+    protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
+    protected createMemberEntitiesForTagLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTagLookup[];
+}

package/build/types/analysis/m/semantic-context/index.d.ts

@@ -0,0 +1,10 @@
+export * from './Declarations.js';
+export * from './FieldWithInitializerSemanticContext.js';
+export * from './SemanticContext.js';
+export * from './SemanticContextBase.js';
+export * from './SemanticContextBuilder.js';
+export * from './SemanticContextValidatingNameConflicts.js';
+export * from './SourceFileSemanticContext.js';
+export * from './SubprogramBodyAndParametersSemanticContext.js';
+export * from './SubprogramSemanticContext.js';
+export * from './TypeSemanticContext.js';

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

@@ -1,5 +1,7 @@
+import { OperatorKind } from '../entities/OperatorKind.js';
 import { HelperPhraseKind } from './HelperPhrases.js';
-import { PackageLocale } from './index.js';
+import { PackageLocale } from './PackageLocale.js';
 export declare class LocalizationHelper {
     static localizeHelperPhrase(kind: HelperPhraseKind, locale: PackageLocale): string;
+    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale): string;
 }

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

@@ -1,5 +1,4 @@
 import { ReservedNameKind } from '../analysis/a/ReservedNameDictionary.js';
-import { OperatorKind } from '../entities/OperatorKind.js';
 import { Keyword } from '../parser/a/KeywordDictionary.js';
 import { KeywordFlags } from '../tree/a/KeywordFlags.js';
 import { KeywordKind } from '../tree/a/KeywordKind.js';
@@ -12,6 +11,5 @@ export declare class LocalizationHelperA extends LocalizationHelper {
     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/LocalizationHelperM.d.ts

@@ -0,0 +1,13 @@
+import { ReservedNameKind } from '../analysis/m/ReservedNameDictionary.js';
+import { Keyword } from '../parser/m/KeywordDictionary.js';
+import { KeywordKind } from '../tree/m/KeywordKind.js';
+import { OperatorKind as SyntacticalOperatorKind } from '../tree/m/OperatorKind.js';
+import { LocalizationHelper } from './LocalizationHelper.js';
+import { Name } from './Name.js';
+import { PackageLocale } from './PackageLocale.js';
+export declare class LocalizationHelperM extends LocalizationHelper {
+    static localizeKeyword(kind: KeywordKind, locale: PackageLocale): readonly Keyword[];
+    static localizeKeywordAndTakeFirst(kind: KeywordKind, locale: PackageLocale): string;
+    static localizeReservedName(kind: ReservedNameKind, locale: PackageLocale): Name;
+    static localizeSyntacticalOperatorKind(kind: SyntacticalOperatorKind, locale: PackageLocale): string;
+}

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

@@ -47,7 +47,7 @@ export declare class Name implements Displayable {
      * @param flags Флаги имени (`NameFlags`). `NameFlags.None` по умолчанию.
      */
     constructor(unescapedOriginalWithoutQuotes: string, flags?: NameFlags, specialKey?: string);
-    toBackingVariableName(): Name;
+    toBackingVariableName(postfix?: string): Name;
     considerEqual(other: Name): boolean;
     toString(): string;
     getPreferredUnescapedOriginal(requiresQuotes?: boolean): string;

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

@@ -14,6 +14,7 @@ export * from './JavaScriptIdentifier.js';
 export * from './Lazy.js';
 export * from './LocalizationHelper.js';
 export * from './LocalizationHelperA.js';
+export * from './LocalizationHelperM.js';
 export * from './Logger.js';
 export * from './Name.js';
 export * from './NameFormatConversion.js';

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

@@ -32,6 +32,9 @@ export declare enum DiagnosticCode {
     TranslationExpected = 1125,
     TranslatedTextTemplateOrTranslationFunctionBlockExpected = 1126,
     TranslatedTextCannotBeginOrEndWithTilde = 1127,
+    ExpressionListMustNotBeEmpty = 1128,
+    TagListExpected = 1129,
+    VariablesDeclaredWithoutVarKeywordMustHaveTypeAnnotation = 1130,
     TypeCannotBeUsedAsValue = 2000,
     PackageNameCannotBeUsedAsValue = 2001,
     PackageAliasCannotBeUsedAsValue = 2002,
@@ -91,198 +94,214 @@ export declare enum DiagnosticCode {
     ObjectCannotBeUsedInThisContext = 2056,
     ObjectCannotBeUsedInStaticContext = 2057,
     OwnConstructorCannotBeCalledHere = 2058,
-    BaseCannotBeUsedAsAnExpressionInItself = 2059,
-    InterfacePackageMustNotContainImplementation = 2060,
-    InterfacePackageVariablesMustNotHaveInitializers = 2061,
-    BodyIsMissing = 2062,
-    AbstractTypeMembersMustNotHaveBody = 2063,
-    MembersOfAspectTypeMustNotHaveBody = 2064,
-    AspectTypeFieldsMustBeAbstract = 2065,
-    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 2066,
-    ReducedTypeMembersMustNotHaveBody = 2067,
-    AbstractFieldsMustNotHaveInitializers = 2068,
-    ReducedTypeFieldsMustNotHaveInitializers = 2069,
-    PackageIsAlreadyImported = 2070,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 2071,
-    FunctionsUsingYieldStatementCannotReturnValue = 2072,
-    YieldStatementCannotBeUsedInAnonymousFunctions = 2073,
-    YieldStatementCannotBeUsedHere = 2074,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 2075,
-    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 2076,
-    YieldStatementCannotBeUsedInFinallyBlock = 2077,
-    SubprogramMustReturnValue = 2078,
-    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 2079,
-    TypeAliasReferencesItself = 2080,
-    ReducedTypeReferencesItself = 2081,
-    TypeParameterHasCircularConstraint = 2082,
-    BaseTypeCausesInheritanceCycle = 2083,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 2084,
-    Expected0TypeArguments = 2085,
-    ExpectedFrom0To1TypeArguments = 2086,
-    Type0IsNotAssignableToConstraint1 = 2087,
-    VariableIsDeclaredButItsValueIsNeverRead = 2088,
-    FunctionIsDeclaredButNotUsed = 2089,
-    TypeParameterIsDeclaredButNotUsed = 2090,
-    DefaultConstructorArgumentsMustBeNamed = 2091,
-    IncorrectBodyOfBasicAliasTypeMethod = 2092,
-    TheFollowingDeclarationsAreNotTranslated0 = 2093,
-    TheFollowingDeclarationsAreNotTranslated0And1More = 2094,
-    TheFollowingTextsAreNotTranslated0 = 2095,
-    TheFollowingTextsAreNotTranslated0And1More = 2096,
-    OperatorFunction0MustNotHaveParameters = 2097,
-    OperatorFunction0MustHaveOneParameter = 2098,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 2099,
-    CorrespondingBasicTypeMemberNotFound = 2100,
-    CorrespondingBasicReadFunctionNotFound = 2101,
-    CorrespondingBasicWriteFunctionNotFound = 2102,
-    BasicVariableDoesNotHaveAWriteFunctionBecauseItIsAConstant = 2103,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 2104,
-    TagNotFound = 2105,
-    TypeOrFunctionNameExpected = 2106,
-    PackageNameOrAliasExpected = 2107,
-    ExpressionCanBeNull = 2108,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 2109,
-    UnreachableCode = 2110,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 2111,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 2112,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 2113,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2114,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 2115,
-    PackageAlreadyContainsDeclarationWithTheSameName = 2116,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2117,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 2118,
-    PackageAliasWithTheSameNameAlreadyExits = 2119,
-    TypeAlreadyContainsDeclarationWithTheSameName = 2120,
-    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2121,
-    TypeAlreadyContainsOperatorWithTheSameNameAndParameterTypes = 2122,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2123,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2124,
-    TypeCanHaveOnlyOneDestructor = 2125,
-    TypeCanHaveOnlyOneDereferenceOperator = 2126,
-    VariableIsUsedBeforeItsDeclaration = 2127,
-    VariableMayNotHasBeenAssignedBeforeUsage = 2128,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2129,
-    TypeCannotHaveMultipleBaseObjectTypes = 2130,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2131,
-    StructureCannotBeUsedAsBaseType = 2132,
-    ThisTypeIsAlreadyListedInBaseTypeList = 2133,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2134,
-    StructureCanHaveOnlyAspectsAsBaseTypes = 2135,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2136,
-    ModifierListAlreadyContains0Modifier = 2137,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2138,
-    _0ModifierIsNotAllowedHere = 2139,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 2140,
-    PackageConstructorDeclarationCannotHaveModifiers = 2141,
-    PackageEntryPointDeclarationCannotHaveModifiers = 2142,
-    TranslationsCannotHaveModifiers = 2143,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2144,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2145,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2146,
-    _0ModifierCannotBeUsedWith1Modifier = 2147,
-    VariantValueCannotBeHidden = 2148,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 2149,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 2150,
-    NotBasicObjectTypesCannotHaveBasicMembers = 2151,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 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,
-    ReadAndWriteFunctionsMustBeEitherBothAbstractOrBothHaveImplementation = 2234,
-    IfOneOfAccessorsIsNotBasicItMustBeHiddenInType = 2235,
-    CannotReadValueOfAVariableBecauseItDoesNotHaveAReadFunction = 2236,
-    CannotReadValueOfAVariableBecauseItsReadFunctionIsHidden = 2237,
-    CannotAssignValueToAVariableBecauseItDoesNotHaveAWriteFunction = 2238,
-    CannotAssignValueToAnImmutableVariable = 2239,
-    CannotAssignValueToAVariableBecauseItsWriteFunctionIsHidden = 2240,
-    CannotReadValueBecauseReadFunctionIsNotDefined = 2241,
-    CannotReadValueBecauseReadFunctionIsHidden = 2242,
-    CannotAssignValueBecauseWriteFunctionIsNotDefined = 2243,
-    CannotAssignValueBecauseWriteFunctionIsHidden = 2244,
-    ReadFunctionMustHaveTheSameTypeAsWriteFunction = 2245,
-    AspectHasAlreadyBeenExtendedWithDifferentTypeArguments0 = 2246,
-    ObjectCannotBeAccessedBeforeOwnOrBaseConstructorCall = 2247,
-    BaseCannotBeAccessedBeforeOwnOrBaseConstructorCall = 2248,
-    InstanceMemberCannotBeAccessedBeforeOwnOrBaseConstructorCall = 2249,
-    Type0CannotBeExtendedBecauseItDoesNotHaveAccessibleConstructors = 2250,
+    ConstructorCannotBeCalledHere = 2059,
+    BaseCannotBeUsedAsAnExpressionInItself = 2060,
+    InterfacePackageMustNotContainImplementation = 2061,
+    InterfacePackageVariablesMustNotHaveInitializers = 2062,
+    BodyIsMissing = 2063,
+    AbstractTypeMembersMustNotHaveBody = 2064,
+    MembersOfAspectTypeMustNotHaveBody = 2065,
+    AspectTypeFieldsMustBeAbstract = 2066,
+    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 2067,
+    ReducedTypeMembersMustNotHaveBody = 2068,
+    AbstractFieldsMustNotHaveInitializers = 2069,
+    ReducedTypeFieldsMustNotHaveInitializers = 2070,
+    PackageIsAlreadyImported = 2071,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 2072,
+    FunctionsUsingYieldStatementCannotReturnValue = 2073,
+    YieldStatementCannotBeUsedInAnonymousFunctions = 2074,
+    YieldStatementCannotBeUsedHere = 2075,
+    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 2076,
+    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 2077,
+    YieldStatementCannotBeUsedInFinallyBlock = 2078,
+    SubprogramMustReturnValue = 2079,
+    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 2080,
+    TypeAliasReferencesItself = 2081,
+    ReducedTypeReferencesItself = 2082,
+    TypeParameterHasCircularConstraint = 2083,
+    BaseTypeCausesInheritanceCycle = 2084,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 2085,
+    Expected0TypeArguments = 2086,
+    ExpectedFrom0To1TypeArguments = 2087,
+    Type0IsNotAssignableToConstraint1 = 2088,
+    VariableIsDeclaredButItsValueIsNeverRead = 2089,
+    FunctionIsDeclaredButNotUsed = 2090,
+    TypeParameterIsDeclaredButNotUsed = 2091,
+    DefaultConstructorArgumentsMustBeNamed = 2092,
+    IncorrectBodyOfBasicAliasTypeMethod = 2093,
+    TheFollowingDeclarationsAreNotTranslated0 = 2094,
+    TheFollowingDeclarationsAreNotTranslated0And1More = 2095,
+    TheFollowingTextsAreNotTranslated0 = 2096,
+    TheFollowingTextsAreNotTranslated0And1More = 2097,
+    OperatorFunction0MustNotHaveParameters = 2098,
+    OperatorFunction0MustHaveOneParameter = 2099,
+    OperatorFunction0MustHaveNoMoreThanOneParameter = 2100,
+    CorrespondingBasicTypeMemberNotFound = 2101,
+    CorrespondingBasicReadFunctionNotFound = 2102,
+    CorrespondingBasicWriteFunctionNotFound = 2103,
+    BasicVariableDoesNotHaveAWriteFunctionBecauseItIsAConstant = 2104,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 2105,
+    TagNotFound = 2106,
+    TypeOrFunctionNameExpected = 2107,
+    PackageNameOrAliasExpected = 2108,
+    ExpressionCanBeNull = 2109,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 2110,
+    UnreachableCode = 2111,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 2112,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 2113,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 2114,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2115,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 2116,
+    PackageAlreadyContainsDeclarationWithTheSameName = 2117,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2118,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 2119,
+    PackageAliasWithTheSameNameAlreadyExits = 2120,
+    TypeAlreadyContainsDeclarationWithTheSameName = 2121,
+    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2122,
+    TypeAlreadyContainsOperatorWithTheSameNameAndParameterTypes = 2123,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2124,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2125,
+    TypeCanHaveOnlyOneDestructor = 2126,
+    TypeCanHaveOnlyOneDereferenceOperator = 2127,
+    VariableIsUsedBeforeItsDeclaration = 2128,
+    VariableMayNotHasBeenAssignedBeforeUsage = 2129,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2130,
+    TypeCannotHaveMultipleBaseObjectTypes = 2131,
+    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2132,
+    StructureCannotBeUsedAsBaseType = 2133,
+    ThisTypeIsAlreadyListedInBaseTypeList = 2134,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2135,
+    StructureCanHaveOnlyAspectsAsBaseTypes = 2136,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2137,
+    ModifierListAlreadyContains0Modifier = 2138,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2139,
+    _0ModifierIsNotAllowedHere = 2140,
+    DeclarationCannotBePlacedInGroupHaving0Modifier = 2141,
+    PackageConstructorDeclarationCannotHaveModifiers = 2142,
+    PackageEntryPointDeclarationCannotHaveModifiers = 2143,
+    TranslationsCannotHaveModifiers = 2144,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2145,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2146,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2147,
+    _0ModifierCannotBeUsedWith1Modifier = 2148,
+    VariantValueCannotBeHidden = 2149,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 2150,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 2151,
+    NotBasicObjectTypesCannotHaveBasicMembers = 2152,
+    BasicModifierCannotBeAppliedToAspectTypeFields = 2153,
+    TypeMemberMustHaveTheSameOrMoreRestrictiveHidingLevelThanContainingType = 2154,
+    DeclarationConflictsWithBaseTypeMember0 = 2155,
+    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 2156,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 2157,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 2158,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 2159,
+    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 2160,
+    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 2161,
+    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 2162,
+    OverridingFieldMustMustBeMutableToMatchBaseField0 = 2163,
+    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 2164,
+    TypeDoesNotImplementMember0 = 2165,
+    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 2166,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 2167,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 2168,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotMutable = 2169,
+    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 2170,
+    CannotAccessAbstractMemberOfBaseType = 2171,
+    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 2172,
+    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 2173,
+    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 2174,
+    ThisCallCausesOwnConstructorCallCycle = 2175,
+    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2176,
+    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2177,
+    ConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2178,
+    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 2179,
+    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2180,
+    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2181,
+    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 2182,
+    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 2183,
+    CannotInferTypeArguments = 2184,
+    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 2185,
+    ImmutableVariablesBustBeInitialized = 2186,
+    VariableTypeIsNotSpecified = 2187,
+    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 2188,
+    TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 2189,
+    RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 2190,
+    RequiredParametersCannotFollowOptionalParameters = 2191,
+    ExpressionCannotBeReferenced = 2192,
+    TextIsMissingAmongPrimaryTextTranslationDefinitions = 2193,
+    DeclarationHasAlreadyBeenTranslated = 2194,
+    TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters = 2195,
+    TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters = 2196,
+    TranslatedOperatorMustBeNamed0 = 2197,
+    TranslationOfFunctionTypeMustIncludeParameterList = 2198,
+    OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary = 2199,
+    Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 = 2200,
+    TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 = 2201,
+    TranslatedOverridingMember0MustTheSameNameAsBaseMember1 = 2202,
+    TextTranslationAlreadyExistsInTheTextTranslationPackage = 2203,
+    PackageDoesNotContainImplementationOf0 = 2204,
+    TypeDoesNotContainImplementationOf0 = 2205,
+    ImplementationVariableMustBeMutableToMatchInterfacePackageVariable0 = 2206,
+    ImplementationFunctionMustBeAsyncToMatchInterfacePackageFunction0 = 2207,
+    ImplementationFunctionMustNotBeAsyncToMatchInterfacePackageFunction0 = 2208,
+    ImplementationTypeMustBeBasicToMatchInterfacePackageType0 = 2209,
+    ImplementationTypeMustNotBeAbstractToMatchInterfacePackageType0 = 2210,
+    ImplementationTypeMemberMustBeBasicToMatchInterfacePackageTypeMember0 = 2211,
+    ImplementationTypeMemberMustNotBeAbstractToMatchInterfacePackageTypeMember0 = 2212,
+    ImplementationTypeMemberMustHaveWriteFunctionToMatchInterfacePackageTypeMember0 = 2213,
+    BreakLoopAndContinueLoopStatementsCanOnlyBeUsedInsideALoop = 2214,
+    BreakLoopAndContinueLoopStatementsCannotBeUsedInFinallyBlock = 2215,
+    TheCodeWasExpectedToBeUnreachable = 2216,
+    CorrespondingReductionSourceTypeMemberNotFound = 2217,
+    OnlyTypesPresentInBaseTypeListOrReductionSourceCanBeSpecified = 2218,
+    ReducedTypeMemberMustHaveTheSameTypeAsReductionSourceMember = 2219,
+    ReducedTypeMemberMustHaveTheSameHidingLevelAsReductionSourceMember = 2220,
+    ReducedTypeFieldMustBeImmutableToMatchReductionSourceField = 2221,
+    ReducedTypeMethodMustBeAsyncToMatchReductionSourceMethod = 2222,
+    ReducedTypeMethodMustNotBeAsyncToMatchReductionSourceMethod = 2223,
+    ReducedTypeMemberMustHaveNoWriteFunctionToMatchReductionSourceMember = 2224,
+    StructureFieldsMustBeImmutable = 2225,
+    StructureFieldsMustBeImmutableAutomaticallyCreatedStoredFieldIsMutable = 2226,
+    FieldTypeCausesRecursiveStructureLayout = 2227,
+    QuestionOperatorCanBeUsedOnlyInSpecificExpressions = 2228,
+    BaseTypeListMustNotBeEmpty = 2229,
+    ObjectParameterMustBeTheFirstParameter = 2230,
+    ObjectParameterCannotBeDeclaredHere = 2231,
+    OperatorCannotBeAsync = 2232,
+    OperatorCannotBeStatic = 2233,
+    OperatorCannotContainTypeParameterDeclarations = 2234,
+    TypeNameExpectedAtLastQualifier = 2235,
+    ExpressionsWithTypes0And1CannotBeCompared = 2236,
+    ReadAndWriteFunctionsMustBeEitherBothAbstractOrBothHaveImplementation = 2237,
+    IfOneOfAccessorsIsNotBasicItMustBeHiddenInType = 2238,
+    CannotReadValueOfAVariableBecauseItDoesNotHaveAReadFunction = 2239,
+    CannotReadValueOfAVariableBecauseItsReadFunctionIsHidden = 2240,
+    CannotAssignValueToAVariableBecauseItDoesNotHaveAWriteFunction = 2241,
+    CannotAssignValueToAnImmutableVariable = 2242,
+    CannotAssignValueToAVariableBecauseItsWriteFunctionIsHidden = 2243,
+    CannotReadValueBecauseReadFunctionIsNotDefined = 2244,
+    CannotReadValueBecauseReadFunctionIsHidden = 2245,
+    CannotAssignValueBecauseWriteFunctionIsNotDefined = 2246,
+    CannotAssignValueBecauseWriteFunctionIsHidden = 2247,
+    ReadFunctionMustHaveTheSameTypeAsWriteFunction = 2248,
+    AspectHasAlreadyBeenExtendedWithDifferentTypeArguments0 = 2249,
+    ObjectCannotBeAccessedBeforeOwnOrBaseConstructorCall = 2250,
+    BaseCannotBeAccessedBeforeOwnOrBaseConstructorCall = 2251,
+    InstanceMemberCannotBeAccessedBeforeOwnOrBaseConstructorCall = 2252,
+    Type0CannotBeExtendedBecauseItDoesNotHaveAccessibleConstructors = 2253,
+    AbstractTypeMembersMustHaveEmptyBody = 2254,
+    ConstructorCannotBeCalledOnThisInstance = 2255,
+    ConstructorMustNotBeReferenced = 2256,
+    DeclarationsMarkedWithBuiltIntoPlatformTagMustHaveEmptyBody = 2257,
+    ReadFunctionMustHaveNoParameters = 2258,
+    ConstructorsAndDestructorsMustNotHaveReturnType = 2259,
+    ConstructorsAndDestructorsMustNotHaveTypeParameters = 2260,
+    OwnOrBaseConstructorExpected = 2261,
+    WriteFunctionMustHaveOneParameter = 2262,
+    StaticDeclarationsOfATypeMustBeDeclaredInTheSamePackageAsTheType = 2263,
+    SwitchStatementMustHaveOnlyOneDefaultMatchExpression = 2264,
+    WrongTypeParameterCount = 2265,
+    WrongTypeParameterName = 2266,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
     ProgramWithoutMainPackageCannotBeCompiled = 3002,

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

@@ -0,0 +1,2 @@
+import { TokenKind } from '../tree/m/index.js';
+export declare function getTokenName(tokenKind: TokenKind): string;

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

@@ -1,4 +1,4 @@
-import { PackageLocale } from '../common/index.js';
+import { PackageDialect, PackageLocale } from '../common/index.js';
 import { OperatorKind } from '../entities/OperatorKind.js';
 export declare class EmitPhaseName {
     static ofMainFunction(locale: PackageLocale): string;
@@ -35,7 +35,7 @@ export declare class EmitPhaseName {
     static ofDestructor(locale: PackageLocale): string;
     static ofTypeExtension(locale: PackageLocale, extendedTypeName: string): string;
     static ofOperator(locale: PackageLocale, kind: OperatorKind): string;
-    static ofSetterParameter(locale: PackageLocale): string;
+    static ofSetterValueParameter(dialect: PackageDialect, locale: PackageLocale): string;
     static ofDictionaryLocalVariable(locale: PackageLocale): string;
     static ofThisPackageVariable(locale: PackageLocale): string;
     static ofTranslationFunctionValuesParameter(locale: PackageLocale): string;