@artel/artc 0.6.25281 → 0.6.25283

package/build/types/parser/TokenKind.d.ts

@@ -27,48 +27,50 @@ export declare enum TokenKind {
     BackQuote = 25,
     Bar = 26,
     BarBar = 27,
-    Caret = 28,
-    RightBrace = 29,
-    RightParenthesis = 30,
-    RightSquareBracket = 31,
-    Colon = 32,
-    Comma = 33,
-    CommercialAt = 34,
-    Dot = 35,
-    DoublePeriod = 36,
-    Ellipsis = 37,
-    EqualsEquals = 38,
-    EqualsRightAngle = 39,
-    Exclamation = 40,
-    ExclamationEquals = 41,
-    RightAngle = 42,
-    RightAngleEquals = 43,
-    HashSign = 44,
-    LeftAngle = 45,
-    LeftAngleEquals = 46,
-    LeftAngleMinus = 47,
-    Minus = 48,
-    MinusMinus = 49,
-    MinusEquals = 50,
-    MinusRightAngle = 51,
-    LeftBrace = 52,
-    LeftParenthesis = 53,
-    LeftSquareBracket = 54,
-    Plus = 55,
-    PlusPlus = 56,
-    PlusEquals = 57,
-    Question = 58,
-    QuestionQuestion = 59,
-    Semicolon = 60,
-    Slash = 61,
-    SlashEquals = 62,
-    Tilde = 63,
-    TildeTilde = 64,
-    Underscore = 65,
-    Equals = 66,
-    Percent = 67,
-    PercentPercent = 68,
-    BackSlash = 69,
-    BackSlashEquals = 70,
-    BackSlashBackSlash = 71
+    BarEquals = 28,
+    BarBarEquals = 29,
+    Caret = 30,
+    RightBrace = 31,
+    RightParenthesis = 32,
+    RightSquareBracket = 33,
+    Colon = 34,
+    Comma = 35,
+    CommercialAt = 36,
+    Dot = 37,
+    DoublePeriod = 38,
+    Ellipsis = 39,
+    EqualsEquals = 40,
+    Exclamation = 41,
+    ExclamationEquals = 42,
+    RightAngle = 43,
+    RightAngleRightAngle = 44,
+    RightAngleRightAngleRightAngle = 45,
+    HashSign = 46,
+    LeftAngle = 47,
+    LeftAngleLeftAngle = 48,
+    LeftAngleMinus = 49,
+    Minus = 50,
+    MinusMinus = 51,
+    MinusEquals = 52,
+    MinusRightAngle = 53,
+    LeftBrace = 54,
+    LeftParenthesis = 55,
+    LeftSquareBracket = 56,
+    Plus = 57,
+    PlusPlus = 58,
+    PlusEquals = 59,
+    Question = 60,
+    QuestionQuestion = 61,
+    Semicolon = 62,
+    Slash = 63,
+    SlashEquals = 64,
+    Tilde = 65,
+    TildeTilde = 66,
+    Underscore = 67,
+    Equals = 68,
+    Percent = 69,
+    PercentPercent = 70,
+    BackSlash = 71,
+    BackSlashEquals = 72,
+    BackSlashBackSlash = 73
 }

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

