@artel/artc 0.6.25213 → 0.6.25215
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 +8 -4
- package/build/api/ApiNodeJS.js +3 -3
- package/build/api/ApiServices.js +242 -268
- package/build/{chunk-X4XDV2CH.js → chunk-DZ66PBHU.js} +7145 -7390
- package/build/{chunk-6UMHRF7Y.js → chunk-GEFYL4SZ.js} +3 -3
- package/build/{chunk-YFV3TSQP.js → chunk-TT3Q66WU.js} +3 -3
- package/build/types/analysis/Analyzer.d.ts +8 -12
- package/build/types/analysis/IdentifierExpressionMeaning.d.ts +1 -1
- package/build/types/analysis/PropertyAccessExpressionMeaning.d.ts +1 -2
- package/build/types/analysis/TypeMemberLookup.d.ts +14 -0
- package/build/types/analysis/{PrefixUnaryOperatorResolver.d.ts → UserDefinableUnaryOperatorResolver.d.ts} +3 -5
- package/build/types/analysis/Utils.d.ts +2 -2
- package/build/types/analysis/WellKnownDeclarations.d.ts +3 -2
- package/build/types/diagnostic/DiagnosticCode.d.ts +112 -152
- package/build/types/emitter/EmitterContext.d.ts +2 -0
- package/build/types/emitter/Entities.d.ts +1 -0
- package/build/types/emitter/IrBuilder.d.ts +0 -1
- package/build/types/emitter/IrToJs.d.ts +0 -1
- package/build/types/emitter/Transformer.d.ts +158 -97
- package/build/types/emitter/ir/Nodes.d.ts +4 -11
- package/build/types/emitter/ir/types.d.ts +2 -2
- package/build/types/entities/MethodEntity.d.ts +6 -1
- package/build/types/entities/OperatorEntity.d.ts +3 -0
- package/build/types/entities/OperatorKind.d.ts +19 -20
- package/build/types/entities/VariableEntity.d.ts +8 -1
- package/build/types/parser/UnescapeText.d.ts +1 -0
- package/build/types/services/NodeSemanticInfo.d.ts +0 -1
- package/build/types/tree/NodeKind.d.ts +82 -83
- package/build/types/tree/OperatorKind.d.ts +16 -17
- package/build/types/tree/TokenKind.d.ts +2 -2
- package/build/types/tree/green/Nodes.d.ts +4 -20
- package/build/types/tree/red/Nodes.d.ts +5 -19
- package/build/types/ts-interop/Entities.d.ts +8 -0
- package/build/types/types/StandardTypes.d.ts +2 -2
- package/package.json +1 -1
- package/build/types/emitter/BlockStatementTransformationResult.d.ts +0 -10
- package/build/types/emitter/ExpressionTransformationResult.d.ts +0 -17
- package/build/types/emitter/Internal.d.ts +0 -9
- package/build/types/emitter/PackageMemberDeclarationTransformationResult.d.ts +0 -17
- package/build/types/emitter/SimpleTransformationResult.d.ts +0 -14
- package/build/types/emitter/StatementTransformationResult.d.ts +0 -21
- package/build/types/emitter/StructuredTypeMemberDeclarationTransformationResult.d.ts +0 -13
- package/build/types/emitter/TransformationContinuationAction.d.ts +0 -4
- package/build/types/emitter/TypeAccessExpressionTransformationResult.d.ts +0 -12
@@ -74,87 +74,86 @@ export declare enum NodeKind {
|
|
74
74
|
IndexedAccessExpression = 72,
|
75
75
|
InvalidExpression = 73,
|
76
76
|
IsExpression = 74,
|
77
|
-
|
78
|
-
|
79
|
-
|
80
|
-
|
81
|
-
|
82
|
-
|
83
|
-
|
84
|
-
|
85
|
-
|
86
|
-
|
87
|
-
|
88
|
-
|
89
|
-
|
90
|
-
|
91
|
-
|
92
|
-
|
93
|
-
|
94
|
-
|
95
|
-
|
96
|
-
|
97
|
-
|
98
|
-
|
99
|
-
|
100
|
-
|
101
|
-
|
102
|
-
|
103
|
-
|
104
|
-
|
105
|
-
|
106
|
-
|
107
|
-
|
108
|
-
|
109
|
-
|
110
|
-
|
111
|
-
|
112
|
-
|
113
|
-
|
114
|
-
|
115
|
-
|
116
|
-
|
117
|
-
|
118
|
-
|
119
|
-
|
120
|
-
|
121
|
-
|
122
|
-
|
123
|
-
|
124
|
-
|
125
|
-
|
126
|
-
|
127
|
-
|
128
|
-
|
129
|
-
|
130
|
-
|
131
|
-
|
132
|
-
|
133
|
-
|
134
|
-
|
135
|
-
|
136
|
-
|
137
|
-
|
138
|
-
|
139
|
-
|
140
|
-
|
141
|
-
|
142
|
-
|
143
|
-
|
144
|
-
|
145
|
-
|
146
|
-
|
147
|
-
|
148
|
-
|
149
|
-
|
150
|
-
|
151
|
-
|
152
|
-
|
153
|
-
|
154
|
-
|
155
|
-
|
156
|
-
|
157
|
-
|
158
|
-
|
159
|
-
TypeAnnotation = 157
|
77
|
+
MethodLiteral = 75,
|
78
|
+
ParenthesizedExpression = 76,
|
79
|
+
WhenTernaryExpression = 77,
|
80
|
+
PrefixUnaryExpression = 78,
|
81
|
+
PropertyAccessExpression = 79,
|
82
|
+
ReferenceExpression = 80,
|
83
|
+
DereferenceExpression = 81,
|
84
|
+
TextTemplateLiteral = 82,
|
85
|
+
TextTemplateSpanList = 83,
|
86
|
+
TextTemplateSpan = 84,
|
87
|
+
TokenExpression = 85,
|
88
|
+
KeywordExpression = 86,
|
89
|
+
ObjectExpression = 87,
|
90
|
+
BaseExpression = 88,
|
91
|
+
IdentifierExpression = 89,
|
92
|
+
GenericSpecializationExpression = 90,
|
93
|
+
DefaultMatchExpression = 91,
|
94
|
+
AssignmentStatement = 92,
|
95
|
+
StatementList = 93,
|
96
|
+
StatementBlock = 94,
|
97
|
+
BreakLoopStatement = 95,
|
98
|
+
ContinueLoopStatement = 96,
|
99
|
+
DisposeStatement = 97,
|
100
|
+
RunStatementClauseList = 98,
|
101
|
+
RunStatement = 99,
|
102
|
+
OnErrorClause = 100,
|
103
|
+
ErrorVariableDeclaration = 101,
|
104
|
+
FinallyClause = 102,
|
105
|
+
EmptyStatement = 103,
|
106
|
+
ErrorStatement = 104,
|
107
|
+
ExpressionStatement = 105,
|
108
|
+
EnumerationVariableList = 106,
|
109
|
+
ForStatement = 107,
|
110
|
+
IfStatement = 108,
|
111
|
+
ElseIfClauseList = 109,
|
112
|
+
ElseIfClause = 110,
|
113
|
+
InvalidStatement = 111,
|
114
|
+
NestedMethodDeclarationStatement = 112,
|
115
|
+
LocalVariableDeclarationStatement = 113,
|
116
|
+
LoopStatement = 114,
|
117
|
+
ReturnStatement = 115,
|
118
|
+
CaseClauseList = 116,
|
119
|
+
SwitchStatement = 117,
|
120
|
+
MatchExpressionList = 118,
|
121
|
+
SwitchStatementCaseClause = 119,
|
122
|
+
WhileStatement = 120,
|
123
|
+
YieldStatement = 121,
|
124
|
+
TranslationParameterList = 122,
|
125
|
+
TranslationParameterClause = 123,
|
126
|
+
ConstructorTranslation = 124,
|
127
|
+
IndexerTranslationParameterClause = 125,
|
128
|
+
IndexerTranslation = 126,
|
129
|
+
TranslationTypeParameterList = 127,
|
130
|
+
TranslationTypeParameterClause = 128,
|
131
|
+
PackageMethodTranslation = 129,
|
132
|
+
TypeMethodTranslation = 130,
|
133
|
+
MethodTypeTranslation = 131,
|
134
|
+
PackageImportTranslation = 132,
|
135
|
+
QualifiedName = 133,
|
136
|
+
PackageVariableTranslation = 134,
|
137
|
+
TypeVariableOrVariantTranslation = 135,
|
138
|
+
TypeMemberTranslationList = 136,
|
139
|
+
TypeTranslation = 137,
|
140
|
+
TextLiteralTranslation = 138,
|
141
|
+
TextTemplateLiteralTranslation = 139,
|
142
|
+
VariantDeclaration = 140,
|
143
|
+
TypeParameterDeclaration = 141,
|
144
|
+
ParameterDeclaration = 142,
|
145
|
+
CallArgument = 143,
|
146
|
+
TagList = 144,
|
147
|
+
Tag = 145,
|
148
|
+
ModifierList = 146,
|
149
|
+
Modifier = 147,
|
150
|
+
ParameterClause = 148,
|
151
|
+
ParameterList = 149,
|
152
|
+
SetterParameterClause = 150,
|
153
|
+
SetterParameterDeclaration = 151,
|
154
|
+
TypeArgumentClause = 152,
|
155
|
+
TypeArgumentList = 153,
|
156
|
+
TypeParameterClause = 154,
|
157
|
+
TypeParameterList = 155,
|
158
|
+
TypeAnnotation = 156
|
160
159
|
}
|
@@ -3,27 +3,26 @@ export declare enum OperatorKind {
|
|
3
3
|
Plus = 0,// Одноместный или двухместный.
|
4
4
|
Minus = 1,// Одноместный или двухместный.
|
5
5
|
Not = 2,
|
6
|
-
|
7
|
-
|
8
|
-
|
9
|
-
|
10
|
-
|
11
|
-
|
12
|
-
|
13
|
-
|
14
|
-
|
15
|
-
|
16
|
-
|
17
|
-
|
18
|
-
|
19
|
-
|
20
|
-
BitwiseXor = 17
|
6
|
+
Multiply = 3,
|
7
|
+
Divide = 4,
|
8
|
+
IntegerDivide = 5,
|
9
|
+
Modulo = 6,
|
10
|
+
LessThan = 7,
|
11
|
+
GreaterThan = 8,
|
12
|
+
LessThanOrEqual = 9,
|
13
|
+
GreaterThanOrEqual = 10,
|
14
|
+
Or = 11,
|
15
|
+
And = 12,
|
16
|
+
Xor = 13,
|
17
|
+
BitwiseAnd = 14,
|
18
|
+
BitwiseOr = 15,
|
19
|
+
BitwiseXor = 16
|
21
20
|
}
|
22
|
-
export declare const operatorKinds: readonly [OperatorKind.Plus, OperatorKind.Minus, OperatorKind.Not, OperatorKind.
|
21
|
+
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];
|
23
22
|
/**
|
24
23
|
* Виды операторов, задаваемых токенами (`+`, `-`, `*=` и др.).
|
25
24
|
*/
|
26
|
-
export type KindOfOperatorDefinedByToken = OperatorKind.
|
25
|
+
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;
|
27
26
|
export declare function isOperatorDefinedByToken(kind: OperatorKind): kind is KindOfOperatorDefinedByToken;
|
28
27
|
/**
|
29
28
|
* Виды операторов, задаваемых ключевыми словами (`и`, `или`, `не` и др.)
|
@@ -33,10 +33,10 @@ export declare enum TokenKind {
|
|
33
33
|
Exclamation = 31,
|
34
34
|
ExclamationEquals = 32,
|
35
35
|
GreaterThan = 33,
|
36
|
-
|
36
|
+
GreaterThanOrEqual = 34,
|
37
37
|
HashSign = 35,
|
38
38
|
LessThan = 36,
|
39
|
-
|
39
|
+
LessThanOrEqual = 37,
|
40
40
|
LessThanMinus = 38,
|
41
41
|
Minus = 39,
|
42
42
|
MinusMinus = 40,
|
@@ -928,7 +928,7 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
|
|
928
928
|
constructor(name: Identifier);
|
929
929
|
toRed(rangeStart: number, parent: red.EnumerationVariableDeclarationParent): red.EnumerationVariableDeclaration;
|
930
930
|
}
|
931
|
-
export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression |
|
931
|
+
export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
|
932
932
|
export declare class ArrayLiteral extends BaseNode {
|
933
933
|
readonly kind = NodeKind.ArrayLiteral;
|
934
934
|
readonly children: readonly [
|
@@ -1004,7 +1004,7 @@ export declare class BinaryExpression extends BaseNode {
|
|
1004
1004
|
constructor(left: Expression, operator: BinaryExpressionOperator, right: Expression);
|
1005
1005
|
toRed(rangeStart: number, parent: red.ExpressionParent): red.BinaryExpression;
|
1006
1006
|
}
|
1007
|
-
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.
|
1007
|
+
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>;
|
1008
1008
|
export declare class MethodBlockLiteral extends BaseNode {
|
1009
1009
|
readonly kind = NodeKind.MethodBlockLiteral;
|
1010
1010
|
readonly children: readonly [
|
@@ -1102,22 +1102,6 @@ export declare class IsExpression extends BaseNode {
|
|
1102
1102
|
constructor(expression: Expression, isKeyword: Keyword<KeywordKind.Is>, typeSpecifier: TypeSpecifier);
|
1103
1103
|
toRed(rangeStart: number, parent: red.ExpressionParent): red.IsExpression;
|
1104
1104
|
}
|
1105
|
-
export declare class NotExpression extends BaseNode {
|
1106
|
-
readonly kind = NodeKind.NotExpression;
|
1107
|
-
readonly children: readonly [
|
1108
|
-
Keyword<KeywordKind.Not>,
|
1109
|
-
Token<TokenKind.OpenParenthesis>,
|
1110
|
-
Expression,
|
1111
|
-
Token<TokenKind.CloseParenthesis>
|
1112
|
-
];
|
1113
|
-
get notKeyword(): Keyword<KeywordKind.Not>;
|
1114
|
-
get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
|
1115
|
-
get expression(): Expression;
|
1116
|
-
get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
|
1117
|
-
protected get thisAsNode(): Node;
|
1118
|
-
constructor(notKeyword: Keyword<KeywordKind.Not>, openParenthesisToken: Token<TokenKind.OpenParenthesis>, expression: Expression, closeParenthesisToken: Token<TokenKind.CloseParenthesis>);
|
1119
|
-
toRed(rangeStart: number, parent: red.ExpressionParent): red.NotExpression;
|
1120
|
-
}
|
1121
1105
|
export declare class MethodLiteral extends BaseNode {
|
1122
1106
|
readonly kind = NodeKind.MethodLiteral;
|
1123
1107
|
readonly children: readonly [
|
@@ -1180,7 +1164,7 @@ export declare class PrefixUnaryExpression extends BaseNode {
|
|
1180
1164
|
constructor(operator: PrefixUnaryExpressionOperator, operand: Expression);
|
1181
1165
|
toRed(rangeStart: number, parent: red.ExpressionParent): red.PrefixUnaryExpression;
|
1182
1166
|
}
|
1183
|
-
export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus>;
|
1167
|
+
export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Keyword<KeywordKind.Not>;
|
1184
1168
|
export declare class PropertyAccessExpression extends BaseNode {
|
1185
1169
|
readonly kind = NodeKind.PropertyAccessExpression;
|
1186
1170
|
readonly children: readonly [
|
@@ -2199,4 +2183,4 @@ export declare class TypeAnnotation extends BaseNode {
|
|
2199
2183
|
constructor(colonToken: Token<TokenKind.Colon>, typeSpecifier: TypeSpecifier);
|
2200
2184
|
toRed(rangeStart: number, parent: red.TypeAnnotationParent): red.TypeAnnotation;
|
2201
2185
|
}
|
2202
|
-
export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression |
|
2186
|
+
export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
|
@@ -881,8 +881,8 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
|
|
881
881
|
constructor(green: green.EnumerationVariableDeclaration, rangeStart: number, parent: EnumerationVariableDeclarationParent);
|
882
882
|
private createChildren;
|
883
883
|
}
|
884
|
-
export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression |
|
885
|
-
export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessArgumentList | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList |
|
884
|
+
export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
|
885
|
+
export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessArgumentList | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | ParameterDeclaration | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | TypeVariableDeclaration | SwitchStatement | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTemplateLiteralTranslation;
|
886
886
|
export declare class ArrayLiteral extends BaseNode {
|
887
887
|
readonly kind = NodeKind.ArrayLiteral;
|
888
888
|
readonly green: green.ArrayLiteral;
|
@@ -960,7 +960,7 @@ export declare class BinaryExpression extends BaseNode {
|
|
960
960
|
constructor(green: green.BinaryExpression, rangeStart: number, parent: ExpressionParent);
|
961
961
|
private createChildren;
|
962
962
|
}
|
963
|
-
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.
|
963
|
+
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>;
|
964
964
|
export declare class MethodBlockLiteral extends BaseNode {
|
965
965
|
readonly kind = NodeKind.MethodBlockLiteral;
|
966
966
|
readonly green: green.MethodBlockLiteral;
|
@@ -1063,20 +1063,6 @@ export declare class IsExpression extends BaseNode {
|
|
1063
1063
|
constructor(green: green.IsExpression, rangeStart: number, parent: ExpressionParent);
|
1064
1064
|
private createChildren;
|
1065
1065
|
}
|
1066
|
-
export declare class NotExpression extends BaseNode {
|
1067
|
-
readonly kind = NodeKind.NotExpression;
|
1068
|
-
readonly green: green.NotExpression;
|
1069
|
-
readonly parent: ExpressionParent;
|
1070
|
-
private _children;
|
1071
|
-
get children(): readonly [Keyword<green.KeywordKind.Not>, Token<green.TokenKind.OpenParenthesis>, Expression, Token<green.TokenKind.CloseParenthesis>];
|
1072
|
-
get notKeyword(): Keyword<KeywordKind.Not>;
|
1073
|
-
get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
|
1074
|
-
get expression(): Expression;
|
1075
|
-
get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
|
1076
|
-
protected get thisAsNode(): Node;
|
1077
|
-
constructor(green: green.NotExpression, rangeStart: number, parent: ExpressionParent);
|
1078
|
-
private createChildren;
|
1079
|
-
}
|
1080
1066
|
export declare class MethodLiteral extends BaseNode {
|
1081
1067
|
readonly kind = NodeKind.MethodLiteral;
|
1082
1068
|
readonly green: green.MethodLiteral;
|
@@ -1132,7 +1118,7 @@ export declare class PrefixUnaryExpression extends BaseNode {
|
|
1132
1118
|
constructor(green: green.PrefixUnaryExpression, rangeStart: number, parent: ExpressionParent);
|
1133
1119
|
private createChildren;
|
1134
1120
|
}
|
1135
|
-
export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus>;
|
1121
|
+
export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Keyword<KeywordKind.Not>;
|
1136
1122
|
export declare class PropertyAccessExpression extends BaseNode {
|
1137
1123
|
readonly kind = NodeKind.PropertyAccessExpression;
|
1138
1124
|
readonly green: green.PropertyAccessExpression;
|
@@ -2200,4 +2186,4 @@ export declare class TypeAnnotation extends BaseNode {
|
|
2200
2186
|
constructor(green: green.TypeAnnotation, rangeStart: number, parent: TypeAnnotationParent);
|
2201
2187
|
private createChildren;
|
2202
2188
|
}
|
2203
|
-
export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression |
|
2189
|
+
export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
|
@@ -283,6 +283,7 @@ export declare class TsPropertyEntity implements TypeVariableEntity {
|
|
283
283
|
readonly kind = EntityKind.Variable;
|
284
284
|
readonly subkind = "type";
|
285
285
|
private readonly _type;
|
286
|
+
private readonly _overriddenMember;
|
286
287
|
private get declaration();
|
287
288
|
constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
|
288
289
|
getName(): Name;
|
@@ -299,6 +300,7 @@ export declare class TsPropertyEntity implements TypeVariableEntity {
|
|
299
300
|
isRedefinable(): boolean;
|
300
301
|
isRedefined(): boolean;
|
301
302
|
isAbstract(): boolean;
|
303
|
+
getOverriddenMember(): types.Variable | undefined;
|
302
304
|
}
|
303
305
|
export declare class TsAccessorEntity implements TypeVariableEntity {
|
304
306
|
private readonly _tsctx;
|
@@ -310,6 +312,7 @@ export declare class TsAccessorEntity implements TypeVariableEntity {
|
|
310
312
|
private readonly _type;
|
311
313
|
private readonly _getter;
|
312
314
|
private readonly _setter;
|
315
|
+
private readonly _overriddenMember;
|
313
316
|
private get getAccessorDeclaration();
|
314
317
|
constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
|
315
318
|
getName(): Name;
|
@@ -326,6 +329,7 @@ export declare class TsAccessorEntity implements TypeVariableEntity {
|
|
326
329
|
isRedefinable(): boolean;
|
327
330
|
isRedefined(): boolean;
|
328
331
|
isAbstract(): boolean;
|
332
|
+
getOverriddenMember(): types.Variable | undefined;
|
329
333
|
}
|
330
334
|
export declare class TsGetAccessorEntity implements GetterEntity {
|
331
335
|
private readonly _tsctx;
|
@@ -366,6 +370,7 @@ export declare class TsMethodEntity implements TypeMethodEntity {
|
|
366
370
|
private readonly _typeParameters;
|
367
371
|
private readonly _valueParameters;
|
368
372
|
private readonly _returnType;
|
373
|
+
private readonly _overriddenMember;
|
369
374
|
constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _declaration: ts.MethodDeclaration | ts.MethodSignature, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
|
370
375
|
getName(): Name;
|
371
376
|
getTypeParameters(): readonly TypeParameterEntity[];
|
@@ -384,6 +389,7 @@ export declare class TsMethodEntity implements TypeMethodEntity {
|
|
384
389
|
getTypeParametersArity(): number;
|
385
390
|
isMethodTypeInvokeMethod(): boolean;
|
386
391
|
getSubstitutionApplicationMode(): SubstitutionApplicationMode;
|
392
|
+
getOverriddenMember(): types.Method | undefined;
|
387
393
|
}
|
388
394
|
export declare class TsIteratorMethodEntity implements TypeMethodEntity {
|
389
395
|
private readonly _tsctx;
|
@@ -392,6 +398,7 @@ export declare class TsIteratorMethodEntity implements TypeMethodEntity {
|
|
392
398
|
readonly kind = EntityKind.Method;
|
393
399
|
readonly subkind = "type";
|
394
400
|
private readonly _returnType;
|
401
|
+
private readonly _overriddenMethod;
|
395
402
|
private get firstDeclaration();
|
396
403
|
constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers);
|
397
404
|
getName(): Name;
|
@@ -411,6 +418,7 @@ export declare class TsIteratorMethodEntity implements TypeMethodEntity {
|
|
411
418
|
getTypeParametersArity(): number;
|
412
419
|
isMethodTypeInvokeMethod(): boolean;
|
413
420
|
getSubstitutionApplicationMode(): SubstitutionApplicationMode;
|
421
|
+
getOverriddenMember(): types.Method | undefined;
|
414
422
|
}
|
415
423
|
export declare class TsParameterEntity implements ParameterVariableEntity {
|
416
424
|
private readonly _tsctx;
|
@@ -1,5 +1,5 @@
|
|
1
1
|
import { Analyzer } from '../analysis/index.js';
|
2
|
-
import { StructuredType, UnresolvedType
|
2
|
+
import { StructuredType, UnresolvedType } from './index.js';
|
3
3
|
export declare class StandardTypes {
|
4
4
|
private readonly _analyzer;
|
5
5
|
private _refObject;
|
@@ -29,7 +29,7 @@ export declare class StandardTypes {
|
|
29
29
|
get textTemplate(): StructuredType;
|
30
30
|
get char(): StructuredType;
|
31
31
|
get unresolved(): UnresolvedType;
|
32
|
-
get yesNo():
|
32
|
+
get yesNo(): StructuredType;
|
33
33
|
get none(): StructuredType;
|
34
34
|
get measure(): StructuredType;
|
35
35
|
get enumerator(): StructuredType;
|
package/package.json
CHANGED
@@ -1,10 +0,0 @@
|
|
1
|
-
import { statementTransformationResult } from './Internal.js';
|
2
|
-
import { BlockStatement } from './ir/index.js';
|
3
|
-
export type Type = {
|
4
|
-
kind: statementTransformationResult.Kind.Preserve;
|
5
|
-
} | {
|
6
|
-
kind: statementTransformationResult.Kind.Replace;
|
7
|
-
statement: BlockStatement;
|
8
|
-
};
|
9
|
-
export declare function preserve(): Type;
|
10
|
-
export declare function replace(statement: BlockStatement): Type;
|
@@ -1,17 +0,0 @@
|
|
1
|
-
import { VariableEntity } from './Entities.js';
|
2
|
-
import { TransformationContinuationAction } from './TransformationContinuationAction.js';
|
3
|
-
import { Expression } from './ir/index.js';
|
4
|
-
export declare enum Kind {
|
5
|
-
Preserve = 0,
|
6
|
-
Replace = 1
|
7
|
-
}
|
8
|
-
export type Type = {
|
9
|
-
kind: Kind.Preserve;
|
10
|
-
action: TransformationContinuationAction;
|
11
|
-
} | {
|
12
|
-
kind: Kind.Replace;
|
13
|
-
expression: Expression;
|
14
|
-
hoistedLocalVariables?: readonly VariableEntity[];
|
15
|
-
};
|
16
|
-
export declare function preserve(action?: TransformationContinuationAction): Type;
|
17
|
-
export declare function replace(expression: Expression, hoistedLocalVariables?: readonly VariableEntity[]): Type;
|
@@ -1,9 +0,0 @@
|
|
1
|
-
export * as blockStatementTransformationResult from './BlockStatementTransformationResult.js';
|
2
|
-
export * as expressionTransformationResult from './ExpressionTransformationResult.js';
|
3
|
-
export * from './IrBuilder.js';
|
4
|
-
export * as packageMemberDeclarationTransformationResult from './PackageMemberDeclarationTransformationResult.js';
|
5
|
-
export * as simpleTransformationResult from './SimpleTransformationResult.js';
|
6
|
-
export * as statementTransformationResult from './StatementTransformationResult.js';
|
7
|
-
export * as typeMemberDeclarationTransformationResult from './StructuredTypeMemberDeclarationTransformationResult.js';
|
8
|
-
export * from './Transformer.js';
|
9
|
-
export * as typeAccessExpressionTransformationResult from './TypeAccessExpressionTransformationResult.js';
|
@@ -1,17 +0,0 @@
|
|
1
|
-
import { PackageMemberDeclaration } from './ir/index.js';
|
2
|
-
export declare const enum Kind {
|
3
|
-
Preserve = 0,
|
4
|
-
Replace = 1,
|
5
|
-
Remove = 2
|
6
|
-
}
|
7
|
-
export type PackageMemberDeclarationTransformationResult = {
|
8
|
-
kind: Kind.Preserve;
|
9
|
-
} | {
|
10
|
-
kind: Kind.Replace;
|
11
|
-
declarations: readonly PackageMemberDeclaration[];
|
12
|
-
} | {
|
13
|
-
kind: Kind.Remove;
|
14
|
-
};
|
15
|
-
export declare function preserve(): PackageMemberDeclarationTransformationResult;
|
16
|
-
export declare function replace(declarations: readonly PackageMemberDeclaration[]): PackageMemberDeclarationTransformationResult;
|
17
|
-
export declare function remove(): PackageMemberDeclarationTransformationResult;
|
@@ -1,14 +0,0 @@
|
|
1
|
-
import { TransformationContinuationAction } from './TransformationContinuationAction.js';
|
2
|
-
export declare enum Kind {
|
3
|
-
Preserve = 0,
|
4
|
-
Replace = 1
|
5
|
-
}
|
6
|
-
export type Type<T> = {
|
7
|
-
kind: Kind.Preserve;
|
8
|
-
action: TransformationContinuationAction;
|
9
|
-
} | {
|
10
|
-
kind: Kind.Replace;
|
11
|
-
node: T;
|
12
|
-
};
|
13
|
-
export declare function preserve<T>(action?: TransformationContinuationAction): Type<T>;
|
14
|
-
export declare function replace<T>(node: T): Type<T>;
|
@@ -1,21 +0,0 @@
|
|
1
|
-
import { VariableEntity } from './Entities.js';
|
2
|
-
import { Statement } from './ir/index.js';
|
3
|
-
export declare const enum Kind {
|
4
|
-
Preserve = 0,
|
5
|
-
Replace = 1,
|
6
|
-
Remove = 2
|
7
|
-
}
|
8
|
-
export type Type = {
|
9
|
-
kind: Kind.Preserve;
|
10
|
-
hoistedLocalVariables?: readonly VariableEntity[];
|
11
|
-
} | {
|
12
|
-
kind: Kind.Replace;
|
13
|
-
statement: Statement;
|
14
|
-
hoistedLocalVariables?: readonly VariableEntity[];
|
15
|
-
} | {
|
16
|
-
kind: Kind.Remove;
|
17
|
-
hoistedLocalVariables: undefined;
|
18
|
-
};
|
19
|
-
export declare function preserve(hoistedLocalVariables?: readonly VariableEntity[]): Type;
|
20
|
-
export declare function replace(statement: Statement, hoistedLocalVariables?: readonly VariableEntity[]): Type;
|
21
|
-
export declare function remove(): Type;
|
@@ -1,13 +0,0 @@
|
|
1
|
-
import { TypeMemberDeclaration } from './ir/index.js';
|
2
|
-
export declare enum Kind {
|
3
|
-
Preserve = 0,
|
4
|
-
Replace = 1
|
5
|
-
}
|
6
|
-
export type Type = {
|
7
|
-
kind: Kind.Preserve;
|
8
|
-
} | {
|
9
|
-
kind: Kind.Replace;
|
10
|
-
declarations: readonly TypeMemberDeclaration[];
|
11
|
-
};
|
12
|
-
export declare function preserve(): Type;
|
13
|
-
export declare function replace(declarations: readonly TypeMemberDeclaration[]): Type;
|
@@ -1,12 +0,0 @@
|
|
1
|
-
import { expressionTransformationResult } from './Internal.js';
|
2
|
-
import { TransformationContinuationAction } from './TransformationContinuationAction.js';
|
3
|
-
import { TypeAccessExpression } from './ir/index.js';
|
4
|
-
export type TypeAccessExpressionTransformationResult = {
|
5
|
-
kind: expressionTransformationResult.Kind.Preserve;
|
6
|
-
action: TransformationContinuationAction;
|
7
|
-
} | {
|
8
|
-
kind: expressionTransformationResult.Kind.Replace;
|
9
|
-
expression: TypeAccessExpression;
|
10
|
-
};
|
11
|
-
export declare function preserve(action?: TransformationContinuationAction): TypeAccessExpressionTransformationResult;
|
12
|
-
export declare function replace(expression: TypeAccessExpression): TypeAccessExpressionTransformationResult;
|