@artel/artc 0.6.25245 → 0.6.25247

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (61) hide show
  1. package/build/Cli.js +3 -3
  2. package/build/api/Api.js +12 -2
  3. package/build/api/ApiNodeJS.js +3 -3
  4. package/build/api/ApiServices.js +223 -212
  5. package/build/{chunk-FVBS6MPY.js → chunk-3MYTPUJZ.js} +1 -1
  6. package/build/{chunk-T7WG4Z7I.js → chunk-3PVSYUJV.js} +3584 -2718
  7. package/build/{chunk-TVZEHLXD.js → chunk-TTNFYVNF.js} +2 -2
  8. package/build/types/analysis/AnalyzedTranslationPackage.d.ts +0 -1
  9. package/build/types/analysis/Analyzer.d.ts +30 -23
  10. package/build/types/analysis/BaseExpressionMeaning.d.ts +9 -4
  11. package/build/types/analysis/BaseMemberConflictsValidator.d.ts +3 -5
  12. package/build/types/analysis/CallExpressionMeaning.d.ts +1 -0
  13. package/build/types/analysis/DiagnosticArgumentFactory.d.ts +18 -0
  14. package/build/types/analysis/DiagnosticCollector.d.ts +2 -3
  15. package/build/types/analysis/DisplayableEntity.d.ts +46 -0
  16. package/build/types/analysis/IdentifierExpressionMeaning.d.ts +3 -3
  17. package/build/types/analysis/IndexedAccessExpressionMeaning.d.ts +3 -3
  18. package/build/types/analysis/InstanceFieldsInitializationValidator.d.ts +18 -0
  19. package/build/types/analysis/MemberAccessExpressionMeaning.d.ts +3 -3
  20. package/build/types/analysis/NamedTypeResolver.d.ts +2 -3
  21. package/build/types/analysis/NamedTypeSpecifierResolver.d.ts +2 -3
  22. package/build/types/analysis/NodeTypeUtils.d.ts +1 -0
  23. package/build/types/analysis/ObjectExpressionMeaning.d.ts +9 -4
  24. package/build/types/analysis/OwnAndBaseConstructorCallsChecker.d.ts +23 -0
  25. package/build/types/analysis/PackageAndStaticVariablesInitializationValidator.d.ts +17 -0
  26. package/build/types/analysis/TagMeaning.d.ts +2 -3
  27. package/build/types/analysis/control-flow/NarrowableReference.d.ts +7 -8
  28. package/build/types/analysis/semantic-context/SemanticContext.d.ts +2 -1
  29. package/build/types/analysis/semantic-context/SemanticContextBase.d.ts +2 -0
  30. package/build/types/analysis/semantic-context/SemanticContextBuilder.d.ts +3 -0
  31. package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts +6 -7
  32. package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts +3 -1
  33. package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts +1 -1
  34. package/build/types/analysis/semantic-context/TranslationTextTemplateSemanticContext.d.ts +13 -0
  35. package/build/types/common/Displayable.d.ts +13 -0
  36. package/build/types/common/FormatString.d.ts +2 -1
  37. package/build/types/common/HelperPhrases.d.ts +2 -1
  38. package/build/types/common/TreeQuery.d.ts +4 -4
  39. package/build/types/common/WithDiagnostics.d.ts +3 -4
  40. package/build/types/common/index.d.ts +1 -0
  41. package/build/types/diagnostic/DiagnosticCode.d.ts +129 -125
  42. package/build/types/diagnostic/DiagnosticData.d.ts +7 -3
  43. package/build/types/emitter/Transformer.d.ts +4 -2
  44. package/build/types/emitter/ir/EmitOptions.d.ts +14 -0
  45. package/build/types/emitter/ir/Nodes.d.ts +41 -25
  46. package/build/types/emitter/ir/types.d.ts +1 -1
  47. package/build/types/entities/BaseEntityHidingMatcher.d.ts +1 -1
  48. package/build/types/entities/EntityHiding.d.ts +1 -1
  49. package/build/types/entities/VariableEntity.d.ts +35 -3
  50. package/build/types/project/FileSystemTree.d.ts +2 -2
  51. package/build/types/services/source-generation/SourceGenerationService.d.ts +2 -2
  52. package/build/types/services/workspace/ClientTrackedSourceFiles.d.ts +5 -5
  53. package/build/types/services/workspace/CompilationController.d.ts +3 -3
  54. package/build/types/services/workspace/FileSystemTreeProviderBasedOnWatchedFileSystem.d.ts +4 -4
  55. package/build/types/services/workspace/ManuallyUpdatedFileSystemTreeProvider.d.ts +4 -4
  56. package/build/types/services/workspace/Workspace.d.ts +3 -3
  57. package/build/types/services/workspace/WorkspaceFiles.d.ts +7 -7
  58. package/build/types/tree/NodeKind.d.ts +20 -21
  59. package/build/types/tree/green/Nodes.d.ts +12 -26
  60. package/build/types/tree/red/Nodes.d.ts +15 -29
  61. package/package.json +2 -2