@@ -12,7 +12,9 @@ export declare const customRequests: {
     deleteSourceFile: CustomRequestType<DeleteSourceFileParams, void>;
     getNodeRange: CustomRequestType<GetNodeRangeParams, ls.Range | null>;
     assignField: CustomRequestType<AssignFieldParams, void>;
-    deleteBlockFromScript: CustomRequestType<DeleteBlockFromScriptParams, void>;
+    addBlocksToScript: CustomRequestType<AddBlocksToScriptParams, void>;
+    canDeleteBlocksFromScript: CustomRequestType<CanDeleteBlocksFromScriptParams, boolean>;
+    deleteBlocksFromScript: CustomRequestType<DeleteBlocksFromScriptParams, void>;
 };
 export type GetLocalesAvailableForTranslationParams = {
     textDocument: ls.TextDocumentIdentifier;
@@ -73,7 +75,7 @@ export type AssignFieldParams = {
     /**
      * Путь к узлу функции, в котором нужно расположить присваивание.
      */
-    functionNodeUri: SyntaxNodeUri;
+    scriptFunctionUri: SyntaxNodeUri;
     /**
      * Имя поля.
      */
@@ -89,7 +91,25 @@ export type AssignFieldParams = {
      */
     lastAssignmentNodeUri?: SyntaxNodeUri;
 };
-export type DeleteBlockFromScriptParams = {
-    functionNodeUri: 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/DisplayService.d.ts

@@ -2,8 +2,7 @@ import { AccessedFunction } from '../analysis/AccessedFunction.js';
 import { PackageNameTreeNode } from '../analysis/ImportedPackageNameTree.js';
 import { SubstitutedFunction } from '../analysis/SubstitutedFunction.js';
 import { Analyzer } from '../analysis/index.js';
-import { HelperPhraseKind } from '../common/HelperPhrases.js';
-import { Name, PackageDialect, PackageLocale } from '../common/index.js';
+import { HelperPhraseKind, Name, PackageDialect, PackageLocale } from '../common/index.js';
 import * as e from '../entities/index.js';
 import { NamedEntity, StructuredTypeKind } from '../entities/index.js';
 import { SourceFile } from '../project/index.js';
@@ -62,6 +61,7 @@ export declare class DisplayService {
     private displayAliasTypeUsage;
     private displayUnionOrIntersectionTypeUsage;
     private displayUnresolvedTypeUsage;
+    private displaySubstitutionStubTypeUsage;
     private displayTypeInternal;
     private displayTypeUsageInternal;
     private displayUnionOrIntersectionTypeTypes;
@@ -541,7 +541,7 @@ interface IOperatorDeclaration {
     getReturnType(): types.Type;
     getContainer(analyzer: Analyzer | undefined): DeclarationContainer | undefined;
 }
-export type TypeUsage = StructuredTypeUsage | VariantTypeUsage | FunctionTypeUsage | AliasTypeUsage | ParameterTypeUsage | UnionOrIntersectionTypeUsage | UnresolvedTypeUsage;
+export type TypeUsage = StructuredTypeUsage | VariantTypeUsage | FunctionTypeUsage | AliasTypeUsage | ParameterTypeUsage | UnionOrIntersectionTypeUsage | UnresolvedTypeUsage | SubstitutionStubTypeUsage;
 export type StructuredTypeUsage = StructuredTypeUsage_type | StructuredTypeUsage_entity;
 export declare class StructuredTypeUsage_type implements IStructuredTypeUsage {
     readonly type: types.StructuredType;
@@ -679,6 +679,13 @@ type UnresolvedTypeUsage = UnresolvedTypeUsage_type;
 declare class UnresolvedTypeUsage_type {
     readonly kind = "unresolved";
 }
+type SubstitutionStubTypeUsage = SubstitutionStubTypeUsage_type;
+declare class SubstitutionStubTypeUsage_type {
+    readonly type: types.SubstitutionStubType;
+    readonly kind = "substitution-stub";
+    constructor(type: types.SubstitutionStubType);
+    getIndex(): number;
+}
 type TypeMemberDeclarationContainer = DeclarationContainer.Type | DeclarationContainer.TypeExtension;
 type DeclarationContainer = DeclarationContainer.Type | DeclarationContainer.TypeExtension | DeclarationContainer.Package;
 declare namespace DeclarationContainer {

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

@@ -32,8 +32,7 @@ export declare class LanguageServer {
     private readonly signatureHelpService;
     private readonly fileSystemTreeDisplayService;
     private readonly selectionRangeService;
-    private readonly assignFieldService;
-    private readonly deleteBlockFromScriptService;
+    private readonly scriptEditingService;
     private readonly codeActionsService;
     constructor(config: LanguageServerConfig);
     start(): void;
@@ -61,7 +60,9 @@ export declare class LanguageServer {
     private convertSourceFileItemKind;
     private convertDiagnostic;
     private onAssignField;
-    private onDeleteBlockFromScript;
+    private onAddBlocksToScript;
+    private onCanDeleteBlocksFromScript;
+    private onDeleteBlocksFromScript;
     private convertSourceFileEdit;
     private convertSourceFileEditsToWorkspaceEdit;
     private onGetNodeRange;

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

@@ -0,0 +1,25 @@
+import { Analyzer } from '../analysis/Analyzer.js';
+import { SubprogramDeclarationOrLiteral } from '../analysis/NodeTypeUtils.js';
+import { SourceFile } from '../project/index.js';
+import { NodeLocation, SourceFileEdit } from './Types.js';
+export declare class ScriptEditingService {
+    private static readonly indentationStep;
+    private static readonly elementParameterNameText;
+    private static readonly elementParameterName;
+    createEditWithFieldAssignment(analyzer: Analyzer, sourceFile: SourceFile, scriptDeclaration: SubprogramDeclarationOrLiteral, fieldName: string, value: string): SourceFileEdit | undefined;
+    createEditAddingBlocks(sourceFile: SourceFile, scriptDeclaration: SubprogramDeclarationOrLiteral, addedBlockInfos: readonly AddedScriptBlockInfo[]): SourceFileEdit | undefined;
+    canDeleteBlocks(outerScriptFunctionLocation: NodeLocation, scriptFunctionLocations: readonly NodeLocation[]): boolean;
+    createEditDeletingBlock(sourceFile: SourceFile, scriptDeclaration: SubprogramDeclarationOrLiteral): SourceFileEdit | undefined;
+    private findLastAssignmentToField;
+    private createScriptBlockText;
+    private detectNewLine;
+}
+export interface AddedScriptBlockInfo {
+    readonly name: string;
+    readonly key: string;
+    readonly areaIndex: string | undefined;
+    readonly elementProperties: {
+        readonly [T in string]: string;
+    };
+    readonly nestedBlocks: readonly AddedScriptBlockInfo[];
+}

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

@@ -28,7 +28,7 @@ export declare const enum ItemKind {
     FunctionType = 6,
     VariantType = 7,
     InvalidType = 8,
-    Variant = 9,
+    VariantValue = 9,
     Constructor = 10,
     Destructor = 11,
     Field = 12,

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

@@ -1,6 +1,7 @@
 import * as ls from 'vscode-languageserver';
 import { Range, Uri } from '../common/index.js';
 import { SourceFile } from '../project/index.js';
+import * as tree from '../tree/index.js';
 export type RangeLocation = {
     uri: Uri;
     range: Range;
@@ -30,3 +31,8 @@ export declare class SourceFileEdit {
     readonly text: string;
     constructor(sourceFile: SourceFile, range: Range, text: string);
 }
+export declare class NodeLocation {
+    readonly sourceFile: SourceFile;
+    readonly path: tree.NodePath;
+    constructor(sourceFile: SourceFile, path: tree.NodePath);
+}

package/build/types/services/source-generation/EntityToSyntax.d.ts

@@ -10,17 +10,28 @@ export declare class EntityToSyntax {
     private convertNamedPackageMember;
     private convertPackageType;
     private convertPackageVariable;
+    private convertPackageVariableModifiers;
     private convertPackageFunction;
+    private convertPackageFunctionModifiers;
     private convertPackageStructuredType;
+    private convertPackageStructuredTypeModifiers;
     private convertPackageAliasType;
+    private convertPackageAliasTypeModifiers;
     private convertPackageVariantType;
+    private convertPackageVariantTypeModifiers;
     private convertPackageFunctionType;
+    private convertPackageFunctionTypeModifiers;
     private convertTypeEntityMembers;
     private convertField;
+    private convertFieldModifiers;
     private convertMethod;
+    private convertMethodModifiers;
     private convertConstructor;
+    private convertConstructorModifiers;
     private convertDestructor;
+    private convertDestructorModifiers;
     private convertIndexer;
+    private convertIndexerModifiers;
     private convertVariant;
     private createStructuredTypeDeclarationBody;
     private createAliasTypeDeclarationBody;
@@ -42,5 +53,6 @@ export declare class EntityToSyntax {
     private convertUnionType;
     private convertIntersectionType;
     private convertUnresolvedType;
+    private convertSubstitutionStubType;
     private createNamedTypeSpecifier;
 }

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

@@ -1,6 +1,12 @@
 import { PackageDialect, PackageLocale, Range } from '../common/index.js';
-import { Node, SourceFile } from './Nodes.js';
-import { Token } from './Token.js';
+import { NodeKind } from './NodeKind.js';
+import { TokenKind } from './TokenKind.js';
+import { TriviaKind } from './TriviaKind.js';
+import { OperatorKind } from './OperatorKind.js';
+import { KeywordKind } from './KeywordKind.js';
+import { TokenFlags } from './TokenFlags.js';
+import { KeywordFlags } from './KeywordFlags.js';
+import { Node, Identifier, SourceFile } from './Nodes.js';
 export declare abstract class BaseNode {
     protected static readonly emptyChildren_: [];
     abstract readonly children: readonly (Node | undefined)[];
@@ -38,4 +44,52 @@ export declare abstract class BaseNode {
     private countDescendants;
     private countTokens;
 }
+export declare class Token<TKind extends TokenKind = TokenKind> extends BaseNode {
+    readonly kind = NodeKind.Token;
+    readonly tokenKind: TKind;
+    readonly value: string;
+    readonly leadingTrivia: readonly Trivia[];
+    readonly trailingTrivia: readonly Trivia[];
+    readonly flags: TokenFlags;
+    readonly operatorKind: OperatorKind | undefined;
+    get children(): readonly [];
+    get parent(): Node;
+    get isMissing(): boolean;
+    protected get thisAsNode(): Node;
+    constructor(tokenKind: TKind, value: string, leadingTrivia: readonly Trivia[], trailingTrivia: readonly Trivia[], flags: TokenFlags, operatorKind: OperatorKind | undefined, rangeWithTrivia: Range | undefined);
+    get rangeWithoutTrivia(): Range;
+    getTextWithTrivia(): string;
+    hasTrailingLineBreak(): boolean;
+    getTriviaAt(position: number): TokenTrivia | undefined;
+    selectLeadingTrivia(condition: (trivia: Trivia, rangeStart: number, rangeEnd: number) => boolean): TokenTrivia[];
+    selectTrailingTrivia(condition: (trivia: Trivia, rangeStart: number, rangeEnd: number) => boolean): TokenTrivia[];
+    protected getLengthWithTrivia(): number;
+}
+export declare class Trivia {
+    readonly kind: TriviaKind;
+    readonly value: string;
+    get rangeLength(): number;
+    constructor(kind: TriviaKind, value: string);
+}
+export declare class TokenTrivia {
+    readonly trivia: Trivia;
+    readonly token: Token<TokenKind>;
+    readonly isTrailing: boolean;
+    readonly index: number;
+    readonly range: Range;
+    get kind(): TriviaKind;
+    get value(): string;
+    constructor(token: Token<TokenKind>, trivia: Trivia, isTrailing: boolean, index: number, range: Range);
+}
+export declare class Keyword<TKind extends KeywordKind = KeywordKind> extends BaseNode {
+    readonly kind = NodeKind.Keyword;
+    readonly children: readonly Identifier[];
+    readonly keywordKind: TKind;
+    readonly flags: KeywordFlags;
+    get parent(): Node;
+    get tokens(): readonly Identifier[];
+    get isMissing(): boolean;
+    protected get thisAsNode(): Node;
+    constructor(tokens: readonly Identifier[], keywordKind: TKind, flags: KeywordFlags | undefined, rangeWithTrivia: Range | undefined);
+}
 export declare function toSourceCode(node: Node, lengthLimit?: number, excludeTrivia?: boolean): string;

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

@@ -0,0 +1,28 @@
+export declare const enum KeywordFlags {
+    None = 0,
+    Missing = 1,
+    Noun = 2,
+    Verb = 4,
+    Adjective = 8,
+    Adverb = 16,
+    Pronoun = 32,
+    Preposition = 64,
+    Particle = 128,
+    Conjunction = 256,
+    Numeral = 512,
+    MasculineGender = 1024,
+    FeminineGender = 2048,
+    NeuterGender = 4096,
+    Singular = 8192,
+    Plural = 16384,
+    NeuNoun = 4098,
+    PluralNoun = 16386,
+    SingularMasNoun = 9218,
+    SingularFemNoun = 10242,
+    SingularNeuNoun = 12290,
+    ComAdjective = 7176,
+    SingularMasAdjective = 9224,
+    SingularFemAdjective = 10248,
+    SingularNeuAdjective = 12296,
+    PluralAdjective = 16392
+}

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

@@ -58,5 +58,7 @@ export declare enum KeywordKind {
     Base = 56,
     Null = 57,
     Get = 58,
-    Set = 59
+    Set = 59,
+    LoopWhile = 60,
+    Over = 61
 }

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

@@ -146,7 +146,7 @@ export declare enum NodeKind {
     TranslationTextTemplateSpanList = 144,
     TranslationTextTemplateSpan = 145,
     TranslationTextTemplateParameter = 146,
-    VariantDeclaration = 147,
+    VariantValueDeclaration = 147,
     TypeParameterDeclaration = 148,
     ParameterDeclaration = 149,
     Argument = 150,

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

@@ -1,26 +1,16 @@
 import { PackageDialect, PackageLocale, Query, Range } from '../common/index.js';
 import { ParserDiagnostic } from '../parser/ParserDiagnostic.js';
-import { BaseNode } from './BaseNode.js';
+import { BaseNode, Keyword, Token } from './BaseNode.js';
 import { KeywordKind } from './KeywordKind.js';
 import { NodeKind } from './NodeKind.js';
 import { OperatorKind } from './OperatorKind.js';
-import { Token } from './Token.js';
 import { TokenKind } from './TokenKind.js';
+import { NodesWithChild } from './NodesDebug.js';
 export type Comma = Token<TokenKind.Comma>;
 export type Semicolon = Token<TokenKind.Semicolon>;
 export type Identifier = Token<TokenKind.Identifier>;
 export type IdentifierParent = NodesWithChild<Identifier>;
 export type IdentifierListElement = Identifier | Comma;
-export declare class Keyword<TKind extends KeywordKind = KeywordKind> extends BaseNode {
-    readonly kind = NodeKind.Keyword;
-    readonly children: readonly Identifier[];
-    readonly keywordKind: TKind;
-    readonly isMissing: boolean;
-    get parent(): Node;
-    get tokens(): readonly Identifier[];
-    protected get thisAsNode(): Node;
-    constructor(tokens: readonly Identifier[], keywordKind: TKind, isMissing: boolean | undefined, rangeWithTrivia: Range | undefined);
-}
 export declare class SourceFile extends BaseNode {
     readonly kind = NodeKind.SourceFile;
     readonly children: readonly [
@@ -608,7 +598,7 @@ export declare class MissingPackageMemberDeclaration extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(tagList: TagList, modifierList: ModifierList, rangeWithTrivia: Range | undefined);
 }
-export type TypeMemberDeclaration = FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | VariantDeclaration | MethodDeclaration | OperatorDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | TypeMemberGroupDeclaration | MissingTypeMemberDeclaration;
+export type TypeMemberDeclaration = FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | VariantValueDeclaration | MethodDeclaration | OperatorDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | TypeMemberGroupDeclaration | MissingTypeMemberDeclaration;
 export declare class TypeMemberGroupDeclaration extends BaseNode {
     readonly kind = NodeKind.TypeMemberGroupDeclaration;
     readonly children: readonly [
@@ -918,7 +908,7 @@ export declare class ForStatementVariableDeclaration extends BaseNode {
     constructor(name: Identifier, rangeWithTrivia: Range | undefined);
 }
 export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | MissingExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextLiteral | LocalizableTextLiteral | TextTemplateLiteral | LocalizableTextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
-export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | Argument | CallExpression | DisposeStatement | ErrorStatement | ImportantStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | ParameterDeclaration | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | FieldDeclaration | SwitchStatement | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTranslationDeclaration | FunctionBlock;
+export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | Argument | CallExpression | DisposeStatement | ErrorStatement | ImportantStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | ParameterDeclaration | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | FieldDeclaration | SwitchStatement | VariantValueDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTranslationDeclaration | FunctionBlock;
 export type ExpressionListElement = Expression | Comma;
 export declare class ArrayLiteral extends BaseNode {
     readonly kind = NodeKind.ArrayLiteral;
@@ -995,7 +985,7 @@ export declare class BinaryExpression extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(left: Expression, operator: BinaryExpressionOperator, right: Expression, rangeWithTrivia: Range | undefined);
 }
-export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanOrEqual> | Token<TokenKind.GreaterThanOrEqual> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar>;
+export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanOrEqual> | Token<TokenKind.GreaterThanOrEqual> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar> | Token<TokenKind.LessThanLessThan> | Token<TokenKind.GreaterThanGreaterThan> | Token<TokenKind.GreaterThanGreaterThanGreaterThan>;
 export declare class FunctionLiteral extends BaseNode {
     readonly kind = NodeKind.FunctionLiteral;
     readonly children: readonly [
@@ -1257,7 +1247,7 @@ export declare class TokenExpression extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(token: TokenExpressionToken, rangeWithTrivia: Range | undefined);
 }
-export type TokenExpressionToken = Token<TokenKind.CharLiteral> | Token<TokenKind.IntegerLiteral> | Token<TokenKind.RealLiteral> | Token<TokenKind.MeasureLiteral>;
+export type TokenExpressionToken = Token<TokenKind.IntegerLiteral> | Token<TokenKind.RealLiteral> | Token<TokenKind.MeasureLiteral>;
 export declare class TextLiteral extends BaseNode {
     readonly kind = NodeKind.TextLiteral;
     readonly children: readonly [
@@ -1358,7 +1348,7 @@ export declare class AssignmentStatement extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(left: Expression, operator: AssignmentStatementOperator, right: Expression, rangeWithTrivia: Range | undefined);
 }
-export type AssignmentStatementOperator = Token<TokenKind.Equals> | Token<TokenKind.PlusEquals> | Token<TokenKind.MinusEquals> | Token<TokenKind.AsteriskEquals> | Token<TokenKind.SlashEquals> | Token<TokenKind.BackslashEquals>;
+export type AssignmentStatementOperator = Token<TokenKind.Equals> | Token<TokenKind.PlusEquals> | Token<TokenKind.MinusEquals> | Token<TokenKind.AsteriskEquals> | Token<TokenKind.SlashEquals> | Token<TokenKind.BackslashEquals> | Token<TokenKind.AmpersandEquals> | Token<TokenKind.BarEquals> | Token<TokenKind.BarBarEquals> | Token<TokenKind.LessThanLessThanEquals> | Token<TokenKind.GreaterThanGreaterThanEquals> | Token<TokenKind.GreaterThanGreaterThanGreaterThanEquals>;
 export type StatementListParent = FunctionBlock | StatementBlock;
 export type StatementListElement = Statement | Semicolon;
 export declare class StatementList extends BaseNode {
@@ -2094,8 +2084,8 @@ export declare class TranslationTextTemplateParameter extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(name: Identifier, typeAnnotation: TypeAnnotation | undefined, rangeWithTrivia: Range | undefined);
 }
-export declare class VariantDeclaration extends BaseNode {
-    readonly kind = NodeKind.VariantDeclaration;
+export declare class VariantValueDeclaration extends BaseNode {
+    readonly kind = NodeKind.VariantValueDeclaration;
     readonly children: readonly [
         TagList,
         ModifierList,
@@ -2308,8 +2298,4 @@ export declare class TypeAnnotation extends BaseNode {
     protected get thisAsNode(): Node;
     constructor(colonToken: Token<TokenKind.Colon>, typeSpecifier: TypeSpecifier, rangeWithTrivia: Range | undefined);
 }
-export type Node = Token | Keyword | SourceFile | PackageMemberDeclarationList | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | MissingTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | MissingPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | MissingTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | ForStatementVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | MissingExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | LocalizableTextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | TextLiteral | LocalizableTextLiteral | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | ErrorStatement | ImportantStatement | ExpressionStatement | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | MissingStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationsDeclaration | TopLevelTranslationList | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslationDeclaration | MethodTranslation | FunctionTypeTranslationDeclaration | QualifiedName | PackageVariableTranslationDeclaration | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslationDeclaration | TextTranslationDeclaration | TextTranslationFunctionDeclaration | TranslationTextLiteral | TranslationTextTemplate | TranslationTextTemplateSpanList | TranslationTextTemplateSpan | TranslationTextTemplateParameter | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation;
-type NodesWithChild<Child, Nodes = Node> = Nodes extends {
-    children: readonly (infer C)[];
-} ? Child extends C ? Nodes : never : never;
-export {};
+export type Node = Token | Keyword | SourceFile | PackageMemberDeclarationList | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | MissingTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | MissingPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | MissingTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | ForStatementVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | MissingExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | LocalizableTextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | TextLiteral | LocalizableTextLiteral | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | ErrorStatement | ImportantStatement | ExpressionStatement | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | MissingStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationsDeclaration | TopLevelTranslationList | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslationDeclaration | MethodTranslation | FunctionTypeTranslationDeclaration | QualifiedName | PackageVariableTranslationDeclaration | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslationDeclaration | TextTranslationDeclaration | TextTranslationFunctionDeclaration | TranslationTextLiteral | TranslationTextTemplate | TranslationTextTemplateSpanList | TranslationTextTemplateSpan | TranslationTextTemplateParameter | VariantValueDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation;

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

@@ -0,0 +1,9 @@
+import { Node } from './Nodes.js';
+/**
+ * Проверяет, что тип узла совместим с типом родительского узла всех дочерних узлов.
+ */
+export type IsCorrectParent<Parent, Children> = Children extends readonly [infer FirstChild, ...infer RemainingChildren] ? (FirstChild extends Node ? (IsAssignableTo<Parent, FirstChild['parent']> extends true ? IsCorrectParent<Parent, RemainingChildren> : IsAssignableTo<Parent, FirstChild['parent']>) : FirstChild extends undefined ? true : 'Ожидалось, что типом FirstChild будет Node или undefined.') : Children extends readonly (infer ListElement)[] ? (ListElement extends Node ? IsAssignableTo<Parent, ListElement['parent']> : ListElement extends undefined ? true : 'Ожидалось, что типом ListElement будет Node или undefined.') : Children extends readonly [] ? true : 'Ожидался пустой кортеж.';
+export type IsAssignableTo<Source, Target> = Source extends Target ? true : ['Тип', Source, 'не совместим с типом', Target];
+export type NodesWithChild<Child, Nodes = Node> = Nodes extends {
+    children: readonly (infer C)[];
+} ? Child extends C ? Nodes : never : never;

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

@@ -16,13 +16,16 @@ export declare enum OperatorKind {
     Xor = 13,
     BitwiseAnd = 14,
     BitwiseOr = 15,
-    BitwiseXor = 16
+    BitwiseXor = 16,
+    LeftShift = 17,
+    SignedRightShift = 18,
+    UnsignedRightShift = 19
 }
-export declare const operatorKinds: readonly [OperatorKind.Plus, OperatorKind.Minus, OperatorKind.Not, OperatorKind.Multiply, OperatorKind.Divide, OperatorKind.IntegerDivide, OperatorKind.Modulo, OperatorKind.LessThan, OperatorKind.GreaterThan, OperatorKind.LessThanOrEqual, OperatorKind.GreaterThanOrEqual, OperatorKind.Or, OperatorKind.And, OperatorKind.Xor, OperatorKind.BitwiseAnd, OperatorKind.BitwiseOr, OperatorKind.BitwiseXor];
+export declare const operatorKinds: readonly [OperatorKind.Plus, OperatorKind.Minus, OperatorKind.Not, OperatorKind.Multiply, OperatorKind.Divide, OperatorKind.IntegerDivide, OperatorKind.Modulo, OperatorKind.LessThan, OperatorKind.GreaterThan, OperatorKind.LessThanOrEqual, OperatorKind.GreaterThanOrEqual, OperatorKind.Or, OperatorKind.And, OperatorKind.Xor, OperatorKind.BitwiseAnd, OperatorKind.BitwiseOr, OperatorKind.BitwiseXor, OperatorKind.LeftShift, OperatorKind.SignedRightShift, OperatorKind.UnsignedRightShift];
 /**
  * Виды операторов, задаваемых токенами (`+`, `-`, `*=` и др.).
  */
-export type KindOfOperatorDefinedByToken = OperatorKind.Plus | OperatorKind.Minus | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
+export type KindOfOperatorDefinedByToken = OperatorKind.Plus | OperatorKind.Minus | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor | OperatorKind.LeftShift | OperatorKind.SignedRightShift | OperatorKind.UnsignedRightShift;
 export declare function isOperatorDefinedByToken(kind: OperatorKind): kind is KindOfOperatorDefinedByToken;
 /**
  * Виды операторов, задаваемых ключевыми словами (`и`, `или`, `не` и др.)