@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.
- package/build/Cli.js +3 -3
- package/build/api/Api.js +12 -2
- package/build/api/ApiNodeJS.js +3 -3
- package/build/api/ApiServices.js +223 -212
- package/build/{chunk-FVBS6MPY.js → chunk-3MYTPUJZ.js} +1 -1
- package/build/{chunk-T7WG4Z7I.js → chunk-3PVSYUJV.js} +3584 -2718
- package/build/{chunk-TVZEHLXD.js → chunk-TTNFYVNF.js} +2 -2
- package/build/types/analysis/AnalyzedTranslationPackage.d.ts +0 -1
- package/build/types/analysis/Analyzer.d.ts +30 -23
- package/build/types/analysis/BaseExpressionMeaning.d.ts +9 -4
- package/build/types/analysis/BaseMemberConflictsValidator.d.ts +3 -5
- package/build/types/analysis/CallExpressionMeaning.d.ts +1 -0
- package/build/types/analysis/DiagnosticArgumentFactory.d.ts +18 -0
- package/build/types/analysis/DiagnosticCollector.d.ts +2 -3
- package/build/types/analysis/DisplayableEntity.d.ts +46 -0
- package/build/types/analysis/IdentifierExpressionMeaning.d.ts +3 -3
- package/build/types/analysis/IndexedAccessExpressionMeaning.d.ts +3 -3
- package/build/types/analysis/InstanceFieldsInitializationValidator.d.ts +18 -0
- package/build/types/analysis/MemberAccessExpressionMeaning.d.ts +3 -3
- package/build/types/analysis/NamedTypeResolver.d.ts +2 -3
- package/build/types/analysis/NamedTypeSpecifierResolver.d.ts +2 -3
- package/build/types/analysis/NodeTypeUtils.d.ts +1 -0
- package/build/types/analysis/ObjectExpressionMeaning.d.ts +9 -4
- package/build/types/analysis/OwnAndBaseConstructorCallsChecker.d.ts +23 -0
- package/build/types/analysis/PackageAndStaticVariablesInitializationValidator.d.ts +17 -0
- package/build/types/analysis/TagMeaning.d.ts +2 -3
- package/build/types/analysis/control-flow/NarrowableReference.d.ts +7 -8
- package/build/types/analysis/semantic-context/SemanticContext.d.ts +2 -1
- package/build/types/analysis/semantic-context/SemanticContextBase.d.ts +2 -0
- package/build/types/analysis/semantic-context/SemanticContextBuilder.d.ts +3 -0
- package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts +6 -7
- package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts +3 -1
- package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts +1 -1
- package/build/types/analysis/semantic-context/TranslationTextTemplateSemanticContext.d.ts +13 -0
- package/build/types/common/Displayable.d.ts +13 -0
- package/build/types/common/FormatString.d.ts +2 -1
- package/build/types/common/HelperPhrases.d.ts +2 -1
- package/build/types/common/TreeQuery.d.ts +4 -4
- package/build/types/common/WithDiagnostics.d.ts +3 -4
- package/build/types/common/index.d.ts +1 -0
- package/build/types/diagnostic/DiagnosticCode.d.ts +129 -125
- package/build/types/diagnostic/DiagnosticData.d.ts +7 -3
- package/build/types/emitter/Transformer.d.ts +4 -2
- package/build/types/emitter/ir/EmitOptions.d.ts +14 -0
- package/build/types/emitter/ir/Nodes.d.ts +41 -25
- package/build/types/emitter/ir/types.d.ts +1 -1
- package/build/types/entities/BaseEntityHidingMatcher.d.ts +1 -1
- package/build/types/entities/EntityHiding.d.ts +1 -1
- package/build/types/entities/VariableEntity.d.ts +35 -3
- package/build/types/project/FileSystemTree.d.ts +2 -2
- package/build/types/services/source-generation/SourceGenerationService.d.ts +2 -2
- package/build/types/services/workspace/ClientTrackedSourceFiles.d.ts +5 -5
- package/build/types/services/workspace/CompilationController.d.ts +3 -3
- package/build/types/services/workspace/FileSystemTreeProviderBasedOnWatchedFileSystem.d.ts +4 -4
- package/build/types/services/workspace/ManuallyUpdatedFileSystemTreeProvider.d.ts +4 -4
- package/build/types/services/workspace/Workspace.d.ts +3 -3
- package/build/types/services/workspace/WorkspaceFiles.d.ts +7 -7
- package/build/types/tree/NodeKind.d.ts +20 -21
- package/build/types/tree/green/Nodes.d.ts +12 -26
- package/build/types/tree/red/Nodes.d.ts +15 -29
- 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 |
|
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 |
|
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
|
1943
|
-
export
|
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
|
1959
|
-
readonly kind = NodeKind.
|
1960
|
-
readonly green: green.
|
1961
|
-
readonly parent:
|
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 [
|
1964
|
-
get sourceText():
|
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.
|
1955
|
+
constructor(green: green.TextTranslation, rangeStart: number, parent: TextTranslationParent);
|
1969
1956
|
private createChildren;
|
1970
1957
|
}
|
1971
|
-
export type TranslationTextTemplateParent =
|
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
|
2004
|
-
get parameter(): TranslationTextTemplateParameterDeclaration
|
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 |
|
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.
|
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.
|
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",
|