@@ -851,7 +851,7 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
851
851
  private createChildren;
852
852
  }
853
853
  export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
854
- 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 | TextTemplateLiteralTranslation | FunctionBlock;
854
+ 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 | TextTranslation | FunctionBlock;
855
855
  export type ExpressionListElement = Expression | Comma;
856
856
  export declare class ArrayLiteral extends BaseNode {
857
857
  readonly kind = NodeKind.ArrayLiteral;
@@ -1693,7 +1693,7 @@ export declare class TopLevelTranslationList extends BaseNode {
1693
1693
  constructor(green: green.TopLevelTranslationList, rangeStart: number, parent: TopLevelTranslationListParent);
1694
1694
  private createChildren;
1695
1695
  }
1696
- export type TopLevelTranslation = PackageImportTranslation | PackageVariableTranslation | PackageFunctionTranslation | TypeTranslation | FunctionTypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation;
1696
+ export type TopLevelTranslation = PackageImportTranslation | PackageVariableTranslation | PackageFunctionTranslation | TypeTranslation | FunctionTypeTranslation | TextTranslation;
1697
1697
  export type TranslationParameterListParent = TranslationParameterClause | IndexParameterTranslationClause;
1698
1698
  export declare class TranslationParameterList extends BaseNode {
1699
1699
  readonly kind = NodeKind.TranslationParameterList;
@@ -1939,36 +1939,23 @@ export declare class TypeTranslation extends BaseNode {
1939
1939
  }
1940
1940
  export type TypeMemberTranslation = FieldOrVariantTranslation | MethodTranslation | IndexerTranslation | ConstructorTranslation;
1941
1941
  export type TypeMemberTranslationParent = TypeMemberTranslationList;
1942
- export type TextLiteralTranslationParent = TopLevelTranslationList;
1943
- export declare class TextLiteralTranslation extends BaseNode {
1944
- readonly kind = NodeKind.TextLiteralTranslation;
1945
- readonly green: green.TextLiteralTranslation;
1946
- readonly parent: TextLiteralTranslationParent;
1947
- private _children;
1948
- get children(): readonly [TextLiteral, Token<green.TokenKind.MinusGreaterThan>, TextLiteral];
1949
- get sourceText(): TextLiteral;
1950
- get minusGreaterThanToken(): Token<TokenKind.MinusGreaterThan>;
1951
- get translatedText(): TextLiteral;
1952
- protected get thisAsNode(): Node;
1953
- constructor(green: green.TextLiteralTranslation, rangeStart: number, parent: TextLiteralTranslationParent);
1954
- private createChildren;
1955
- }
1956
- export type TextTemplateLiteralTranslationParent = TopLevelTranslationList;
1942
+ export type TextTranslationParent = TopLevelTranslationList;
1943
+ export type TranslationSourceText = TextLiteral | TranslationTextTemplate;
1957
1944
  export type TranslatedTextOrTranslationFunction = TextLiteral | TextTemplateLiteral | FunctionLiteral | FunctionBlockLiteral | InvalidExpression;
1958
- export declare class TextTemplateLiteralTranslation extends BaseNode {
1959
- readonly kind = NodeKind.TextTemplateLiteralTranslation;
1960
- readonly green: green.TextTemplateLiteralTranslation;
1961
- readonly parent: TextTemplateLiteralTranslationParent;
1945
+ export declare class TextTranslation extends BaseNode {
1946
+ readonly kind = NodeKind.TextTranslation;
1947
+ readonly green: green.TextTranslation;
1948
+ readonly parent: TextTranslationParent;
1962
1949
  private _children;
1963
- get children(): readonly [TranslationTextTemplate, Token<green.TokenKind.MinusGreaterThan>, TranslatedTextOrTranslationFunction];
1964
- get sourceText(): TranslationTextTemplate;
1950
+ get children(): readonly [TranslationSourceText, Token<green.TokenKind.MinusGreaterThan>, TranslatedTextOrTranslationFunction];
1951
+ get sourceText(): TranslationSourceText;
1965
1952
  get minusGreaterThanToken(): Token<TokenKind.MinusGreaterThan>;
1966
1953
  get translatedTextOrTranslationFunction(): TranslatedTextOrTranslationFunction;
1967
1954
  protected get thisAsNode(): Node;
1968
- constructor(green: green.TextTemplateLiteralTranslation, rangeStart: number, parent: TextTemplateLiteralTranslationParent);
1955
+ constructor(green: green.TextTranslation, rangeStart: number, parent: TextTranslationParent);
1969
1956
  private createChildren;
1970
1957
  }
1971
- export type TranslationTextTemplateParent = TextTemplateLiteralTranslation;
1958
+ export type TranslationTextTemplateParent = TextTranslation;
1972
1959
  export declare class TranslationTextTemplate extends BaseNode {
1973
1960
  readonly kind = NodeKind.TranslationTextTemplate;
1974
1961
  readonly green: green.TranslationTextTemplate;
@@ -1993,15 +1980,14 @@ export declare class TranslationTextTemplateSpanList extends BaseNode {
1993
1980
  constructor(green: green.TranslationTextTemplateSpanList, rangeStart: number, parent: TranslationTextTemplateSpanListParent);
1994
1981
  private createChildren;
1995
1982
  }
1996
- export type IntegerLiteral = Token<TokenKind.IntegerLiteral>;
1997
1983
  export type TranslationTextTemplateSpanParent = TranslationTextTemplateSpanList;
1998
1984
  export declare class TranslationTextTemplateSpan extends BaseNode {
1999
1985
  readonly kind = NodeKind.TranslationTextTemplateSpan;
2000
1986
  readonly green: green.TranslationTextTemplateSpan;
2001
1987
  readonly parent: TranslationTextTemplateSpanParent;
2002
1988
  private _children;
2003
- get children(): readonly [TranslationTextTemplateParameterDeclaration | IntegerLiteral, TextTemplatePart | TextTemplateTail];
2004
- get parameter(): TranslationTextTemplateParameterDeclaration | IntegerLiteral;
1989
+ get children(): readonly [TranslationTextTemplateParameterDeclaration, TextTemplatePart | TextTemplateTail];
1990
+ get parameter(): TranslationTextTemplateParameterDeclaration;
2005
1991
  get text(): TextTemplatePart | TextTemplateTail;
2006
1992
  protected get thisAsNode(): Node;
2007
1993
  constructor(green: green.TranslationTextTemplateSpan, rangeStart: number, parent: TranslationTextTemplateSpanParent);
@@ -2237,4 +2223,4 @@ export declare class TypeAnnotation extends BaseNode {
2237
2223
  constructor(green: green.TypeAnnotation, rangeStart: number, parent: TypeAnnotationParent);
2238
2224
  private createChildren;
2239
2225
  }
2240
- export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | InvalidTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ImportantStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | InvalidStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationsDeclaration | TopLevelTranslationList | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslation | MethodTranslation | FunctionTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | TranslationTextTemplate | TranslationTextTemplateSpanList | TranslationTextTemplateSpan | TranslationTextTemplateParameterDeclaration | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
2226
+ export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | InvalidTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionLiteral | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | ParenthesizedExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ImportantStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | InvalidStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationsDeclaration | TopLevelTranslationList | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslation | MethodTranslation | FunctionTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextTranslation | TranslationTextTemplate | TranslationTextTemplateSpanList | TranslationTextTemplateSpan | TranslationTextTemplateParameterDeclaration | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@artel/artc",
3
- "version": "0.6.25245",
3
+ "version": "0.6.25247",
4
4
  "description": "Артель Компилятор | Artel Compiler",
5
5
  "author": "Nezaboodka Team <contact@nezaboodka.com>",
6
6
  "license": "LGPL-3.0-or-later",
@@ -41,7 +41,7 @@
41
41
  "@babel/types": "7.27.3",
42
42
  "@vscode/l10n": "0.0.18",
43
43
  "jsonc-parser": "3.3.1",
44
- "reactronic": "^0.93.25026",
44
+ "reactronic": "^0.94.25030",
45
45
  "typescript": "5.8.2",
46
46
  "vscode-json-languageservice": "5.4.2",
47
47
  "vscode-languageserver": "9.0.1",