@artel/artc 0.6.26026 → 0.6.26028

package/build/{chunk-TWDMG7M3.js → chunk-SYVSMJJH.js}

@@ -1,5 +1,5 @@
 import {
-  Analyzer2 as Analyzer,
+  Analyzer3 as Analyzer,
   CompilationLoader,
   DefaultNamesOfDirectoriesToIgnore,
   Diagnostic,
@@ -9,7 +9,7 @@ import {
   WellKnownDeclarationsLoadError,
   __async,
   createTsInteropInputsForCompilation
-} from "./chunk-UY7U6EAT.js";
+} from "./chunk-SPNTJ746.js";
 
 // source/executor/Compiler.ts
 var Compiler = class {

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

@@ -21,37 +21,33 @@ export declare class SourceFileAnalyzer {
     constructor(analyzer: Analyzer, sourceFile: project.SourceFileA);
     analyze(taskController: TaskController): Promise<Diagnostic[]>;
     private analyzeNode;
-    private checkBinaryExpression;
+    private checkTag;
+    private checkPackageReducedTypeDeclaration;
+    private checkPackageAliasTypeDeclaration;
+    private checkPackageEntryPointDeclaration;
+    private checkPackageConstructorDeclaration;
+    private checkTranslationsDeclaration;
+    private addNotTranslatedTextsDiagnostics;
+    private collectNotTranslatedTexts;
+    private createNotTranslatedTextsDiagnostic;
+    private checkTextTranslationDeclaration;
     private checkPackageVariantDeclaration;
-    private checkTypeMemberDeclarationBlock;
-    private checkAssumptionExpression;
-    private checkStatementBlock;
-    private checkFunctionBlock;
     private checkPackageStructuredTypeDeclaration;
     private checkAllFieldsOfStructureAreConst;
     private checkStructureHasRecursiveLayout;
     private checkStructureIsReferencedByFieldTypeRecursively;
     private checkStructureIsReferencedByFieldsOfStructure;
     private isReferencedAutomaticallyGeneratedBackingVariable;
-    private checkErrorStatement;
-    private checkBreakLoopOrContinueLoopStatement;
-    private isStatementUsedInsideLoop;
-    private checkTypeParameterList;
-    private checkTypeParameterDeclaration;
-    private checkFunctionLiteral;
-    private checkFunctionBlockLiteral;
-    private checkDereferenceExpression;
-    private checkIndexedAccessExpression;
-    private checkCallExpression;
-    private addNotTranslatedTextsDiagnostics;
-    private collectNotTranslatedTexts;
-    private createNotTranslatedTextsDiagnostic;
-    private checkAllDefaultConstructorArgumentsAreNamed;
+    private checkAspectsHaveNotBeenExtendedWithDifferentTypeArguments;
     private checkPackageVariableDeclaration;
     private checkPackageFunctionDeclaration;
     private checkPackageVariableGetterDeclaration;
     private checkPackageVariableSetterDeclaration;
+    private checkPackageMemberBodyPresence;
+    private checkTypeExtensionDeclaration;
+    private checkTypeMemberDeclarationBlock;
     private checkConstructorDeclaration;
+    private checkDestructorDeclaration;
     private checkMethodDeclaration;
     private checkFieldDeclaration;
     private checkFieldGetterDeclaration;
@@ -60,12 +56,54 @@ export declare class SourceFileAnalyzer {
     private checkIndexedElementSetterDeclaration;
     private checkDereferencedVariableGetterDeclaration;
     private checkDereferencedVariableSetterDeclaration;
+    private checkTypeMemberBodyPresence;
+    private checkTypeParameterList;
+    private checkTypeParameterDeclaration;
+    private checkNamedTypeSpecifier;
+    private checkAnonymousClassDeclaration;
+    private checkAnonymousFunctionTypeDeclaration;
+    private checkParameterList;
+    private checkRequiredParametersDoNotFollowOptionalParameters;
+    private parameterListCanDeclareObjectParameter;
+    private checkObjectParameterIsTheFirstParameter;
+    private checkParameterDeclaration;
+    private checkOwnConstructorCallExpression;
+    private checkReferenceExpression;
+    private checkMatchExpressionList;
+    private checkWhileStatement;
+    private checkLoopStatement;
+    private checkElseIfClause;
+    private checkIfStatement;
+    private checkArgument;
+    private checkErrorVariableDeclaration;
+    private checkForStatementVariableDeclaration;
+    private checkLocalVariableDeclaration;
+    private checkBaseExpression;
+    private checkObjectExpression;
+    private checkAssignmentStatement;
+    private checkPrefixUnaryExpression;
+    private checkCatchClause;
+    private checkForStatement;
+    private checkLocalizableTextTemplateLiteral;
+    private checkLocalizableTextLiteral;
+    private checkAutotypeCallExpression;
+    private checkBinaryExpression;
+    private checkAssumptionExpression;
+    private checkStatementBlock;
+    private checkFunctionBlock;
+    private checkErrorStatement;
+    private checkBreakLoopOrContinueLoopStatement;
+    private isStatementUsedInsideLoop;
+    private checkFunctionLiteral;
+    private checkFunctionBlockLiteral;
+    private checkDereferenceExpression;
+    private checkIndexedAccessExpression;
+    private checkCallExpression;
+    private checkAllDefaultConstructorArgumentsAreNamed;
     private checkNestedFunctionDeclaration;
     private checkPossibleGeneratorFunctionReturnType;
     private checkReturnStatement;
     private checkYieldStatement;
-    private checkPackageMemberBodyPresence;
-    private checkTypeMemberBodyPresence;
     private checkIdentifierExpression;
     private checkLocalVariableUsedBeforeDeclaration;
     private checkLocalVariableIsUsedBeforeBeingAssigned;
@@ -88,18 +126,11 @@ export declare class SourceFileAnalyzer {
     private checkOptionalChainingIsUsedOnTheLeftSideOfAssignment;
     private checkGenericSpecializationExpression;
     private checkTypeArgumentTypesAreAssignableToConstraints;
-    private checkParameterList;
-    private checkRequiredParametersDoNotFollowOptionalParameters;
-    private parameterListCanDeclareObjectParameter;
-    private checkObjectParameterIsTheFirstParameter;
-    private checkParameterDeclaration;
     private checkIfVariableIsUnused;
     private checkIfNestedFunctionIsUnused;
     private checkIfTypeParameterIsUnused;
     private checkAllCodePathsReturnOrResultVariableIsAssigned;
     private isReceiverBaseAutoVariableAccess;
-    private overridingMemberHasCorrectHiding;
-    private checkTextTranslationDeclaration;
     private attachNodeLocationAndAddDiagnostics;
     private createAndAddDiagnostic;
     private addDiagnostic;

package/build/types/api/Api.d.ts

@@ -17,7 +17,9 @@ export * from '../analysis/a/SourceFileAnalyzer.js';
 export type { Meaning as TagMeaning } from '../analysis/a/TagMeaning.js';
 export * from '../analysis/AccessedFunction.js';
 export * from '../analysis/Analyzer.js';
+export { Analyzer } from '../analysis/Analyzer.js';
 export * from '../analysis/ImportedPackageNameTree.js';
+export { Analyzer as AnalyzerM } from '../analysis/m/Analyzer.js';
 export * from '../analysis/PackageMemberLookup.js';
 export * from '../analysis/SourcePackageDependencyGraph.js';
 export * from '../analysis/SubstitutedFunction.js';
@@ -40,7 +42,9 @@ export * from '../parser/CharacterCodes.js';
 export * from '../parser/ParseNumber.js';
 export * from '../parser/UnescapeText.js';
 export * from '../project/index.js';
-export * as tree from '../tree/a/index.js';
+export * as treeA from '../tree/a/index.js';
+export * as tree from '../tree/index.js';
+export * as treeM from '../tree/m/index.js';
 export * from '../ts-interop/TsLibrariesProvider.js';
 export * from '../ts-interop/Utils.js';
 export * as type from '../types/index.js';

package/build/types/api/ApiServices.d.ts

@@ -1,3 +1,8 @@
+export { Range, TaskController, Uri, UrisRelativityKind } from '../common/index.js';
+export * from '../services/common/Types.js';
 export * from '../services/CustomRequests.js';
 export * from '../services/LanguageServer.js';
+export * from '../services/LanguageServerMessageHandler.js';
+export { Workspace } from '../services/workspace/Workspace.js';
+export type { WorkspaceElementInfo } from '../services/workspace/Workspace.js';
 export * from '../services/workspace/WorkspaceFileSystem.js';

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

@@ -135,148 +135,150 @@ export declare enum DiagnosticCode {
     CorrespondingBasicTypeMemberNotFound = 2100,
     CorrespondingBasicReadFunctionNotFound = 2101,
     CorrespondingBasicWriteFunctionNotFound = 2102,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 2103,
-    TagNotFound = 2104,
-    TypeOrFunctionNameExpected = 2105,
-    PackageNameOrAliasExpected = 2106,
-    ExpressionCanBeNull = 2107,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 2108,
-    UnreachableCode = 2109,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 2110,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 2111,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 2112,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2113,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 2114,
-    PackageAlreadyContainsDeclarationWithTheSameName = 2115,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2116,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 2117,
-    PackageAliasWithTheSameNameAlreadyExits = 2118,
-    TypeAlreadyContainsDeclarationWithTheSameName = 2119,
-    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2120,
-    TypeAlreadyContainsOperatorWithTheSameNameAndParameterTypes = 2121,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2122,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2123,
-    TypeCanHaveOnlyOneDestructor = 2124,
-    TypeCanHaveOnlyOneDereferenceOperator = 2125,
-    VariableIsUsedBeforeItsDeclaration = 2126,
-    VariableMayNotHasBeenAssignedBeforeUsage = 2127,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2128,
-    TypeCannotHaveMultipleBaseObjectTypes = 2129,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2130,
-    StructureCannotBeUsedAsBaseType = 2131,
-    ThisTypeIsAlreadyListedInBaseTypeList = 2132,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2133,
-    StructureCanHaveOnlyAspectsAsBaseTypes = 2134,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2135,
-    ModifierListAlreadyContains0Modifier = 2136,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2137,
-    _0ModifierIsNotAllowedHere = 2138,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 2139,
-    PackageConstructorDeclarationCannotHaveModifiers = 2140,
-    PackageEntryPointDeclarationCannotHaveModifiers = 2141,
-    TranslationsCannotHaveModifiers = 2142,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2143,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2144,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2145,
-    _0ModifierCannotBeUsedWith1Modifier = 2146,
-    VariantValueCannotBeHidden = 2147,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 2148,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 2149,
-    NotBasicObjectTypesCannotHaveBasicMembers = 2150,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 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,
-    TranslatedOperatorMustBeNamed0 = 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,
-    OperatorCannotBeStatic = 2229,
-    OperatorCannotContainTypeParameterDeclarations = 2230,
-    TypeNameExpectedAtLastQualifier = 2231,
-    ExpressionsWithTypes0And1CannotBeCompared = 2232,
-    ReadAndWriteFunctionsMustBeEitherBothAbstractOrBothHaveImplementation = 2233,
-    IfOneOfAccessorsIsNotBasicItMustBeHiddenInType = 2234,
-    CannotReadValueOfAVariableBecauseItDoesNotHaveAReadFunction = 2235,
-    CannotReadValueOfAVariableBecauseItsReadFunctionIsHidden = 2236,
-    CannotAssignValueToAVariableBecauseItDoesNotHaveAWriteFunction = 2237,
-    CannotAssignValueToAnImmutableVariable = 2238,
-    CannotAssignValueToAVariableBecauseItsWriteFunctionIsHidden = 2239,
-    CannotReadValueBecauseReadFunctionIsNotDefined = 2240,
-    CannotReadValueBecauseReadFunctionIsHidden = 2241,
-    CannotAssignValueBecauseWriteFunctionIsNotDefined = 2242,
-    CannotAssignValueBecauseWriteFunctionIsHidden = 2243,
-    ReadFunctionMustHaveTheSameTypeAsWriteFunction = 2244,
+    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,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
     ProgramWithoutMainPackageCannotBeCompiled = 3002,

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

@@ -10,11 +10,6 @@ export declare const customRequests: {
     displayFileSystemTree: CustomRequestType<DisplayFileSystemTreeParams, string | null>;
     createOrUpdateSourceFile: CustomRequestType<CreateOrUpdateSourceFileParams, void>;
     deleteSourceFile: CustomRequestType<DeleteSourceFileParams, void>;
-    getNodeRange: CustomRequestType<GetNodeRangeParams, ls.Range | null>;
-    assignField: CustomRequestType<AssignFieldParams, void>;
-    addBlocksToScript: CustomRequestType<AddBlocksToScriptParams, void>;
-    canDeleteBlocksFromScript: CustomRequestType<CanDeleteBlocksFromScriptParams, boolean>;
-    deleteBlocksFromScript: CustomRequestType<DeleteBlocksFromScriptParams, void>;
 };
 export type GetLocalesAvailableForTranslationParams = {
     textDocument: ls.TextDocumentIdentifier;
@@ -62,54 +57,4 @@ export type CreateOrUpdateSourceFileParams = {
 export type DeleteSourceFileParams = {
     uri: ls.DocumentUri;
 };
-/**
- * Uri файла, в фрагменте которого указан путь к синтаксическому узлу.
- *
- * Пример: `file:///path/Program.art#1.0.1`
- */
-export type SyntaxNodeUri = ls.DocumentUri;
-export type GetNodeRangeParams = {
-    uri: SyntaxNodeUri;
-};
-export type AssignFieldParams = {
-    /**
-     * Путь к узлу функции, в котором нужно расположить присваивание.
-     */
-    scriptFunctionUri: SyntaxNodeUri;
-    /**
-     * Имя поля.
-     */
-    fieldName: string;
-    /**
-     * Выражение, которое необходимо присвоить.
-     *
-     * Пример: `"текст"`, `1`, `да`
-     */
-    value: string;
-    /**
-     * Путь к синтаксическому узлу, соответствующему месту последнего присваивания значения.
-     */
-    lastAssignmentNodeUri?: SyntaxNodeUri;
-};
-export type AddBlocksToScriptParams = ScriptBlocksAddedToOuterScript[];
-export type ScriptBlocksAddedToOuterScript = {
-    outerScriptFunctionUri: SyntaxNodeUri;
-    values: AddedScriptBlock[];
-};
-export type AddedScriptBlock = {
-    name: string;
-    key: string;
-    areaIndex?: string;
-    elementProperties?: {
-        [T in string]: string;
-    };
-    nestedBlocks?: AddedScriptBlock[];
-};
-export type CanDeleteBlocksFromScriptParams = {
-    outerScriptFunctionUri: SyntaxNodeUri;
-    scriptFunctionUris: SyntaxNodeUri[];
-};
-export type DeleteBlocksFromScriptParams = {
-    scriptFunctionUris: SyntaxNodeUri[];
-};
 export {};

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

@@ -1,8 +1,11 @@
 import * as ls from 'vscode-languageserver';
+import { Analyzer } from '../analysis/Analyzer.js';
 import { CancellationToken, Uri } from '../common/index.js';
+import { SourceFile } from '../project/index.js';
 import { PackageContent } from '../project/PackageContent.js';
 import { TypeScriptLibrariesProvider } from '../ts-interop/TsLibrariesProvider.js';
-import { WorkspaceFileSystem } from './workspace/index.js';
+import { LanguageServerMessageHandler } from './LanguageServerMessageHandler.js';
+import { CompilationController, WorkspaceFileSystem } from './workspace/index.js';
 export declare class LanguageServer {
     static readonly DefaultCancellationTokenThrottleTime = 50;
     private readonly connection;
@@ -16,6 +19,7 @@ export declare class LanguageServer {
     private workspaceDiagnosticsPartialResultToken;
     private fileSystemUpdateNotificationsPublisher;
     private manuallyUpdatedFileSystemTreeProvider;
+    private messageHandlerContext;
     private readonly sourceFileItemsService;
     private readonly workspaceItemsService;
     private definitionServiceA;
@@ -32,9 +36,9 @@ export declare class LanguageServer {
     private readonly signatureHelpServiceA;
     private readonly fileSystemTreeDisplayService;
     private readonly selectionRangeServiceA;
-    private readonly scriptEditingServiceA;
     private readonly codeActionsServiceA;
     constructor(config: LanguageServerConfig);
+    registerMessageHandler(handler: LanguageServerMessageHandler): void;
     start(): void;
     dispose(): void;
     private onInitialize;
@@ -60,13 +64,8 @@ export declare class LanguageServer {
     private onHover;
     private convertSourceFileItemKind;
     private convertDiagnostic;
-    private onAssignField;
-    private onAddBlocksToScript;
-    private onCanDeleteBlocksFromScript;
-    private onDeleteBlocksFromScript;
     private convertSourceFileEdit;
     private convertSourceFileEditsToWorkspaceEdit;
-    private onGetNodeRange;
     private onCreateOrUpdateSourceFile;
     private onDeleteSourceFile;
     private onDisplayFileSystemTree;
@@ -99,6 +98,7 @@ export declare class LanguageServer {
     private getSourceFileContext;
     private convertUriToVscodeUri;
     private convertVscodeUriToUri;
+    private getOrCreateMessageHandlerContext;
     private createCancellationToken;
     private withTaskController;
 }
@@ -136,3 +136,9 @@ export declare class ClientCancellationToken implements CancellationToken {
     constructor(token: ls.CancellationToken);
     throwIfCancellationRequested(): void;
 }
+export declare class SourceFileContext {
+    readonly compilationController: CompilationController;
+    readonly analyzer: Analyzer;
+    readonly sourceFile: SourceFile;
+    constructor(compilationController: CompilationController, analyzer: Analyzer, sourceFile: SourceFile);
+}

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

@@ -0,0 +1,30 @@
+import * as ls from 'vscode-languageserver';
+import { URI } from 'vscode-uri';
+import { Range, TaskController, Uri } from '../common/index.js';
+import { SourceFile } from '../project/SourceFile.js';
+import { SourceFileContext } from './LanguageServer.js';
+import { SourceFileEdit } from './common/Types.js';
+import { Workspace } from './workspace/Workspace.js';
+export type LanguageServerMessageHandler = LanguageServerRequestHandler<any, any> | LanguageServerNotificationHandler<any>;
+export interface LanguageServerRequestHandler<TParams, TResult> {
+    readonly kind: 'request';
+    readonly requestType: ls.RequestType<TParams, TResult, void>;
+    readonly onRequest: (params: TParams, context: MessageHandlerContext, taskController: TaskController) => Promise<RequestResult<TResult>>;
+}
+export interface LanguageServerNotificationHandler<TParams> {
+    readonly kind: 'notification';
+    readonly notificationType: ls.NotificationType<TParams>;
+    readonly onNotification: (params: TParams, context: MessageHandlerContext, taskController: TaskController) => Promise<void>;
+}
+export interface MessageHandlerContext {
+    readonly connection: ls.Connection;
+    readonly workspace: Workspace;
+    getSourceFileContext(vscodeUri: URI, taskController: TaskController): Promise<SourceFileContext | undefined>;
+    convertUriToVscodeUri(uri: Uri): URI;
+    convertVscodeUriToUri(uri: URI): Uri;
+    convertSourceFileRange(sourceFile: SourceFile, range: Range): ls.Range;
+    convertSourceFileEdit(edit: SourceFileEdit): ls.TextDocumentEdit;
+    convertSourceFileEditsToWorkspaceEdit(edits: readonly SourceFileEdit[]): ls.WorkspaceEdit;
+}
+type RequestResult<TResult> = TResult extends null ? undefined : TResult;
+export {};